"Source: Text/Geometry/GrpPSL2Shim.text";
"Line: 251";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/GrpPSL2Shim.text, line: 251
// Example: H143E2 ()
print "Example: H143E2";
ei := GetEchoInput();
SetEchoInput(true);
F<w> := QuadraticField(5);
Z_F := MaximalOrder(F);
Foo := InfinitePlaces(F);
A<alpha,beta> := QuaternionAlgebra(ideal<Z_F | 2>, [Foo[2]]);
a, b := StandardForm(A);
F!a, F!b;
IsIsomorphic(A, QuaternionAlgebra< F | a, b >);
assert $1;
v := SplitRealPlace(A);
v;
iota := FuchsianMatrixRepresentation(A);
iota(alpha);
iota(beta);
Sqrt(Evaluate(b, v));
DefiniteNorm(alpha);
SetEchoInput(ei);
