"Source: Text/Algebra/AlgQuat.text";
"Line: 2968";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgQuat.text, line: 2968
// Example: H95E27 ()
print "Example: H95E27";
ei := GetEchoInput();
SetEchoInput(true);
A := QuaternionAlgebra< RationalField() | -1, -1 >;
S1 := MaximalOrder(A);    
S2 := QuaternionOrder(A,2);
G1, h1 := UnitGroup(S1);
#G1;
assert $1 eq 24;
[ A | h1(g) : g in G1 ]; 
G2, h2 := UnitGroup(S2);
#G2;
assert $1 eq 8;
[ A | h2(g) : g in G2 ];
SetEchoInput(ei);
