Changeset 4024 for branches/f4grobner

Timestamp:

2016-05-31T14:44:29-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -611 +611 @@
   (:documentation "Convert a symbolic polynomial SELF to infix form, using variables VARS. The default
 value of VARS is the corresponding slot value of SELF.")
+  (:method :before ((self monom) &optional vars)
+           "Check the length of variables VARS against the length of exponents."
+           (with-slots (exponents)
+               self
+             (assert (= (length vars) (length exponents))
+                     (vars exponents)
+                     "Variables ~A and exponents ~A must have the same length." vars exponents)))
   (:method ((self monom) &optional vars)
     "Convert a monomial SELF to infix form, using variable VARS to build the representation."
@@ -620 +627 @@
                                        (t (list `(expt ,var ,power)))))
                        vars (coerce exponents 'list))))
-        (cond ((endp (cdr m)) (car m))
+        (print m)
+        (cond ((endp m) 1)
+              ((endp (cdr m)) (car m))
               (t 
                (cons '* m))))))
@@ -629 +638 @@
         self
       (let ((m (call-next-method)))
+        (print m)
         (cond ;;((= coeff 1) m)
               ;;((eql (car m) '*) (list* '* coeff (cdr m)))