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