Changeset 1703 for branches

Timestamp:

2015-06-14T21:49:55-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

@@ -160 +160 @@
     nil)))
 
+(defun find-ring-and-order-by-name (&optional
+                                      (ring (find-ring-by-name $poly_coefficient_ring))
+                                      (order (find-order-by-name $poly_monomial_order))
+                                      (primary-elimination-order (find-order-by-name $poly_primary_elimination_order))
+                                      (secondary-elimination-order (find-order-by-name $poly_secondary_elimination_order))
+                                    &aux 
+                                      (vars (coerce-maxima-list vars))
+                                      (ring-and-order (make-ring-and-order 
+                                                       :ring  ring
+                                                       :order order
+                                                       :primary-elimination-order primary-elimination-order
+                                                       :secondary-elimination-order secondary-elimination-order)))
+  ring-and-order)
+
 (defun maxima->poly (expr vars 
-                     &optional
-                       (ring (find-ring-by-name $poly_coefficient_ring))
-                       (order (find-order-by-name $poly_monomial_order))
-                       (primary-elimination-order (find-order-by-name $poly_primary_elimination_order))
-                       (secondary-elimination-order (find-order-by-name $poly_secondary_elimination_order))
-                     &aux 
-                       (vars (coerce-maxima-list vars))
-                       (ring-and-order (make-ring-and-order 
-                                        :ring  ring
-                                        :order order
-                                        :primary-elimination-order primary-elimination-order
-                                        :secondary-elimination-order secondary-elimination-order))
+                     &optional 
+                       (ring-and-order (find-ring-and-order-by-name))
+                     &aux
                        (ring (ro-ring ring-and-order)))
   "Convert a maxima polynomial expression EXPR in variables VARS to