Changeset 1688 for branches/f4grobner

Timestamp:

2015-06-14T21:26:16-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (1 diff)

branches/f4grobner/mx-grobner.lisp

@@ -219 +219 @@
          (coerce-coeff (ro-ring ring-and-order) expr vars)))))))
 
-#|
-
-(defun parse-poly-list (expr vars)
+(defun parse-poly-list (expr vars 
+                        &optional
+                          (ring (find-ring-by-name $poly_coefficient_ring))
+                          (order (find-order-by-name $poly_monomial_order))
+                          (primary-elimination-order (find-order-by-name $poly_primary_elimination_order))
+                          (secondary-elimination-order (find-order-by-name $poly_secondary_elimination_order)))
   "Parse a Maxima representation of a list of polynomials."
   (case (caar expr)
-    (mlist (mapcar #'(lambda (p) (parse-poly p vars)) (cdr expr)))
+    (mlist (mapcar #'(lambda (p) 
+                       (parse-poly p vars ring order primary-elimination-order secondary-elimination-order))
+                   (cdr expr)))
     (t (merror "Expression ~M is not a list of polynomials in variables ~M."
                expr vars))))
+
+#|
 
 (defun parse-poly-list-list (poly-list-list vars)
   "Parse a Maxima representation of a list of lists of polynomials."
   (mapcar #'(lambda (g) (parse-poly-list g vars)) (coerce-maxima-list poly-list-list)))
+
+