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

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

Accuracy: The result is a tight enclosure.

cancelplus (infsup (2, 3), infsup (1, 1.5))
  ⇒ ans = [3.5, 4]

See also: @infsup/cancelminus.

Package: interval