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 1725


Ignore:
Timestamp:
2015-06-15T08:06:01-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r1724 r1725  
    170170                                                       :ring  ring
    171171                                                       :order order
     172                                                       :elimination-order elimination-order
    172173                                                       :primary-elimination-order primary-elimination-order
    173174                                                       :secondary-elimination-order secondary-elimination-order)))
    … …  
    371372;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    372373
    373 (defmacro with-parsed-polynomials (((maxima-vars &optional (maxima-new-vars nil new-vars-supplied-p))
    374                                     &key (polynomials nil)
    375                                     (poly-lists nil)
    376                                     (poly-list-lists nil)
    377                                     (value-type nil))
    378                                    &body body
    379                                    &aux (vars (gensym))
    380                                      (new-vars (gensym)))
     374(defmacro with-ring-and-order (((maxima-vars &optional (maxima-new-vars nil new-vars-supplied-p))
     375                                &key (polynomials nil)
     376                                (poly-lists nil)
     377                                (poly-list-lists nil)
     378                                (value-type nil))
     379                               &body body
     380                               &aux (vars (gensym))
     381                                 (new-vars (gensym)))
    381382  `(let ((,vars (coerce-maxima-list ,maxima-vars))
    382383         ,@(when new-vars-supplied-p
    … …  
    409410If the representation is not compatible with a polynomial in variables VARS,
    410411the result is an error."
    411   (with-parsed-polynomials ((vars) :polynomials (p)
     412  (with-ring-and-order ((vars) :polynomials (p)
    412413                            :value-type :polynomial)
    413414                           p))
Note: See TracChangeset for help on using the changeset viewer.