"Source: Text/Algebra/AlgQuat.text";
"Line: 2808";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgQuat.text, line: 2808
// Example: H95E25 ()
print "Example: H95E25";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1);
S := QuaternionOrder(37);
ideals := LeftIdealClasses(S);
_, I, J := Explode(ideals);
R := RightOrder(I);
_, pi := Isomorphism(R,RightOrder(J));
J := lideal< S | [ x*pi : x in Basis(J) ] >;
IsLeftIsomorphic(I,J);
assert not $1;
IsRightIsomorphic(I,J);
h, x := RightIsomorphism(I,J);
y := [1,2,-1,3];
y := &+[y[i]*b[i] : i in [1 .. 4]] where b is Basis(I);
h(y);
x*y;
TwoSidedIdealClasses(R);
TwoSidedIdealClasses(S);
SetEchoInput(ei);
