- Timestamp:
- 2015-06-09T14:27:26-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r910 r911 142 142 (defun elimination-order-1 (secondary-elimination-order q &optional (start 0) (end (monom-dimension p))) 143 143 "Equivalent to the function returned by the call to (ELIMINATION-ORDER NIL SECONDARY-ELIMINATION-ORDER 1)." 144 (cond 145 ((> (monom-elt p start) (monom-elt q start)) (values t nil)) 146 ((< (monom-elt p start) (monom-elt q start)) (values nil nil)) 147 (t (funcall secondary-elimination-order p q (1+ start) end)))) 144 #'(lambda (p q &optional (start 0) (end (monom-dimension p))) 145 (cond 146 ((> (monom-elt p start) (monom-elt q start)) (values t nil)) 147 ((< (monom-elt p start) (monom-elt q start)) (values nil nil)) 148 (t (funcall secondary-elimination-order p q (1+ start) end)))))
Note:
See TracChangeset
for help on using the changeset viewer.