up previous next
RootBoundTransform    --    transform of a polynomial, helpful for checking RootBound


Syntax 
RootBoundTransform(F: RINGELEM): RINGELEM

Description
The function RootBoundTransform computes a simple transform of a univariate polynomial (of degree at least 1) with rational coefficents. The transform is a[d]*x^d - a[d-1]*x^(d-1) - ... - a[0] where a[k] denotes the absolute value of the coefficient of x^k in F.

Example 
/**/  use P ::= QQ[x];
/**/  RootBoundTransform(-3*x^3+x^2-2);
3*x^3 -x^2 -2

See Also