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 2707 for branches/f4grobner


Ignore:
Timestamp:
2015-06-20T16:46:29-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/order.lisp

    r2706 r2707  
    7575;; reverse lexicographic
    7676(defgeneric revlex> (p q &optional start end)
     77  (:documentation "Return T if P>Q with respect to reverse
     78lexicographic order, NIL otherwise.  The second returned value is T if
     79P=Q, otherwise it is NIL. This is not and admissible monomial order
     80because some sets do not have a minimal element. This order is useful
     81in constructing other orders.")
    7782  (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension  p)))
    78     "Return T if P>Q with respect to reverse lexicographic order, NIL
    79 otherwise.  The second returned value is T if P=Q, otherwise it is
    80 NIL. This is not and admissible monomial order because some sets do
    81 not have a minimal element. This order is useful in constructing other
    82 orders."
     83
    8384    (declare (type fixnum start end))
    8485    (do ((i (1- end) (1- i)))
Note: See TracChangeset for help on using the changeset viewer.