Changeset 920
- Timestamp:
- 2015-06-09T18:35:01-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r919 r920 119 119 #'(lambda (p q &optional (start 0) (end (monom-dimension p))) 120 120 (cond 121 ((> (monom-elt p start) (monom-elt q start)) (values t nil)) 122 ((< (monom-elt p start) (monom-elt q start)) (values nil nil)) 123 (t (funcall secondary-elimination-order p q (1+ start) end))))) 121 ((> (monom-elt p start) (monom-elt q start)) 122 (values t nil)) 123 ((< (monom-elt p start) (monom-elt q start)) 124 (values nil nil)) 125 (t 126 (funcall secondary-elimination-order p q (1+ start) end))))) 124 127 125 128 (defun make-elimination-order-maker (primary-elimination-order secondary-elimination-order)
Note:
See TracChangeset
for help on using the changeset viewer.