"Source: Text/Algebra/AlgBas.text";
"Line: 2630";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgBas.text, line: 2630
// Example: H94E18 ()
print "Example: H94E18";
ei := GetEchoInput();
SetEchoInput(true);
ff := GF(8);
FA<e1,e2,e3,e4,a,b,c,d,f> := FreeAlgebra(ff,9);
rrr := [b*c*f*a*b*d*b,a*b*c*f*a*b*c*f*a*b*c*f*a*b*c*f*a*b*c*f*a*b,
    b*d*b*d*b];
BA := BasicAlgebra(FA,rrr,4,[<1,2>,<2,3>,<3,4>,<3,2>,<4,1>]);
BA;
for i := 1 to 4 do
    S := SimpleModule(BA,i);
    prj := CompactProjectiveResolution(S, 5);
    SimpleHomologyDimensions(S);
end for;
for i := 1 to 4 do
    Dimension(Socle(ProjectiveModule(BA,i)));
end for;
SetEchoInput(ei);
