"Source: Text/Algebra/AlgBas.text";
"Line: 808";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgBas.text, line: 808
// Example: H94E4 ()
print "Example: H94E4";
ei := GetEchoInput();
SetEchoInput(true);
ff := GF(7);
FA<e1,e2,e3,a,b,c> := FreeAlgebra(ff,6);
rrr := [a*b*a*b*a*b];
D := BasicAlgebra(FA,rrr,3,[<1,2>,<2,1>,<2,3>]);
D;
DimensionsOfProjectiveModules(D);
DimensionsOfInjectiveModules(D);
S := NonIdempotentGenerators(D);
S;
S2 := [x*y:x in S, y in S|x*y ne 0];
#S2;
assert $1 eq 3;
S3 := [x*y:x in S2, y in S|x*y ne 0];
#S3;
assert $1 eq 3;
S4 := [x*y:x in S3, y in S|x*y ne 0];
#S4;
assert $1 eq 3;
S5 := [x*y:x in S4, y in S|x*y ne 0];
#S5;
assert $1 eq 3;
S6 := [x*y:x in S5, y in S|x*y ne 0];
#S6;
assert $1 eq 2;
S7 := [x*y:x in S6, y in S|x*y ne 0];
#S7;
assert $1 eq 1;
S8 := [x*y:x in S7, y in S|x*y ne 0];
#S8;
assert $1 eq 0;
SetEchoInput(ei);
