Changeset 4520 for branches/f4grobner/polynomial-sugar.lisp
- Timestamp:
- 2016-06-17T13:57:38-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial-sugar.lisp
r4519 r4520 102 102 self) 103 103 104 (defmethod poly-insert-term :after ((self poly-with-sugar) (other term-with-sugar)) 105 (with-accessors ((value sugar-value)) 106 self 107 (with-accessors ((other-value sugar-value)) 108 other 109 (setf value (max value other-value)))) 110 self) 111 112 104 113 (defmethod multiply-by ((self poly-with-sugar) (other poly-with-sugar)) 105 114 "Sugar value of the product of two polynomials, SELF and OTHER, is by definition
Note:
See TracChangeset
for help on using the changeset viewer.