- Timestamp:
- 2015-06-15T14:07:00-07:00 (10 years ago)
- File:
- 
      - 1 edited
 
 - 
          
  branches/f4grobner/ideal.lisp (modified) (1 diff)
 
Legend:
- Unmodified
- Added
- Removed
- 
      branches/f4grobner/ideal.lispr1618 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.
  
