The PresentationComplexity( G ) command returns a triple of the form (m, n, k), where m is the number of generators currently defined for G, n is the number of relators currently defined for G, and k is the total length of the relators.

$\mathrm{with}\left(\mathrm{GroupTheory}\right)\:$

$G≔⟨⟨a\,b⟩|⟨a^2\,b^3\,{\left(a·b\right)}^5=1⟩⟩$

$G≔⟨a\,b\mid a^2\,b^3\,ababababab⟩$

$\mathrm{PresentationComplexity}\left(G\right)$

$2,3,15$

The GroupTheory[PresentationComplexity] command was introduced in Maple 18.

For more information on Maple 18 changes, see Updates in Maple 18.