"Source: Text/Algebra/AlgBas.text";
"Line: 3827";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgBas.text, line: 3827
// Example: H94E23 ()
print "Example: H94E23";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1);
G := SmallGroup(64,7);
Z := sub<G| Random(Center(G))>;
G;
#Z, [G!Z.i: i in [1 .. Ngens(Z)]];
Q, mu := quo<G|Z>;
A := BasicAlgebra(G);
B := BasicAlgebra(Q);
C := BasicAlgebra(Z);
k := SimpleModule(A,1);
kk := SimpleModule(B,1);
kkk := SimpleModule(C,1);
time R := CohomologyRing(k,17);
time S := CohomologyRing(kk,17);
time T := CohomologyRing(kkk,17);
R`RelationsIdeal,S`RelationsIdeal,T`RelationsIdeal;
Pr1 := k`CompactProjectiveResolution;
Pr2 := kk`CompactProjectiveResolution;
Pr3 := kkk`CompactProjectiveResolution;
Ac1 := k`AllCompactChainMaps;
Ac2 := kk`AllCompactChainMaps;
Ac3 := kkk`AllCompactChainMaps;
inf := InflationMap(Pr2,Pr1,Ac2,Ac1,R,mu);
inf;
res := RestrictionOfGenerators(Pr1,Pr3,Ac1,Ac3,T);
res;
MinimalRelations(R);
SetEchoInput(ei);
