Method on @infsup: inf (X)

Get the (greatest) lower boundary for all numbers of interval X.

If X is empty, inf (X) is positive infinity.

Accuracy: The result is exact.

inf (infsup (2.5, 3.5))
  ⇒ ans = 2.5000

See also: @infsup/sup, @infsup/mid.

Package: interval