generators(TriaSystem) -- equations of a triangular system

Synopsis

• Function: generators

• Usage:

  gens T

• Inputs:
  • T, an instance of the type TriaSystem
• Optional inputs:
  • CoefficientRing => ..., default value null,
• Outputs:
  • a list, of generators of T

Description

i1 : R = QQ[a,b,c,d,e,f,g,h, MonomialOrder=>Lex];

i2 : F = {a*d - b*c, c*f - d*e, e*h - f*g};

i3 : T = triaSystem(R,F)

o3 = {a*d - b*c, c*f - d*e, e*h - f*g} / {d, f, h}

o3 : TriaSystem

i4 : gens T

o4 = {a*d - b*c, c*f - d*e, e*h - f*g}

o4 : List

See also

• TriaSystem -- a triangular system
• ineqs -- inequations of a triangular system