Changeset 2426
- Timestamp:
- 2015-06-19T07:58:44-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r2425 r2426 45 45 "Return T if P>Q with respect to lexicographic order, otherwise NIL. 46 46 The second returned value is T if P=Q, otherwise it is NIL." 47 (declare (type monom p q) (typefixnum start end))47 (declare (type fixnum start end)) 48 48 (do ((i start (1+ i))) 49 49 ((>= i end) (values nil t)) … … 55 55 56 56 ;; total degree order , ties broken by lexicographic 57 (def un grlex> (p q&optional (start 0) (end (monom-dimension p)))57 (defmethod grlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension p))) 58 58 "Return T if P>Q with respect to graded lexicographic order, otherwise NIL. 59 59 The second returned value is T if P=Q, otherwise it is NIL." … … 70 70 71 71 ;; reverse lexicographic 72 (def un revlex> (p q&optional (start 0) (end (monom-dimension p)))72 (defmethod revlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension p))) 73 73 "Return T if P>Q with respect to reverse lexicographic order, NIL 74 74 otherwise. The second returned value is T if P=Q, otherwise it is … … 76 76 not have a minimal element. This order is useful in constructing other 77 77 orders." 78 (declare (type monom p q) (typefixnum start end))78 (declare (type fixnum start end)) 79 79 (do ((i (1- end) (1- i))) 80 80 ((< i start) (values nil t)) … … 88 88 89 89 ;; total degree, ties broken by reverse lexicographic 90 (def un grevlex> (p q&optional (start 0) (end (monom-dimension p)))90 (defmethod grevlex> ((p monom) (q monom) &optional (start 0) (end (monom-dimension p))) 91 91 "Return T if P>Q with respect to graded reverse lexicographic order, 92 92 NIL otherwise. The second returned value is T if P=Q, otherwise it is NIL."
Note:
See TracChangeset
for help on using the changeset viewer.