Changeset 104

Timestamp:

2015-06-05T12:01:49-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/mx-grobner.lisp

@@ -71 +71 @@
 are assumed to be defined.")
 
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; Order utilities
-;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(defun find-order (order)
-  "This function returns the order function bases on its name."
-  (cond
-   ((null order) nil)
-   ((symbolp order)
-    (case order
-      ((lex :lex $lex) #'lex>) 
-      ((grlex :grlex $grlex) #'grlex>)
-      ((grevlex :grevlex $grevlex) #'grevlex>)
-      ((invlex :invlex $invlex) #'invlex>)
-      ((elimination-order-1 :elimination-order-1 elimination_order_1) #'elimination-order-1)
-      (otherwise
-       (mtell "~%Warning: Order ~M not found. Using default.~%" order))))
-   (t
-    (mtell "~%Order specification ~M is not recognized. Using default.~%" order)
-    nil)))
-
-(defun find-ring (ring)
-  "This function returns the ring structure bases on input symbol."
-  (cond
-   ((null ring) nil)
-   ((symbolp ring)
-    (case ring
-      ((expression-ring :expression-ring $expression_ring) *expression-ring*) 
-      ((ring-of-integers :ring-of-integers $ring_of_integers) *ring-of-integers*) 
-      (otherwise
-       (mtell "~%Warning: Ring ~M not found. Using default.~%" ring))))
-   (t
-    (mtell "~%Ring specification ~M is not recognized. Using default.~%" ring)
-    nil)))
-
-(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-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))