Changeset 1790 for branches/f4grobner

Timestamp:

2015-06-15T11:35:25-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (2 diffs)

branches/f4grobner/mx-grobner.lisp

@@ -411 +411 @@
       (let ((,ring-and-order-var ,(find-ring-and-order-by-name)))
         ;; Define a shorthand to RING
-        (symbol-macrolet (,ring-var (ro-ring ring-and-order))
+        (symbol-macrolet ((,ring-var (ro-ring ring-and-order)))
           (let ,(let ((args nil))
                      (dolist (p polynomials args)
@@ -557 +557 @@
                             :poly-lists (f plist)
                             :value-type :poly-list)
-    (polysaturation-extension ring-and-order f plist)))
+    (polysaturation-extension ring f plist)))
 
 (defmfun $poly_ideal_polysaturation1 (f plist vars)
   (with-ring-and-order ((vars) :poly-lists (f plist)
                                    :value-type :poly-list)
-    (ideal-polysaturation-1 ring-and-order f plist 0 nil)))
+    (ideal-polysaturation-1 ring f plist 0 nil)))
 
 (defmfun $poly_ideal_saturation (f g vars)