next | previous | forward | backward | up | top | index | toc | home

generators(GroebnerBasis) -- the generator matrix of a Groebner basis

Synopsis

Usage:
generators g
gens g
Function: generators
Inputs:
- g, a Groebner basis
Outputs:
- a matrix, whose columns are the generators of the Groebner basis g

Description

The following ideal defines a set of 18 points over the complex numbers. We compute a lexicographic Groebner basis of the ideal.

i1 : R = QQ[a..d, MonomialOrder=>Lex];

i2 : I = ideal(a^7-b-3, a*b-1, a*c^2-3, b*d-4);

o2 : Ideal of R

i3 : gens gb I

o3 = | d8-49152d-65536 16384c2-3d7+147456 16384b-d7+49152 4a-d |

             1       4
o3 : Matrix R  <--- R

See also

Groebner bases