- Timestamp:
- 2015-06-19T08:14:50-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r2435 r2436 105 105 (revlex> p q start end)))))) 106 106 107 (defmethod invlex> ((p monom) (q monom) &optional (start 0) (end (r-dimension p))) 108 "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise 107 (defgeneric invlex> (p q &optional start end) 108 (:method ((p monom) (q monom) &optional (start 0) (end (r-dimension p))) 109 "Return T if P>Q with respect to inverse lexicographic order, NIL otherwise 109 110 The second returned value is T if P=Q, otherwise it is NIL." 110 (declare (type fixnum start end))111 (do ((i (1- end) (1- i)))112 113 (declare (type fixnum i))114 (cond115 116 117 118 (return-from invlex> (values nil nil))))))111 (declare (type fixnum start end)) 112 (do ((i (1- end) (1- i))) 113 ((< i start) (values nil t)) 114 (declare (type fixnum i)) 115 (cond 116 ((> (r-elt p i) (r-elt q i)) 117 (return-from invlex> (values t nil))) 118 ((< (r-elt p i) (r-elt q i)) 119 (return-from invlex> (values nil nil))))))) 119 120 120 121
Note:
See TracChangeset
for help on using the changeset viewer.