RealRootRefine -- refine a real root of a univariate polynomial |
Syntax |
RealRootRefine(Root: RECORD, Precision: RAT): RECORD |
Description |
Example |
/**/ use QQ[x]; /**/ RR := RealRoots(x^2-2); /**/ RealRootRefine(RR[1], 1/2); record[CoeffList := [-1, 0, 2], inf := -3/2, sup := -5/4] /**/ RR := [RealRootRefine(Root, 10^(-20)) | Root in RR]; /**/ FloatStr(RR[1].inf); -1.414213562*10^0 |
See Also |