Changeset 913
- Timestamp:
- 2015-06-09T14:36:26-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r912 r913 140 140 (values primary nil)))))) 141 141 142 (defun elimination-order-1 (secondary-elimination-order q &optional (start 0) (end (monom-dimension p)))142 (defun make-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 PRIMARY-ELIMINATION-ORDER SECONDARY-ELIMINATION-ORDER 1). 144 144 It is an optimization used for the 1-st elimination ideal. We note that PRIMARY-ELIMINATION-ORDER could be LEX> or any
Note:
See TracChangeset
for help on using the changeset viewer.