Method on @infsup: nextout (X)

Increases the interval’s boundaries in each direction to the next number.

This is the equivalent function to IEEE 754’s nextDown and nextUp.

x = infsup (1);
nextout (x) == infsup (1 - eps / 2, 1 + eps)
  ⇒ ans = 1

Package: interval