"Source: Text/Geometry/GrpPSL2.text";
"Line: 1238";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/GrpPSL2.text, line: 1238
// Example: H142E8 ()
print "Example: H142E8";
ei := GetEchoInput();
SetEchoInput(true);
H := UpperHalfPlaneWithCusps();
g1 := [H|-1,2];
g2 := [H|0,6];
g3 := [H|1,5];
g4 := [H|2,Infinity()];
lines := [g1,g2,g3,g4];
points := [GeodesicsIntersection(x,y,H) : x in lines,y in lines];
SetEchoInput(ei);
