In addition to Martin Schoenert's announcement of GAP 3.3 I would
like to add the remark that GAP 3.3 provides a new function

AbelianInvariantsSubgroupFpGroup( G, H );

for computing the abelian invariants of a subgroup which is much
faster than the so far used expression

AbelianInvariants( CommutatorFactorGroup( FpGroupPresentation(
PresentationSubgroup( G, H ) ) ) );

Volkmar Felsch