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