"Source: Text/Algebra/AlgQuat.text";
"Line: 2783";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgQuat.text, line: 2783
// Example: H95E24 ()
print "Example: H95E24";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1);
A := QuaternionAlgebra(37);
S := MaximalOrder(A);
ideals := LeftIdealClasses(S);
_, I, J := Explode(ideals);
R := RightOrder(I);
Q := RightOrder(J);
IsIsomorphic(R,Q);
assert $1;
_, pi := Isomorphism(R,Q);
J := lideal< S | [ x*pi : x in Basis(J) ] >;
RightOrder(J) eq R;                        
assert $1;
SetEchoInput(ei);
