- Timestamp:
- 2016-05-31T16:21:57-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r4033 r4037 234 234 (:method ((self number)) (/ self)) 235 235 (:method :before ((self monom)) 236 (assert (zerop (total-degree self)))) 236 (assert (zerop (total-degree self)) 237 nil 238 "Monom ~A must have total degree 0 to be invertible." self)) 237 239 (:method ((self monom)) self)) 238 240 … … 572 574 (reinitialize-instance self :coeff (divide (term-coeff self) other))) 573 575 576 (defmethod unary-inverse :after ((self term)) 577 (with-slots (coeff) 578 self 579 (setf coeff (unary-inverse coeff)))) 580 574 581 (defun make-term-constant (dimension &optional (coeff 1)) 575 582 (make-instance 'term :dimension dimension :coeff coeff))
Note:
See TracChangeset
for help on using the changeset viewer.