Changeset 998

Timestamp:

2015-06-09T21:38:57-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

@@ -230 +230 @@
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; 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)))
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Ring utilities
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(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 ~A is not recognized. Using default.~%" ring)
+    nil)))
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;