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

rationalUnivariateRepresentation -- the rational univariate representation of a zero-dimensional ideal

Synopsis

Description

This computes the rational univariate representation of a zero-dimensional ideal.

i1 : R = QQ[x,y]

o1 = R

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

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

o2 : Ideal of R
i3 : rationalUnivariateRepresentation(I)
2

              2   3        - 3Z + 15  6Z + 21
o3 = (x + y, Z  - -Z - 9, {---------, -------})
                  2          4Z - 3    4Z - 3

o3 : Sequence

Ways to use rationalUnivariateRepresentation :

For the programmer

The object rationalUnivariateRepresentation is a method function.