Note: the implementation is a simple triangle-based mesh but there is no restriction that edge(a, b) is unique (e.g. multiple intrinsic edges may connect the same two vertices with different paths). In fact this mesh allows triangles and edges with repeated vertices. Such structures arise naturally with intrinsic triangulation, for example an edge that starts and ends at the same vertex may encircle a mesh.