- Timestamp:
- 2015-06-14T19:55:31-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r1604 r1639 52 52 (defun termlist-contract (p &optional (k 1)) 53 53 "Eliminate first K variables from a polynomial P." 54 (mapcar #'(lambda (term) (make-term (monom-contract k (term-monom term))54 (mapcar #'(lambda (term) (make-term (monom-contract (term-monom term) k) 55 55 (term-coeff term))) 56 56 p))
Note:
See TracChangeset
for help on using the changeset viewer.