Changeset 705
- Timestamp:
- 2015-06-08T18:09:46-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r704 r705 103 103 is 0. This definition takes care of divisors of 0 in the coefficient 104 104 ring." 105 (declare (ring ring)) 105 106 (let ((c (funcall (ring-mul ring) (term-coeff term1) (term-coeff term2)))) 106 107 (unless (funcall (ring-zerop ring) c) … … 112 113 113 114 (defun termlist-times-term (ring f term) 115 (declare (ring ring)) 114 116 (mapcan #'(lambda (term-f) (term-mul-lst ring term-f term)) f)) 115 117 … … 124 126 125 127 (defun termlist-uminus (ring f) 128 (declare (ring ring)) 126 129 (mapcar #'(lambda (x) 127 130 (make-term (term-monom x) (funcall (ring-uminus ring) (term-coeff x))))
Note:
See TracChangeset
for help on using the changeset viewer.