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 1823


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

* empty log message *

File:
1 edited

Legend:

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

    r1822 r1823  
    268268    (otherwise
    269269     object)))
    270 
    271 
    272 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    273 ;;
    274 ;; Facilities for evaluating Grobner package expressions
    275 ;; within a prepared environment
    276 ;;
    277 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    278 
    279 #|
    280 (defmacro with-monomial-order ((order) &body body)
    281   "Evaluate BODY with monomial order set to ORDER."
    282   `(let ((*monomial-order* (or (find-order ,order) *monomial-order*)))
    283      . ,body))
    284 
    285 (defmacro with-coefficient-ring ((ring) &body body)
    286   "Evaluate BODY with coefficient ring set to RING."
    287   `(let ((+maxima-ring+ (or (find-ring ,ring) +maxima-ring+)))
    288      . ,body))
    289 
    290 (defmacro with-ring-and-order ((ring order) &body body)
    291   "Evaluate BODY with monomial order set to ORDER and coefficient ring set to RING."
    292   `(let ((*monomial-order* (or (find-order ,order) *monomial-order*))
    293          (+maxima-ring+ (or (find-ring ,ring) +maxima-ring+)))
    294      . ,body))
    295 
    296 (defmacro with-elimination-orders ((primary secondary elimination-order)
    297                                    &body body)
    298   "Evaluate BODY with primary and secondary elimination orders set to PRIMARY and SECONDARY."
    299   `(let ((*primary-elimination-order* (or (find-order ,primary)  *primary-elimination-order*))
    300          (*secondary-elimination-order* (or (find-order ,secondary) *secondary-elimination-order*))
    301          (*elimination-order* (or (find-order ,elimination-order) *elimination-order*)))
    302      . ,body))
    303 
    304 |#
    305270
    306271
Note: See TracChangeset for help on using the changeset viewer.