Details and Options
- The regions reg1 and reg2 are equal if all points in reg1 are points in reg2 and vice versa.
- 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 RegionEqual will attempt to compute conditions on parameters such that the regions are equal.
- The following options can be given:
Assumptions $Assumptions assumptions to make about parameters GenerateConditions False whether to generate conditions on parameters
Introduced in 2017