Changeset 1288

Timestamp:

2015-06-11T20:34:11-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

@@ -339 +339 @@
 (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))
+                                    (poly-lists nil)
+                                    (poly-list-lists nil)
+                                    (value-type nil))
                                    &body body
                                    &aux (vars (gensym))
-                                        (new-vars (gensym)))
+                                     (new-vars (gensym)))
   `(let ((,vars (coerce-maxima-list ,maxima-vars))
          ,@(when new-vars-supplied-p
-             (list `(,new-vars (coerce-maxima-list ,maxima-new-vars)))))
+                 (list `(,new-vars (coerce-maxima-list ,maxima-new-vars)))))
      (coerce-to-maxima
       ,value-type
@@ -356 +356 @@
                                     $poly_elimination_order)
             (let ,(let ((args nil))
-                    (dolist (p polynomials args)
-                      (setf args (cons `(,p (parse-poly ,p ,vars)) args)))
-                    (dolist (p poly-lists args)
-                      (setf args (cons `(,p (parse-poly-list ,p ,vars)) args)))
-                    (dolist (p poly-list-lists args)
-                      (setf args (cons `(,p (parse-poly-list-list ,p ,vars)) args))))
+                       (dolist (p polynomials args)
+                         (setf args (cons `(,p (parse-poly ,p ,vars)) args)))
+                       (dolist (p poly-lists args)
+                         (setf args (cons `(,p (parse-poly-list ,p ,vars)) args)))
+                       (dolist (p poly-list-lists args)
+                         (setf args (cons `(,p (parse-poly-list-list ,p ,vars)) args))))
               . ,body))))
       ,(if new-vars-supplied-p
            `(append ,vars ,new-vars)
-         vars))))
+           vars))))