Returns an absolute approximation to this
s.
Returns an absolute approximation to this
s.t.
this - err <= this +/- err <= this + err
.
Returns true
if this is a radical expression, false
otherwise.
Returns true
if this is a radical expression, false
otherwise.
This returns an Int
k
s.
This returns an Int
k
s.t. 2^k
<= the value this is bounding.
Simulate returns the result of the Real
if it had instead been replaced
by the type A
.
Simulate returns the result of the Real
if it had instead been replaced
by the type A
. So, this won't provide any type
Override this to return the Real
resulting from the tree.
Override this to return the Real
resulting from the tree.
This returns an int k
s.
This returns an int k
s.t. 2^k
>= the value this is bounding.
An general Real type. Can be used represent real numbers and approximate them on-demand.