close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 1932


Ignore:
Timestamp:
2015-06-15T18:38:42-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/order.lisp

    r1931 r1932  
    127127first variable in P and Q first, with ties broken by SECONDARY-ELIMINATION-ORDER."
    128128  #'(lambda (p q &optional (start 0) (end (monom-dimension p)))
     129      (declare (type monom p q) (type fixnum start end))
    129130      (cond
    130131        ((> (monom-elt p start) (monom-elt q start))
Note: See TracChangeset for help on using the changeset viewer.