Changeset 1179

Timestamp:

2015-06-10T20:36:41-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/division.lisp (modified) (2 diffs)

branches/f4grobner/division.lisp

@@ -60 +60 @@
             (scalar-times-poly-1 ring c1 (monom-times-poly m g))))
 
-(defun poly-pseudo-divide (ring f fl)
+(defun poly-pseudo-divide (ring-and-order f fl
+                           &aux
+                             (ring (ro-ring ring-and-order)))
   "Pseudo-divide a polynomial F by the list of polynomials FL. Return
 multiple values. The first value is a list of quotients A.  The second
@@ -99 +101 @@
                (setf r (scalar-times-poly ring c1 r)
                      c (funcall (ring-mul ring) c c1)
-                     p (grobner-op ring c2 c1 m p (car fl)))
+                     p (grobner-op ring-and-order c2 c1 m p (car fl)))
                (push (make-term m c2) (poly-termlist (car b))))
              t)))))))