The Relators( G ) command returns the relators of a finitely presented group.

$\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{Relators}\left(G\right)$

$\left\{\left[a\,a\right]\,\left[b\,b\,b\right]\,\left[a\,b\,a\,b\,a\,b\,a\,b\,a\,b\right]\right\}$

The GroupTheory[Relators] command was introduced in Maple 17.

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