Changeset 1900
- Timestamp:
- 2015-06-15T17:56:50-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r1888 r1900 56 56 Optionally, the term may appear with an arbitrary coefficient, which 57 57 defaults to the unit of the RING." 58 (declare (type ring ring) (fixnum nvars pos)) 58 59 (make-term :monom (make-monom-variable nvars pos power) :coeff coeff)) 59 60 … … 62 63 or NIL when the product is 0. This definition takes care of divisors of 0 63 64 in the coefficient ring." 65 (declare (type ring ring) (type term term1 term2)) 64 66 (let ((c (funcall (ring-mul ring) (term-coeff term1) (term-coeff term2)))) 65 67 (unless (funcall (ring-zerop ring) c)
Note:
See TracChangeset
for help on using the changeset viewer.