Changeset 4456 for branches/f4grobner

Timestamp:

2016-06-13T10:13:06-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -28 +28 @@
            "POLY-TERM-ORDER"
            "POLY-INSERT-TERM"
+           "POLY-REMOVE-TERM"
            "SCALAR-MULTIPLY-BY"
            "SCALAR-DIVIDE-BY"
@@ -124 +125 @@
     self))
 
+(defgeneric poly-remove-term (object)
+  (:documentation "Remove leading term of polynomial OBJECT. Returns the removed term.")
+  (:method ((object poly))
+    (pop (poly-termlist object))))
+
 (defgeneric poly-append-term (self term)
   (:documentation "Append a term TERM to SELF after all other terms. Order is not enforced.")
@@ -160 +166 @@
 
 
+#+nil
+(defmethod shared-initialize :after ((self poly) slot-names 
+                                     &rest initargs 
+                                     &key)
+  "If TERMLIST is supplied and non-empty, and DIMENSION is NIL, set
+the dimension to the dimension of the first term in TERMLIST."
+  (declare (ignore initargs))
+  (let ((dims (mapcar #'monom-dimension (slot-value self 'termlist))))
+    (format t "Dimensions: ~A~%" dims)
+    (assert (apply #'= dims))
+    (unless (endp dims)
+      (setf (slot-value self 'dimension) (car dims))))
+  self)
 
 (defmethod update-instance-for-different-class :after ((old term) (new poly) &key)