Details and Options
- The regions reg1 and reg2 are disjoint if there are no points that belong to both reg1 and reg2.
- If all regi are parameter-free regions, i.e. ConstantRegionQ[regi] is True, the regions are point sets, and typically True or False is returned.
- If some regi depend on parameters, i.e. ConstantRegionQ[regi] is False, then regi represents a family of regions, and RegionDisjoint will attempt to compute conditions on parameters such that the regions are disjoint.
- The following options can be given:
Assumptions $Assumptions assumptions to make about parameters GenerateConditions False whether to generate conditions on parameters
Examplesopen allclose all
Introduced in 2017