RegionDisjoint

RegionDisjoint[reg1,reg2]

returns True if the regions reg1 and reg2 are disjoint.

RegionDisjoint[reg1,reg2,reg3,]

returns True if the regions reg1, reg2, reg3, are pairwise disjoint.

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

Examples

open allclose all

Basic Examples  (2)

Test whether two regions are disjoint:

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

Visualize them:

In[4]:=
Click for copyable input
Out[4]=

Generate conditions for which regions are disjoint:

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

Scope  (17)

Options  (2)

Applications  (6)

Properties & Relations  (4)

Neat Examples  (1)

See Also

RegionEqual  RegionWithin  RegionMember  RegionNearest  RegionDistance  RandomPoint

Introduced in 2017
(11.1)