Changeset 3443

Timestamp:

2015-09-05T09:12:44-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monom.lisp (modified) (1 diff)

branches/f4grobner/monom.lisp

@@ -125 +125 @@
      (error "Initarg DIMENSION or EXPONENTS must be supplied."))))
 
-(defmethod monom-dimension (m)
-  (length (monom-exponents ,m)))
-
-(defmethod monom-equalp (m1 m2)
-  "Returns T iff monomials M1 and M2 have identical
-EXPONENTS."
-  `(equalp (monom-exponents ,m1) (monom-exponents ,m2)))
-
-(defmethod monom-elt (m index)
-  "Return the power in the monomial M of variable number INDEX."
-  (with-slots (exponents)
-      m
-    (elt exponents index)))
-
-(defmethod (setf monom-elt) (new-value m index)
-  "Return the power in the monomial M of variable number INDEX."
-  (with-slots (exponents)
-      m
-    (setf (elt exponents index) new-value)))
+(defgeneric monom-dimension (m)
+  (:method ((m monom))
+    (length (monom-exponents m))))
+
+(defgeneric monom-equalp (m1 m2)
+  (:documentation "Returns T iff monomials M1 and M2 have identical EXPONENTS.")
+  (:method ((m1 monom) (m2 monom))
+  `(equalp (monom-exponents ,m1) (monom-exponents ,m2))))
+
+(defgeneric monom-elt (m index)
+  (:documentation 
+   "Return the power in the monomial M of variable number INDEX.")
+  (:method ((m monom) index)
+    (with-slots (exponents)
+        m
+      (elt exponents index))))
+
+(defgeneric (setf monom-elt) (new-value m index)
+  (:documentation "Return the power in the monomial M of variable number INDEX.")
+  (:method (new-value (m monom) index)
+    (with-slots (exponents)
+        m
+      (setf (elt exponents index) new-value)))
 
 (defmethod monom-total-degree (m &optional (start 0) (end (monom-dimension m)))