previous next |
RealRootRefine |
Syntax |
RealRootRefine(Root:RECORD, Precision:RAT):RECORD |
Summary |
refine a root of a univariate polynomial over Q |
Description |
This functions computes a refinement of a real root of a univariate polynomial over Q to the desired precision (width of isolating interval). The starting root must be a record produced by RealRoots. |
Example |
RR := RealRoots(x^2-2); RealRootRefine(RR[1], 1/2); Record[ CoeffList = [-8, 1456, -712], Inf = -91/64, Sup = -45/32] ------------------------------- RR := [RealRootRefine(Root, 10^(-20)) | Root In RR]; FloatStr(RR[1].Inf); -1.414213562*10^0 ------------------------------- |
See also: |