Compute the reverse multiplication function or the two-output division.
That is, an enclosure of all x ∈ X
where
x .* b ∈ C
for any b ∈ B
.
This function is similar to interval division C ./ B
.
However, it treats the case 0/0 as “any real number” instead of “undefined”.
Interval division, considered as a set, can have zero, one or two disjoint connected components as a result. If called with two output parameters, this function returns the components separately. U contains the negative or unique component, whereas V contains the positive component in cases with two components.
Accuracy: The result is a tight enclosure.
c = infsup (1); b = infsup (-inf, inf); [u, v] = mulrev (b, c) ⇒ u = [-inf, 0] v = [0, inf]
See also: @infsup/times.
Package: interval