Changeset 3823 for branches

Timestamp:

2016-05-28T01:11:58-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -236 +236 @@
 (defun divide (numerator &rest denominators)
   "Non-destructively divide object NUMERATOR by product of DENOMINATORS."
-  (divide-by (copy-instance numerator) (apply #'multiply denominators)))
+  (cond ((endp denominators)
+         (divide-by 1 numerator))
+        (t (divide-by (copy-instance numerator) (apply #'multiply denominators)))))
 
 (defgeneric divides-p (object1 object2)
@@ -392 +394 @@
 (defun make-monom-constant (dimension)
   (make-instance 'monom :dimension dimension))
-
-(defgeneric ->list (object)
-  (:method ((m monom))
-    "A human-readable representation of a monomial M as a list of exponents."  
-    (coerce (monom-exponents m) 'list)))
 
 ;; pure lexicographic
@@ -596 +593 @@
   (:method ((self term))
     (universal-zerop (term-coeff self))))
+
+(defgeneric ->list (self)
+  (:method ((self monom))
+    "A human-readable representation of a monomial SELF as a list of exponents."  
+    (coerce (monom-exponents self) 'list))
+  (:method ((self term))
+    "A human-readable representation of a term SELF as a cons of the list of exponents and the coefficient."
+    (cons (coerce (monom-exponents m) 'list) (term-coeff m))))