ideal(EliminationTemplate) -- access the ideal of an EliminationTemplate

• Function: ideal

• Usage:

  ideal E

• Inputs:
  • E, an instance of the type EliminationTemplate,
• Outputs:
  • an ideal, the ideal J from which the template was constructed

i1 : R = QQ[x,y];

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

o2 : Ideal of R

i3 : E = eliminationTemplate(x, I);

i4 : ideal E === I

o4 = true