Changeset 1519 for branches/f4grobner

Timestamp:

2015-06-12T13:25:45-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ideal.lisp (modified) (3 diffs)

branches/f4grobner/ideal.lisp

@@ -201 +201 @@
 polynomial list F."
   (cond
-   ((endp plist) 
-    (reduced-grobner ring-and-order f start top-reduction-only))
-   (t (let ((g (ideal-saturation-1 ring-and-order f (car plist) start top-reduction-only)))
-        (ideal-polysaturation-1 ring-and-order g (rest plist) (length g) top-reduction-only)))))
+    ((endp plist) 
+     (reduced-grobner ring-and-order f start top-reduction-only))
+    (t (let ((g (ideal-saturation-1 ring-and-order f (car plist) start top-reduction-only)))
+         (ideal-polysaturation-1 ring-and-order g (rest plist) (length g) top-reduction-only)))))
 
 (defun ideal-saturation (ring-and-order f g
@@ -211 +211 @@
                            (top-reduction-only $poly_top_reduction_only)
                          &aux
-                         (k (length g)))
+                           (k (length g)))
   "Returns the reduced Grobner basis of the saturation of the ideal
 generated by a polynomial list F in the ideal generated a polynomial
@@ -233 +233 @@
                                (start 0)
                                (top-reduction-only $poly_top_reduction_only))
-    "Returns the reduced Grobner basis of the ideal obtained by a
+  "Returns the reduced Grobner basis of the ideal obtained by a
 successive applications of IDEAL-SATURATION to F and lists of
 polynomials in the list IDEAL-LIST."
   (cond
-   ((endp ideal-list) f)
-   (t (let ((h (ideal-saturation ring-and-order f (car ideal-list) start top-reduction-only)))
-        (ideal-polysaturation ring-and-order h (rest ideal-list) (length h) top-reduction-only)))))
+    ((endp ideal-list) f)
+    (t (let ((h (ideal-saturation ring-and-order f (car ideal-list) start top-reduction-only)))
+         (ideal-polysaturation ring-and-order h (rest ideal-list) (length h) top-reduction-only)))))