"Source: Text/Geometry/GrpPSL2Shim.text";
"Line: 108";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/GrpPSL2Shim.text, line: 108
// Example: H143E1 ()
print "Example: H143E1";
ei := GetEchoInput();
SetEchoInput(true);
A := QuaternionAlgebra(6);
G := FuchsianGroup(A);
G;
O := BaseRing(G);
O;
Discriminant(O);
assert $1 eq 6;
Algebra(O) eq A;
assert $1;
K<z> := CyclotomicField(9);
F := sub<K | z+1/z >;
Degree(F);
assert $1 eq 3;
Z_F := MaximalOrder(F);
Foo := InfinitePlaces(F);
A := QuaternionAlgebra(ideal<Z_F | 1>, Foo[2..3]);
Discriminant(A);
O := MaximalOrder(A);
G := FuchsianGroup(O);
G;
F<x> := NumberField(Polynomial([-5,0,1]));
Z_F := MaximalOrder(F);
A := QuaternionAlgebra(ideal<Z_F | 2>, InfinitePlaces(F)[1..1]);
G := FuchsianGroup(A, ideal<Z_F | 3>);
O := BaseRing(G);
O;
Discriminant(O);
Discriminant(A);
Level(G);
SetEchoInput(ei);
