Return a contractor function for the intersection 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 and
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
intersection of the result, you can solve
ctc_intersect (C1, Y1, C2, Y2) = 0.
See also: @infsup/fsolve, ctc_union.
Package: interval