Changeset 4037

Timestamp:

2016-05-31T16:21:57-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monom.lisp (modified) (2 diffs)

branches/f4grobner/monom.lisp

@@ -234 +234 @@
   (:method ((self number)) (/ self))
   (:method :before ((self monom))
-           (assert (zerop (total-degree self))))
+           (assert (zerop (total-degree self))
+                   nil
+                   "Monom ~A must have total degree 0 to be invertible." self))
   (:method ((self monom)) self))
 
@@ -572 +574 @@
   (reinitialize-instance self :coeff (divide (term-coeff self) other)))
 
+(defmethod unary-inverse :after ((self term))
+           (with-slots (coeff)
+               self
+             (setf coeff (unary-inverse coeff))))
+
 (defun make-term-constant (dimension &optional (coeff 1))
   (make-instance 'term :dimension dimension :coeff coeff))