"Source: Text/Algebra/AlgQuat.text";
"Line: 2765";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgQuat.text, line: 2765
// Example: H95E23 ()
print "Example: H95E23";
ei := GetEchoInput();
SetEchoInput(true);
F<x> := RationalFunctionField( GF(7) );
Q1 := QuaternionAlgebra< F | (x^2+x-1)*(x+1), x >;
a := x^3 + x^2 + 3;
b := x^13 + 4*x^11 + 2*x^10 + x^9 + 6*x^8 + 4*x^5 + 3*x^4 + x;
Q2:= QuaternionAlgebra< F | a, b >;
ok, phi:= IsIsomorphic(Q1, Q2 : Isomorphism);
ok;
assert $1;
forall{ <x,y> : x,y in Basis(Q1) |  phi(x*y) eq phi(x)*phi(y) };
assert $1;
SetEchoInput(ei);
