up previous next
bound on roots of a polynomial over QQ
RootBound(F: RINGELEM): INT |
This function computes a bound on the absolute values of the complex
roots of a univariate polynomial over QQ. In some cases you may get
a better bound by applying the transformation produced by
LinearSimplify
.
/**/ Use R ::= QQ[x,y,z];
/**/ RootBound(x^2-2);
4
|