I have given x: AlgebraicNumber and know already that the value is real.
1) Is there a function that given x and an eps:Fraction(Integer) returns
two rational bounds l,u such that l<=x<=u and u-l<eps without going
via Float?
2) Is there an a function to convert x to
RealClosure(Fraction(Integer))?
I am actually interested only in (1), but while looking for it, I came
across RealClosure und found that quite interesting and maybe the
function approximate [1] is close to what I want.
[1]
https://fricas.github.io/api/RealClosedField.html#l5265616c436c6f7365644669656c64-617070726f78696d617465
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/43ce6b44-baeb-4ea4-afd5-8648b9a15636%40hemmecke.org.
