close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 1288


Ignore:
Timestamp:
2015-06-11T20:34:11-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/mx-grobner.lisp

    r1201 r1288  
    339339(defmacro with-parsed-polynomials (((maxima-vars &optional (maxima-new-vars nil new-vars-supplied-p))
    340340                                    &key (polynomials nil)
    341                                         (poly-lists nil)
    342                                         (poly-list-lists nil)
    343                                         (value-type nil))
     341                                    (poly-lists nil)
     342                                    (poly-list-lists nil)
     343                                    (value-type nil))
    344344                                   &body body
    345345                                   &aux (vars (gensym))
    346                                         (new-vars (gensym)))
     346                                     (new-vars (gensym)))
    347347  `(let ((,vars (coerce-maxima-list ,maxima-vars))
    348348         ,@(when new-vars-supplied-p
    349             (list `(,new-vars (coerce-maxima-list ,maxima-new-vars)))))
     349                (list `(,new-vars (coerce-maxima-list ,maxima-new-vars)))))
    350350     (coerce-to-maxima
    351351      ,value-type
     
    356356                                    $poly_elimination_order)
    357357            (let ,(let ((args nil))
    358                     (dolist (p polynomials args)
    359                       (setf args (cons `(,p (parse-poly ,p ,vars)) args)))
    360                     (dolist (p poly-lists args)
    361                       (setf args (cons `(,p (parse-poly-list ,p ,vars)) args)))
    362                     (dolist (p poly-list-lists args)
    363                       (setf args (cons `(,p (parse-poly-list-list ,p ,vars)) args))))
     358                       (dolist (p polynomials args)
     359                        (setf args (cons `(,p (parse-poly ,p ,vars)) args)))
     360                       (dolist (p poly-lists args)
     361                        (setf args (cons `(,p (parse-poly-list ,p ,vars)) args)))
     362                       (dolist (p poly-list-lists args)
     363                        (setf args (cons `(,p (parse-poly-list-list ,p ,vars)) args))))
    364364              . ,body))))
    365365      ,(if new-vars-supplied-p
    366366           `(append ,vars ,new-vars)
    367          vars))))
     367           vars))))
    368368
    369369
Note: See TracChangeset for help on using the changeset viewer.