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 Algebraic type. Can be used represent real numbers and approximate them on-demand.