Returns \(I(\)p1p2 is an edge
in the underlying or reflexivity graph of AS-PCDs \()\)
for points p1 and p2 in a given triangle.
More specifically, when the argument ugraph="underlying",
it returns the edge indicator for the AS-PCD underlying graph,
that is, returns 1 if p2 is
in \(N_{AS}(p1)\) **or** p1 is in \(N_{AS}(p2)\),
returns 0 otherwise.
On the other hand,
when ugraph="reflexivity", it returns
the edge indicator for the AS-PCD reflexivity graph,
that is, returns 1 if p2 is
in \(N_{AS}(p1)\) **and** p1 is in \(N_{AS}(p2)\),
returns 0 otherwise.
In both cases AS 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 the triangle tri
or based on circumcenter of tri;
default is M="CC", i.e., circumcenter 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).