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
SeparationBound
provides a way to bound a real number s.t. if the number is not 0, then its absolute value is >= 2^lowerBound
.