"Source: Text/Algebra/AlgQuat.text";
"Line: 972";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgQuat.text, line: 972
// Example: H95E9 ()
print "Example: H95E9";
ei := GetEchoInput();
SetEchoInput(true);
A := QuaternionAlgebra< RationalField() | -17, -271 >; 
x := A![1,-2,3,0];
Trace(x);
assert $1 eq 2;
Norm(x);
assert $1 eq 2508;
x^2 - Trace(x)*x + Norm(x);
assert $1 eq 0;
P<X> := PolynomialRing(RationalField());
M := RepresentationMatrix(x, A);
M;
Trace(M);
assert $1 eq 4;
Factorization(CharacteristicPolynomial(M));
SetEchoInput(ei);
