next | previous | forward | backward | up | top | index | toc | Macaulay2 website
RealRoots :: univariateEliminant

univariateEliminant -- the univariate eliminant of an element of an Artinian ring

Synopsis

Description

This computes the univariate eliminant of a ring element f in the Artinian ring ring f, or the univariate eliminant of a polynomial g in the Artinian ring (ring g)/I. When f is a variable in ring f, this is the eliminant with respect to that variable. This is computed by finding the minimal polynomial of the corresponding multiplication matrix.

i1 : R = QQ[x,y]

o1 = R

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

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

o2 : Ideal of R
i3 : univariateEliminant(y,I)

      4     3      2
o3 = Z  - 8Z  + 19Z  - 16Z + 5

o3 : QQ[Z]
i4 : S = R/I

o4 = S

o4 : QuotientRing
i5 : univariateEliminant(y)

      4     3      2
o5 = Z  - 8Z  + 19Z  - 16Z + 5

o5 : QQ[Z]

We provide two examples to compute minimal polynomials given by Strategy => 0 (computes the kernel of $k[T]\to$ ring f by sending $T$ to f) and Strategy => 1 (a minimal linear combination of powers of the input).

i6 : univariateEliminant(x,Strategy => 0)

      4     3     2
o6 = Z  - 2Z  - 9Z  - 6Z - 7

o6 : QQ[Z]
i7 : univariateEliminant(x,Strategy => 1)

      4     3     2
o7 = Z  - 2Z  - 9Z  - 6Z - 7

o7 : QQ[Z]

See also

Ways to use univariateEliminant :

For the programmer

The object univariateEliminant is a method function with options.