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