"Source: Text/Algebra/AlgInv.text";
"Line: 683";
"Date: Tue Feb 25 10:14:52 2020";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgInv.text, line: 683
// Example: H96E7 ()
print "Example: H96E7";
ei := GetEchoInput();
SetEchoInput(true);
MA := MatrixAlgebra(GF(7), 4);
F := MA![0,1,3,4,6,0,0,1,4,0,0,2,3,6,5,0];
F;
A := AdjointAlgebra([F]);
isit, T, f, g := RecogniseClassicalSSA(A);
isit;
(A.1 + A.2)@f eq (A.1@f) + (A.2@f);
assert $1;
(A.1 * A.2)@f eq (A.1@f) * (A.2@f);
assert $1;
(A.2@Star(A))@f eq (A.2@f)@Star(T);
assert $1;
SetEchoInput(ei);
