"Source: Text/Algebra/AlgBas.text";
"Line: 2079";
"Date: Thu Jun 16 15:34:16 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgBas.text, line: 2079
// Example: H92E14 ()
print "Example: H92E14";
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);
