Changeset 1725 for branches/f4grobner

Timestamp:

2015-06-15T08:06:01-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/mx-grobner.lisp

@@ -170 +170 @@
                                                        :ring  ring
                                                        :order order
+                                                       :elimination-order elimination-order
                                                        :primary-elimination-order primary-elimination-order
                                                        :secondary-elimination-order secondary-elimination-order)))
@@ -371 +372 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(defmacro with-parsed-polynomials (((maxima-vars &optional (maxima-new-vars nil new-vars-supplied-p))
-                                    &key (polynomials nil)
-                                    (poly-lists nil)
-                                    (poly-list-lists nil)
-                                    (value-type nil))
-                                   &body body
-                                   &aux (vars (gensym))
-                                     (new-vars (gensym)))
+(defmacro with-ring-and-order (((maxima-vars &optional (maxima-new-vars nil new-vars-supplied-p))
+                                &key (polynomials nil)
+                                (poly-lists nil)
+                                (poly-list-lists nil)
+                                (value-type nil))
+                               &body body
+                               &aux (vars (gensym))
+                                 (new-vars (gensym)))
   `(let ((,vars (coerce-maxima-list ,maxima-vars))
          ,@(when new-vars-supplied-p
@@ -409 +410 @@
 If the representation is not compatible with a polynomial in variables VARS,
 the result is an error."
-  (with-parsed-polynomials ((vars) :polynomials (p)
+  (with-ring-and-order ((vars) :polynomials (p)
                             :value-type :polynomial)
                            p))