actionVariable -- returns the action variable associated to the elimination template

• Usage:

  actionVariable(E)

• Inputs:
  • E, an instance of the type EliminationTemplate, the elimination template for this problem
• Outputs:
  • a, a ring element, the action variable associated to E

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : I = ideal(x^4+x*y+y^2-3, x^2*y+y^3-2)

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

o2 : Ideal of R

i3 : E = eliminationTemplate(x,I)

o3 =  action variable: x

o3 : EliminationTemplate

i4 : actionVariable(E)

o4 = x

o4 : R