Top
Back: cornerMonomials
Forward: primdec_lib
FastBack: normaliz_lib
FastForward: primdec_lib
Up: pointid_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.17.3 facGBIdeal

Procedure from library pointid.lib (see pointid_lib).

Usage:
facGBIdeal(id); id = <list of vectors> or <list of lists> or <module> or <matrix>.
Let A= {a1,...,as} be a set of points in K^n, ai:=(ai1,...,ain), then A can be given as
- a list of vectors (the ai are vectors) or
- a list of lists (the ai are lists of numbers) or
- a module s.t. the ai are generators or
- a matrix s.t. the ai are columns

Assume:
basering must have ordering rp, i.e., be of the form 0,x(1..n),rp; (the first entry of a point belongs to the lex-smallest variable, etc.)

Return:
a list where the first entry contains the Groebner basis G of I(A) and the second entry contains the linear factors of each element of G

Note:
combinatorial algorithm due to the Axis-of-Evil Theorem of M.G. Marinari, T. Mora

Example:
 

Top Back: cornerMonomials Forward: primdec_lib FastBack: normaliz_lib FastForward: primdec_lib Up: pointid_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.