Method on @infsup: fma (X, Y, Z)

Fused multiply and add X * Y + Z.

This function is semantically equivalent to evaluating multiplication and addition separately, but in addition guarantees a tight enclosure of the result.

Accuracy: The result is a tight enclosure.

output_precision (16, 'local')
fma (infsup (1+eps), infsup (7), infsup ("0.1"))
  ⇒ ans ⊂ [7.100000000000001, 7.100000000000003]
infsup (1+eps) * infsup (7) + infsup ("0.1")
  ⇒ ans ⊂ [7.1, 7.100000000000003]

See also: @infsup/plus, @infsup/times.

Package: interval