Closed dpsanders closed 4 months ago
If an Interval is atomic (unable to be bisected) it should be marked as unknown and not processed further.
This will be important for infinite intervals if the function is such that we cannot exclude the interval (prevfloat(Inf), Inf).
If an Interval is atomic (unable to be bisected) it should be marked as unknown and not processed further.
This will be important for infinite intervals if the function is such that we cannot exclude the interval (prevfloat(Inf), Inf).