Details and Options
- The region reg2 is contained within reg1 if every point that belongs to reg2 also belongs to reg1.
- 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 RegionWithin will attempt to compute conditions on parameters such that reg2 is contained within reg1.
- 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