"Source: Text/Geometry/GrpPSL2Shim.text";
"Line: 251";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/GrpPSL2Shim.text, line: 251
// Example: H140E2 ()
print "Example: H140E2";
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);
