generators(GroebnerBasis) -- the generator matrix of a Gröbner basis

Synopsis

• Function: generators

• Usage:

  generators g

  gens g

• Inputs:
  • g, a Gröbner basis
• Optional inputs:
  • CoefficientRing => ..., default value null, unused option
• Outputs:
  • a matrix, whose columns are the generators of the Gröbner basis g

Description

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

• Gröbner bases