Changeset 1749

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/mx-grobner.lisp

@@ -371 +371 @@
 
 (defmacro with-ring-and-order (((maxima-vars &optional (maxima-new-vars nil new-vars-supplied-p))
-                                &key (polynomials nil)
+                                &key 
+                                (polynomials nil)
                                 (poly-lists nil)
                                 (poly-list-lists nil)
-                                (value-type nil))
+                                (value-type nil)
+                                (ring-and-order-var 'ring-and-order))
                                &body
                                  body
@@ -385 +387 @@
      (poly->maxima
       ,value-type
-      (let ((,ring-and-order ,(find-ring-and-order-by-name)))
+      (let ((,ring-and-order-var ,(find-ring-and-order-by-name)))
         (let ,(let ((args nil))
                    (dolist (p polynomials args)
-                     (setf args (cons `(,p (maxima->poly ,p ,vars ,ring-and-order)) args)))
+                     (setf args (cons `(,p (maxima->poly ,p ,vars ,ring-and-order-var)) args)))
                    (dolist (p poly-lists args)
-                     (setf args (cons `(,p (maxima->poly-list ,p ,vars ,ring-and-order)) args)))
+                     (setf args (cons `(,p (maxima->poly-list ,p ,vars ,ring-and-order-var)) args)))
                    (dolist (p poly-list-lists args)
-                     (setf args (cons `(,p (maxima->poly-list-list ,p ,vars ,ring-and-order)) args))))
+                     (setf args (cons `(,p (maxima->poly-list-list ,p ,vars ,ring-and-order-var)) args))))
           . ,body))
       ,(if new-vars-supplied-p