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 220


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ngrobner.lisp

    r199 r220  
    251251    (warn "~%Ring specification ~A is not recognized. Using default.~%" ring)
    252252    nil)))
    253 
    254 (defmacro with-monomial-order ((order) &body body)
    255   "Evaluate BODY with monomial order set to ORDER."
    256   `(let ((*monomial-order* (or (find-order ,order) *monomial-order*)))
    257      . ,body))
    258 
    259 (defmacro with-coefficient-ring ((ring) &body body)
    260   "Evaluate BODY with coefficient ring set to RING."
    261   `(let ((*coefficient-ring* (or (find-ring ,ring) *coefficient-ring*)))
    262      . ,body))
    263 
    264 (defmacro with-elimination-orders ((primary secondary elimination-order)
    265                                    &body body)
    266   "Evaluate BODY with primary and secondary elimination orders set to PRIMARY and SECONDARY."
    267   `(let ((*primary-elimination-order* (or (find-order ,primary)  *primary-elimination-order*))
    268          (*secondary-elimination-order* (or (find-order ,secondary) *secondary-elimination-order*))
    269          (*elimination-order* (or (find-order ,elimination-order) *elimination-order*)))
    270      . ,body))
    271253
    272254
Note: See TracChangeset for help on using the changeset viewer.