RealRoots(x^2-2);
[Record[CoeffList = [8, -16, 7], Inf = -4, Sup = 0],
Record[CoeffList = [8, 0, -1], Inf = 0, Sup = 4]]
-------------------------------
RR := RealRoots((x^2-2)*(x-1), 10^(-5));
FloatStr(RR[1].Inf); -- left end of interval
-1.414213657*10^0
-------------------------------
FloatStr(RR[1].Sup); -- right end of interval
-1.414213419*10^0
-------------------------------
RR := RealRoots(x^2-2, 10^(-20), [0, 2]);
RR[1].Inf; -- incomprehensible
3339217363285192246361/2361183241434822606848
-------------------------------
FloatStr(RR[1].Inf, 20); -- comprehensible
1.4142135623730950488*10^0
-------------------------------
|