Changeset 804 for branches/f4grobner
- Timestamp:
- 2015-06-08T23:43:06-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/term.lisp
r803 r804 53 53 defaults to the unit of the RING." 54 54 (declare (fixnum nvars pos power)) 55 (let ((result (make-term (make-monom nvars) :coeffcoeff)))55 (let ((result (make-term (make-monom nvars) coeff))) 56 56 (setf (monom-elt result pos) power) 57 57 result)) … … 63 63 (let ((c (funcall (ring-mul ring) (term-coeff term1) (term-coeff term2)))) 64 64 (unless (funcall (ring-zerop ring) c) 65 (make-term (monom-mul term1 term2) :coeffc))))65 (make-term (monom-mul term1 term2) c)))) 66 66 67 67 (defun term-sugar (term)
Note:
See TracChangeset
for help on using the changeset viewer.