Changeset 1752 for branches/f4grobner

Timestamp:

2015-06-15T09:02:21-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (2 diffs)

branches/f4grobner/mx-grobner.lisp

@@ -431 +431 @@
     (poly-expt ring-and-order p n)))
 
-#|
-
-
 (defmfun $poly_content (p vars)
-  (with-parsed-polynomials ((vars) :polynomials (p))
-    (poly-content +maxima-ring+ p)))
+  (with-ring-and-order ((vars) :polynomials (p))
+    (poly-content ring-and-order p)))
 
 (defmfun $poly_pseudo_divide (f fl vars
-                            &aux (vars (coerce-maxima-list vars))
-                                 (f (parse-poly f vars))
-                                 (fl (parse-poly-list fl vars)))
+                            &aux 
+                            (vars (coerce-maxima-list vars))
+                            (f (parse-poly f vars))
+                            (fl (parse-poly-list fl vars)))
   (multiple-value-bind (quot rem c division-count)
       (poly-pseudo-divide +maxima-ring+ f fl)
@@ -450 +448 @@
       ,division-count)))
 
+#|
+
 (defmfun $poly_exact_divide (f g vars)
   (with-parsed-polynomials ((vars) :polynomials (f g) :value-type :polynomial)