- Timestamp:
- 2016-06-17T11:57:48-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial-sugar.lisp
r4512 r4513 63 63 (declare (ignore slot-names initargs)) 64 64 (setf (slot-value self 'value) (static-sugar self))) 65 66 (defmethod add-to ((self poly-with-sugar) (other poly-with-sugar)) 67 "Sugar value of the sum of two polynomials, SELF and OTHER, is by definition 68 the maximum of the sugar values of the two polynomials." 69 (with-accessors ((value sugar-value)) 70 self 71 (with-accessors ((other-value sugar-value)) 72 other 73 (setf value (max value other-value)))))
Note:
See TracChangeset
for help on using the changeset viewer.