Changeset 4463 for branches/f4grobner/symbolic-polynomial.lisp

Timestamp:

2016-06-14T19:35:34-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

 

File:

• branches/f4grobner/symbolic-polynomial.lisp (modified) (3 diffs)

branches/f4grobner/symbolic-polynomial.lisp

@@ -38 +38 @@
 (defmethod print-object ((self symbolic-poly) stream)
   (print-unreadable-object (self stream :type t :identity t)
-    (with-accessors ((dimension poly-dimension)
-                     (termlist poly-termlist) 
+    (with-accessors ((termlist poly-termlist) 
                      (order poly-term-order)
                      (vars symbolic-poly-vars))
         self
-      (format stream "DIMENSION=~A TERMLIST=~A ORDER=~A VARS=~A" 
-              dimension termlist order vars))))
+      (format stream "TERMLIST=~A ORDER=~A VARS=~A" 
+              termlist order vars))))
 
 
@@ -59 +58 @@
 (defmethod universal-equalp ((self symbol) (other symbol))
   (eq self other))
-
-(defmethod update-instance-for-different-class :after ((old poly) (new  symbolic-poly) &key)
-  "After adding variables to NEW, we need to make sure that the number
-of variables given by POLY-DIMENSION is consistent with VARS."
-  (assert (= (length (symbolic-poly-vars new)) (poly-dimension new))))
-
 
 #|
@@ -168 +161 @@
            (format nil "[~{~a~^, ~}]" (mapcar #'(lambda (p) (poly->string p)) (cdr self))))))
   (:method ((self poly) &optional (vars nil))
-    ;; Ensure that the number of variables matches the dimension
-    (assert (= (length vars) (poly-dimension self)))
     (infix-print-to-string (->sexp self vars)))
   (:method ((self symbolic-poly) &optional (vars (symbolic-poly-vars self)))