- Timestamp:
- 2015-06-15T14:07:00-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1618 r1840 92 92 (list (make-poly-from-termlist 93 93 (list (make-term 94 (make-monom :dimension (monom-dimension (poly-lm (find-if-not #'poly-zerop f))))95 (funcall (ring-unit ring))))))))94 :monom (make-monom :dimension (monom-dimension (poly-lm (find-if-not #'poly-zerop f)))) 95 :coeff (funcall (ring-unit ring)))))))) 96 96 ((endp (cdr g)) 97 97 (colon-ideal-1 ring-and-order f (car g) top-reduction-only))
Note:
See TracChangeset
for help on using the changeset viewer.