- Introduction
- Congruence Subgroups
- Structure of Congruence Subgroups
- Elements of PSL2(R)
- The Upper Half Plane
- Action of PSL2(R) on the Upper Half Plane
- g * z : GrpPSL2Elt, SpcHypElt -> SpcHypElt
- FixedPoints(g,H) : GrpPSL2Elt, SpcHyp -> SeqEnum
- IsEquivalent(G,a,b) : GrpPSL2, SpcHypElt, SpcHypElt -> BoolElt, GrpPSL2Elt
- EquivalentPoint(x) : SpcHypElt -> SpcHypElt, GrpPSL2Elt
- Stabilizer(a,G) : SpcHypElt, GrpPSL2 -> GrpPSL2Elt
- FixedArc(g,H) : GrpPSL2Elt, SpcHyp -> SeqEnum
- Arithmetic
- Distances, Angles and Geodesics
- Distance(z,w) : SpcHypElt, SpcHypElt -> FldReElt
- TangentAngle(x,y) : SpcHypElt, SpcHypElt -> FldReElt
- Angle(e1,e2) : [SpcHypElt], [SpcHypElt] -> FldReElt
- ExtendGeodesic([z1,z2], H) : [SpcHypElt], SpcHyp -> [SpcHypElt]
- GeodesicsIntersection(x1,x2) : [SpcHypElt], [SpcHypElt]) -> SeqEnum
- Farey Symbols and Fundamental Domains
- Points and Geodesics
- Graphical Output
- Bibliography
V2.28, 13 July 2023