Changeset 921 for branches/f4grobner
- Timestamp:
- 2015-06-09T18:38:01-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/order.lisp
r920 r921 113 113 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 114 114 115 (defun make-elimination-order-1 (secondary-elimination-order q &optional (start 0) (end (monom-dimension p)))115 (defun make-elimination-order-1 (secondary-elimination-order) 116 116 "It constructs an elimination order used for the 1-st elimination ideal, 117 117 i.e. for eliminating the first variable. Thus, the order compares the degrees of the
Note:
See TracChangeset
for help on using the changeset viewer.