close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Ignore:
Timestamp:
2015-06-14T11:01:58-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ideal.lisp

    r1596 r1597  
    6868                     plist))))
    6969
    70 (defun elimination-ideal (ring-and-order flist k &optional (top-reduction-only $poly_top_reduction_only) (start 0))
     70(defun elimination-ideal (ring-and-order flist k
     71                          &optional
     72                            (top-reduction-only $poly_top_reduction_only)
     73                            (start 0))
     74  "Given a list of polynomials FLIST, and an integer K, tt finds and
     75returns the Groebner basis the elimination ideal of Id({FLIST})
     76obtained by eliminating the first K variables. Optional argument
     77TOP-REDUCTION-ONLY indicates whether to fully reduce or only
     78top-reduce. Optional argument START, defaulting to 0, is used to
     79indicate that the first START elements of F form a Groebner basis."
     80
    7181  (ring-intersection (reduced-grobner ring-and-order flist start top-reduction-only) k))
    7282
Note: See TracChangeset for help on using the changeset viewer.