Clover Construction
We still have not yet implemented the construction of geodesic manifolds in the computer. The local constructions work. What happens however is that when building up the manifold, we will have to rename the vertices as we locally do identifications which globally do not hold. In the case k=1, when …