Changeset 4119

Timestamp:

2016-06-01T14:01:41-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -455 +455 @@
 (defun add (summand &rest more-summands)
   "Successively Adds to SUMMAND the elements of MORE-SUMMANDS."
-  (reduce #'add-to summands :initial-value summand))
+  (reduce #'add-to more-summands :initial-value summand))
 
 (defun subtract (minuend  &rest subtrahends)
@@ -591 +591 @@
   (polysaturation-extension f (list p)))
 
-(defmethod multiply-by ((object1 number) (object2 poly))
-  (scalar-multiply-by (copy-instance object2) object1))
-
-(defmethod multiply-by ((object1 poly) (object2 number))
-  (scalar-multiply-by (copy-instance object1) object2))
+;; (defmethod multiply-by ((object1 number) (object2 poly))
+;;   (scalar-multiply-by (copy-instance object2) object1))
+
+;; (defmethod multiply-by ((object1 poly) (object2 number))
+;;   (scalar-multiply-by (copy-instance object1) object2))
 
 (defun make-poly-variable (nvars pos &optional (power 1))
@@ -614 +614 @@
        (do ((k 1 (ash k 1))
             (q x (multiply q q))        ;keep squaring
-            (p 1 (if (not (zerop (logand k y))) (multiply p q) p)))
+            (p (make-unit-for x) (if (not (zerop (logand k y))) (multiply p q) p)))
            ((> k y) p)
          (declare (fixnum k)))))))