Method on @infsup: Z = cancelminus (X, Y)

Recover interval Z from intervals X and Y, given that one knows X was obtained as the sum Y + Z.

Accuracy: The result is a tight enclosure.

cancelminus (infsup (2, 3), infsup (1, 1.5))
  ⇒ ans = [1, 1.5]

See also: @infsup/cancelplus.

Package: interval