Returns \(I(\)p1p2 is an edge
in the underlying or reflexivity graph of PE-PCDs \()\)
for points p1 and p2 in a given triangle.
More specifically, when the argument ugraph="underlying", it returns
the edge indicator for the PE-PCD underlying graph,
that is, returns 1 if p2 is
in \(N_{PE}(p1,r)\) or p1 is in \(N_{PE}(p2,r)\),
returns 0 otherwise.
On the other hand,
when ugraph="reflexivity", it returns
the edge indicator for the PE-PCD reflexivity graph,
that is, returns 1 if p2 is
in \(N_{PE}(p1,r)\) and p1 is in \(N_{PE}(p2,r)\),
returns 0 otherwise.
In both cases PE proximity region is constructed
with respect to the triangle tri and
vertex 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 tri
or based on the circumcenter of tri;
default is \(M=(1,1,1)\), i.e.,
the center of mass of tri.
If p1 and p2 are distinct
and either of them are outside tri, 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:stamet2016;textualpcds.ugraph).