- Timestamp:
- 2015-06-15T19:23:22-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r1953 r1961 58 58 (make-term :monom (monom-contract (term-monom term) k) 59 59 :coeff (term-coeff term))) 60 p)) 61 62 (defun termlist-ncontract (p &optional (k 1)) 63 "Eliminate first K variables from a polynomial P. Destructive version." 64 (mapc #'(lambda (term) 65 (declare (type term term)) 66 (setf (term-monom term) (monom-ncontract (term-monom term) k))) 60 67 p)) 61 68
Note:
See TracChangeset
for help on using the changeset viewer.