"Source: Text/Algebra/AlgBas.text";
"Line: 1517";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgBas.text, line: 1517
// Example: H94E8 ()
print "Example: H94E8";
ei := GetEchoInput();
SetEchoInput(true);
A := BasicAlgebraOfSchurAlgebra(3,5,GF(3));
A;
B, uu  := ChangeIdempotents(A,[2,4,5,1,3]);
B;
DimensionsOfProjectiveModules(A);
DimensionsOfProjectiveModules(B);
IsAlgebraHomomorphism(A,B,uu);
assert $1;
uu;
SetEchoInput(ei);
