Changeset 2023

Timestamp:

2015-06-17T15:43:01-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -114 +114 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(defun monom-dimension (m)
-  (declare (type monom m))
-  (length m))
-
-(defmacro monom-elt (m index)
+(defmethod dimension ((m monom))
+  (slot-value m 'dim)))
+
+(defmethod ring-elt ((m monom) index)
   "Return the power in the monomial M of variable number INDEX."
-  `(elt ,m ,index))
-
-(defun monom-total-degree (m &optional (start 0) (end (monom-dimension m)))
+  (with-slots (exponents)
+      m
+    (elt exponents index)))
+
+(defmethod (setf ring-elt) (new-value (m monom) index)
+  "Return the power in the monomial M of variable number INDEX."
+  (with-slots (exponents)
+      m
+    (elt exponents index)))
+
+(defmethod ring-total-degree ((m monom) &optional (start 0) (end (dimension m)))
   "Return the todal degree of a monomoal M. Optinally, a range
 of variables may be specified with arguments START and END."
-  (declare (type monom m) (type fixnum start end))
-  (reduce #'+ m :start start :end end))
+  (declare (type fixnum start end))
+  (with-slots (exponents)
+      m
+    (reduce #'+ exponents :start start :end end)))
 
 (defun monom-sugar (m &aux (start 0) (end (monom-dimension m)))