Changeset 2779 for branches

Timestamp:

2015-06-20T20:22:42-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -51 +51 @@
 
 (defclass monom ()
-  ((dimension          :initarg :dimension :accessor r-dimension)
-   (exponents :initarg :exponents :accessor r-exponents))
-  (:default-initargs :dimension nil :exponents nil :exponent nil))
+  ((dimension          :initarg :dimension :accessor monom-dimension)
+   (exponents :initarg :exponents :accessor monom-exponents))
+  (:default-initargs :dimension nil :exponents nil :exponent nil)
+  (:documentation 
+   "Implements a monomial, i.e. a product of powers
+of variables, like X*Y^2."))
 
 (defmethod print-object ((self monom) stream)
   (format stream "#<MONOM DIMENSION=~A EXPONENTS=~A>"
-          (r-dimension self)
-          (r-exponents self)))
+          (monom-dimension self)
+          (monom-exponents self)))
 
 (defmethod shared-initialize :after ((self monom) slot-names
@@ -97 +100 @@
 EXPONENTS."
   (declare (type monom m1 m2))
-  (equalp (r-exponents m1) (r-exponents m2)))
+  (equalp (monom-exponents m1) (monom-exponents m2)))
 
 (defmethod r-coeff ((m monom))
@@ -116 +119 @@
     (setf (elt exponents index) new-value)))
 
-(defmethod r-total-degree ((m monom) &optional (start 0) (end (r-dimension m)))
+(defmethod r-total-degree ((m monom) &optional (start 0) (end (monom-dimension m)))
   "Return the todal degree of a monomoal M. Optinally, a range
 of variables may be specified with arguments START and END."
@@ -125 +128 @@
 
 
-(defmethod r-sugar ((m monom) &aux (start 0) (end (r-dimension m)))
+(defmethod r-sugar ((m monom) &aux (start 0) (end (monom-dimension m)))
   "Return the sugar of a monomial M. Optinally, a range
 of variables may be specified with arguments START and END."
@@ -278 +281 @@
 (defmethod r->list ((m monom))
   "A human-readable representation of a monomial M as a list of exponents."  
-  (coerce (r-exponents m) 'list))
+  (coerce (monom-exponents m) 'list))