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

Description

This function constructs an EliminationTemplate object, which stores the action variable and ideal, and provides a cache for storing computed template data. The EliminationTemplate object can be used with other functions in this package to compute template matrices, action matrices, and solve polynomial systems.

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

Ways to use eliminationTemplate:

eliminationTemplate(RingElement,Ideal)

For the programmer

The object eliminationTemplate is a method function with options.

The source of this document is in EliminationTemplates.m2:898:0.