Changeset 219 for branches/f4grobner
- Timestamp:
- 2015-06-05T15:34:27-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r218 r219 200 200 201 201 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 202 228 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 203 229 ;;
Note:
See TracChangeset
for help on using the changeset viewer.