Changeset 788 for branches/f4grobner/termlist.lisp
- Timestamp:
- 2015-06-08T22:34:48-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/termlist.lisp
r787 r788 129 129 (declare (ring ring)) 130 130 (mapcar #'(lambda (x) 131 (make-term :monom (term-monom x) 132 :coeff (funcall (ring-uminus ring) (term-coeff x)))) 131 (make-term (term-monom x) (funcall (ring-uminus ring) (term-coeff x)))) 133 132 f)) 134 133 … … 149 148 (let ((s (funcall (ring-add ring) (termlist-lc p) (termlist-lc q)))) 150 149 (unless (funcall (ring-zerop ring) s) ;check for cancellation 151 (setf r (cons (make-term :monom (termlist-lm p) :coeffs) r)))150 (setf r (cons (make-term (termlist-lm p) s) r))) 152 151 (setf p (cdr p) q (cdr q)))) 153 152 (lm-greater … … 177 176 (let ((s (funcall (ring-sub ring) (termlist-lc p) (termlist-lc q)))) 178 177 (unless (funcall (ring-zerop ring) s) ;check for cancellation 179 (setf r (cons (make-term :monom (termlist-lm p) :coeffs) r)))178 (setf r (cons (make-term (termlist-lm p) s) r))) 180 179 (setf p (cdr p) q (cdr q)))) 181 180 (mgreater 182 181 (setf r (cons (car p) r) 183 182 p (cdr p))) 184 (t (setf r (cons (make-term :monom (termlist-lm q)185 :coeff(funcall (ring-uminus ring) (termlist-lc q))) r)183 (t (setf r (cons (make-term (termlist-lm q) 184 (funcall (ring-uminus ring) (termlist-lc q))) r) 186 185 q (cdr q))))) 187 186 nil))
Note:
See TracChangeset
for help on using the changeset viewer.