Changeset 1952 for branches/f4grobner
- Timestamp:
- 2015-06-15T18:59:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r1951 r1952 54 54 (defun termlist-contract (p &optional (k 1)) 55 55 "Eliminate first K variables from a polynomial P." 56 (mapcar #'(lambda (term) (make-term :monom (monom-contract (term-monom term) k) 57 :coeff (term-coeff term))) 56 (mapcar #'(lambda (term) 57 (declare (type term term)) 58 (make-term :monom (monom-contract (term-monom term) k) 59 :coeff (term-coeff term))) 58 60 p)) 59 61
Note:
See TracChangeset
for help on using the changeset viewer.