Changeset 917
- Timestamp:
- 2015-06-09T14:44:33-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r916 r917 114 114 115 115 (defun make-elimination-order-1 (secondary-elimination-order q &optional (start 0) (end (monom-dimension p))) 116 " Equivalent to the function returned by the call to (ELIMINATION-ORDER PRIMARY-ELIMINATION-ORDER SECONDARY-ELIMINATION-ORDER 1).117 It is an optimization used for the 1-st elimination ideal. We note that PRIMARY-ELIMINATION-ORDER could be LEX> or any 118 other order, as all orders coincide in 1 variabl."116 "It constructs an elimination order used for the 1-st elimination ideal, 117 i.e. for eliminating the first variable. Thus, the order compares the degrees of the 118 first variable in P and Q first, with ties broken by SECONDARY-ELIMINATION-ORDER." 119 119 #'(lambda (p q &optional (start 0) (end (monom-dimension p))) 120 120 (cond
Note:
See TracChangeset
for help on using the changeset viewer.