RegionEqual

RegionEqual[reg1,reg2]

returns True if the regions reg1 and reg2 are equal.

RegionEqual[reg1,reg2,reg3,]

returns True if the regions reg1, reg2, reg3, are all equal.

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$Assumptionsassumptions to make about parameters
    GenerateConditionsFalsewhether to generate conditions on parameters

Examples

open allclose all

Basic Examples  (2)

Test whether two regions are equal:

In[1]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=

Generate conditions for which two regions are equal:

In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=

Scope  (16)

Options  (2)

Applications  (6)

Properties & Relations  (4)

See Also

RegionDisjoint  RegionWithin  RegionMember  RegionNearest  RegionDistance  RandomPoint

Introduced in 2017
(11.1)