Changeset 1938
- Timestamp:
- 2015-06-15T18:44:15-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r1937 r1938 107 107 (do ((i (1- end) (1- i))) 108 108 ((< i start) (values nil t)) 109 (cond 110 ((> (monom-elt p i) (monom-elt q i)) 111 (return-from invlex> (values t nil))) 112 ((< (monom-elt p i) (monom-elt q i)) 113 (return-from invlex> (values nil nil)))))) 109 (declare (type fixnum i)) 110 (cond 111 ((> (monom-elt p i) (monom-elt q i)) 112 (return-from invlex> (values t nil))) 113 ((< (monom-elt p i) (monom-elt q i)) 114 (return-from invlex> (values nil nil)))))) 114 115 115 116
Note:
See TracChangeset
for help on using the changeset viewer.