Changeset 1823 for branches/f4grobner/mx-grobner.lisp

Timestamp:

2015-06-15T13:31:10-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (1 diff)

branches/f4grobner/mx-grobner.lisp

@@ -268 +268 @@
     (otherwise
      object)))
-
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Facilities for evaluating Grobner package expressions
-;; within a prepared environment
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-#|
-(defmacro with-monomial-order ((order) &body body)
-  "Evaluate BODY with monomial order set to ORDER."
-  `(let ((*monomial-order* (or (find-order ,order) *monomial-order*)))
-     . ,body))
-
-(defmacro with-coefficient-ring ((ring) &body body)
-  "Evaluate BODY with coefficient ring set to RING."
-  `(let ((+maxima-ring+ (or (find-ring ,ring) +maxima-ring+)))
-     . ,body))
-
-(defmacro with-ring-and-order ((ring order) &body body)
-  "Evaluate BODY with monomial order set to ORDER and coefficient ring set to RING."
-  `(let ((*monomial-order* (or (find-order ,order) *monomial-order*))
-         (+maxima-ring+ (or (find-ring ,ring) +maxima-ring+)))
-     . ,body))
-
-(defmacro with-elimination-orders ((primary secondary elimination-order)
-                                   &body body)
-  "Evaluate BODY with primary and secondary elimination orders set to PRIMARY and SECONDARY."
-  `(let ((*primary-elimination-order* (or (find-order ,primary)  *primary-elimination-order*))
-         (*secondary-elimination-order* (or (find-order ,secondary) *secondary-elimination-order*))
-         (*elimination-order* (or (find-order ,elimination-order) *elimination-order*)))
-     . ,body))
-
-|#