|
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:
|