"Source: Text/Algebra/AlgBas.text";
"Line: 2097";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgBas.text, line: 2097
// Example: H94E14 ()
print "Example: H94E14";
ei := GetEchoInput();
SetEchoInput(true);
SetEchoInput(false);
load m11;
SetEchoInput(true);
A:= BasicAlgebraOfPrincipalBlock(G,GF(2));
A;
DimensionsOfProjectiveModules(A);
I := ideal<A|[A.9]>;
B, mu := quo<A|I>;
B;
P := ProjectiveModule(B,1);
P;
Q := ChangeAlgebras(P,A,mu);
Algebra(Q) eq A;
assert $1;
SetEchoInput(ei);
