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 219 for branches/f4grobner


Ignore:
Timestamp:
2015-06-05T15:34:27-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r218 r219  
    200200
    201201
     202;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     203;;
     204;; Facilities for evaluating Grobner package expressions
     205;; within a prepared environment
     206;;
     207;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
     208
     209(defmacro with-monomial-order ((order) &body body)
     210  "Evaluate BODY with monomial order set to ORDER."
     211  `(let ((*monomial-order* (or (find-order ,order) *monomial-order*)))
     212     . ,body))
     213
     214(defmacro with-coefficient-ring ((ring) &body body)
     215  "Evaluate BODY with coefficient ring set to RING."
     216  `(let ((*coefficient-ring* (or (find-ring ,ring) *coefficient-ring*)))
     217     . ,body))
     218
     219(defmacro with-elimination-orders ((primary secondary elimination-order)
     220                                   &body body)
     221  "Evaluate BODY with primary and secondary elimination orders set to PRIMARY and SECONDARY."
     222  `(let ((*primary-elimination-order* (or (find-order ,primary)  *primary-elimination-order*))
     223         (*secondary-elimination-order* (or (find-order ,secondary) *secondary-elimination-order*))
     224         (*elimination-order* (or (find-order ,elimination-order) *elimination-order*)))
     225     . ,body))
     226
     227
    202228;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    203229;;
Note: See TracChangeset for help on using the changeset viewer.