"Source: Text/Group/GrpFP.text";
"Line: 10955";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 10955
// Example: H80E88 ()
print "Example: H80E88";
ei := GetEchoInput();
SetEchoInput(true);
G := FPGroup< a, b | a^2, b^3, (a*b)^9 >;
QG := L3Quotients(G); QG;
H := FPGroup< a, b | a^2, b^3, (a,b)^5, (a, b*a*b*a*b)^3 >;
L3Quotients(H);
K := FPGroup< a, b | a^2, b^3 >;
L3Quotients(K);
SpecifyCharacteristic(QG[1], 37);
X := SpecifyCharacteristic(QG[1], 2); X;
M := GetMatrices(X[1]);
M:Minimal;
LMGChiefFactors(M);
H< a, b > := FPGroup< a, b | a^2, b^3, (a,b)^5, (a, b*a*b*a*b)^3 >;
quot := L3Quotients(H); quot;
Q := quot[1];
AddGroupRelations(Q, [(a*b)^(2*3*5*7)]);      
Q := quot[1];
Q`Ideal;
R< xcom, x1, xm1, x2, xm2, x12, xm12, xm21, xm2m1, zeta > := Generic(Q`Ideal);
AddRingRelations(Q, [x12^5 + xm21^2 + 1]);
SetEchoInput(ei);
