"Source: Text/Group/GrpAtc.text";
"Line: 1125";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpAtc.text, line: 1125
// Example: H84E10 ()
print "Example: H84E10";
ei := GetEchoInput();
SetEchoInput(true);
R<x> := RationalFunctionField(Integers());
FG<a,b> := FreeGroup(2);
Q := quo< FG | a^5, b^2, a^b = a^-1>;
G := AutomaticGroup(Q);
f := GrowthFunction(G);
R!f;
FG2<d,e> := FreeGroup(2);
Q2 := quo<FG2| e^2, d^e = d^-1>;
G2 := AutomaticGroup(Q2);
f2 := GrowthFunction(G2);
R!f2;
PSR := PowerSeriesRing(Integers():Precision := 15);
Coefficients(PSR!f2);
SetEchoInput(ei);
