Return a contractor function for the union of two sets.
Functions C1 and C2 define two sets S1 = {x |
C1 (x) ∈ Y1} and S2 = {x |
C2 (x) ∈ Y2}. The return value is a contractor function
for the set S1 ∪ S2 = {x |C1 (x) ∈ Y1 or
C2 (x) ∈ Y2}.
Parameters C1 and C2 must be function handles and must accept
the same number of parameters. See @infsup/fsolve for how to
define contractor functions. The user manual also contains an example on
how to use this function.
Instead of solving C1 (x) ∈ Y1 and
C2 (x) ∈ Y2 separately and then compute an union of
the result, you can solve ctc_union (C1, Y1, C2,
Y2) = 0.
See also: @infsup/fsolve, ctc_intersect.
Package: interval