Changeset 379 for branches/f4grobner
- Timestamp:
- 2015-06-06T18:01:40-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r376 r379 46 46 47 47 48 (defun term-mul (ring term1 term2)48 (defun term-mul-lst (ring term1 term2) 49 49 "Returns (LIST TERM) where TERM is the product of the terms TERM1 TERM2, 50 50 or NIL when the product is 0. This definition takes care of divisors of 0 … … 56 56 (defun term-times-termlist (ring term f) 57 57 (declare (type ring ring)) 58 (mapcan #'(lambda (term-f) (term-mul ring term term-f)) f))58 (mapcan #'(lambda (term-f) (term-mul-lst ring term term-f)) f)) 59 59 60 60 (defun termlist-times-term (ring f term) 61 (mapcan #'(lambda (term-f) (term-mul ring term-f term)) f))61 (mapcan #'(lambda (term-f) (term-mul-lst ring term-f term)) f)) 62 62 63 63 (defun monom-times-term (m term) … … 139 139 (termlist-times-term ring p (car q))) 140 140 (t 141 (let ((head (term-mul ring (termlist-lt p) (termlist-lt q)))141 (let ((head (term-mul-lst ring (termlist-lt p) (termlist-lt q))) 142 142 (tail (termlist-add ring (term-times-termlist ring (car p) (cdr q)) 143 143 (termlist-mul ring (cdr p) q))))
Note:
See TracChangeset
for help on using the changeset viewer.