close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Ignore:
Timestamp:
2016-05-31T16:21:57-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r4033 r4037  
    234234  (:method ((self number)) (/ self))
    235235  (: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))
    237239  (:method ((self monom)) self))
    238240
     
    572574  (reinitialize-instance self :coeff (divide (term-coeff self) other)))
    573575
     576(defmethod unary-inverse :after ((self term))
     577           (with-slots (coeff)
     578               self
     579             (setf coeff (unary-inverse coeff))))
     580
    574581(defun make-term-constant (dimension &optional (coeff 1))
    575582  (make-instance 'term :dimension dimension :coeff coeff))
Note: See TracChangeset for help on using the changeset viewer.