
// Tests to help keep the GrpPSL2 package working
// Steve Donnelly

// Test Farey stuff
for G in 
  [Gamma0(1), Gamma0(2), Gamma0(6), Gamma1(6), 
   CongruenceSubgroup(2), CongruenceSubgroup(4)] 
do
  G;
  Cusps(G);
  FS := FareySymbol(G);
  FD := FundamentalDomain(G);
end for;

// Test cusps
G := CongruenceSubgroup(2);  
H := UpperHalfPlaneWithCusps();
assert (G! [-11,4,8,-3]) in G;
assert (G! [-11,4,8,-3]) * (H! 3/8) eq H! Infinity();
assert IsEquivalent(G, H! 3/8, H! Infinity());

