Changeset 1597

Timestamp:

2015-06-14T11:01:58-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/ideal.lisp (modified) (1 diff)

branches/f4grobner/ideal.lisp

@@ -68 +68 @@
                      plist))))
 
-(defun elimination-ideal (ring-and-order flist k &optional (top-reduction-only $poly_top_reduction_only) (start 0))
+(defun elimination-ideal (ring-and-order flist k 
+                          &optional 
+                            (top-reduction-only $poly_top_reduction_only)
+                            (start 0))
+  "Given a list of polynomials FLIST, and an integer K, tt finds and
+returns the Groebner basis the elimination ideal of Id({FLIST})
+obtained by eliminating the first K variables. Optional argument
+TOP-REDUCTION-ONLY indicates whether to fully reduce or only
+top-reduce. Optional argument START, defaulting to 0, is used to
+indicate that the first START elements of F form a Groebner basis."
+
   (ring-intersection (reduced-grobner ring-and-order flist start top-reduction-only) k))