eliminationTemplate -- constructor for an EliminationTemplate object

• Usage:

  E = eliminationTemplate(a, J)

• Inputs:
  • a, a ring element, the action polynomial defining a multiplication matrix
  • J, an ideal, a zero-dimensional ideal
• Outputs:
  • E, an instance of the type EliminationTemplate, an EliminationTemplate object encoding the data for elimination template computations

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : J = ideal(x^2+y^2-1, x^2+x*y+y^2-1)

             2    2       2          2
o2 = ideal (x  + y  - 1, x  + x*y + y  - 1)

o2 : Ideal of R

i3 : E = eliminationTemplate(x, J)

o3 =  action variable: x

o3 : EliminationTemplate