up previous next
RootBoundTransform --
transform of a polynomial, helpful for checking RootBound
|
RootBoundTransform(F: RINGELEM): RINGELEM |
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.
/**/ use P ::= QQ[x];
/**/ RootBoundTransform(-3*x^3+x^2-2);
3*x^3 -x^2 -2
|