Returns \(I(\)p1p2 is an edge
in the underlying or reflexivity graph of CS-PCDs \()\)
for points p1 and p2 in the standard equilateral triangle.
More specifically, when the argument ugraph="underlying", it returns
the edge indicator for points p1 and p2
in the standard equilateral triangle,
for the CS-PCD underlying graph,
that is, returns 1 if p2 is
in \(N_{CS}(p1,t)\) or p1 is in \(N_{CS}(p2,t)\),
returns 0 otherwise.
On the other hand,
when ugraph="reflexivity", it returns
the edge indicator for points p1 and p2
in the standard equilateral triangle,
for the CS-PCD reflexivity graph,
that is, returns 1 if p2 is
in \(N_{CS}(p1,t)\) and p1 is in \(N_{CS}(p2,t)\),
returns 0 otherwise.
In both cases \(N_{CS}(x,t)\) is the CS proximity region
for point \(x\) with expansion parameter \(t > 0\).
CS proximity region is defined
with respect to the standard equilateral triangle
\(T_e=T(v=1,v=2,v=3)=T((0,0),(1,0),(1/2,\sqrt{3}/2))\)
and edge regions are based on the center \(M=(m_1,m_2)\)
in Cartesian coordinates or \(M=(\alpha,\beta,\gamma)\)
in barycentric coordinates in the interior of \(T_e\);
default is \(M=(1,1,1)\) i.e., the center of mass of \(T_e\).
If p1 and p2 are distinct
and either of them are outside \(T_e\), it returns 0,
but if they are identical,
then it returns 1 regardless of their locations (i.e., it allows loops).
See also
(ceyhan:Phd-thesis,ceyhan:comp-geo-2010,ceyhan:stamet2016;textualpcds.ugraph).