Function: ctc_intersect (C1, Y1, C2, Y2)
Function: ctc_intersect (C1, C2)

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