This returns an Int k s.
This returns an Int k s.t. 2^k <= the value this is bounding.
This returns an int k s.
This returns an int k s.t. 2^k >= the value this is bounding.
Returns true if this is a radical expression, false otherwise.
Returns true if this is a radical expression, false otherwise.
A
SeparationBoundprovides a way to bound a real number s.t. if the number is not 0, then its absolute value is >= 2^lowerBound.