basis(EliminationTemplate) -- access the quotient basis of an EliminationTemplate

• Function: basis

• Usage:

  basis E

• Inputs:
  • E, an instance of the type EliminationTemplate,
• Optional inputs:
  • Degree => ..., default value null
  • Limit => ..., default value infinity
  • SourceRing => ..., default value null
  • Strategy => ..., default value null
  • Truncate => ..., default value false
  • Variables => ..., default value null
• Outputs:
  • a matrix, the standard monomials of an elimination template

i1 : R = QQ[x,y];

i2 : I = ideal(x^2-1, y^2-1);

o2 : Ideal of R

i3 : E = eliminationTemplate(x, I);

i4 : getTemplate E;

i5 : basis E

o5 = | 1 x xy y |

             1      4
o5 : Matrix R  <-- R