I have a question about Presentation of subgroups
of finitely presented subgroups. It is maybe trivial
but I do not find an answer in the manuals.
If we give a subgroup by a list of generators,
is it possible to describe these generators
in term of the new generators obtained by
either PresentationSubgroup or PresentationNormalClosure?
Thanks in advance, Enrique ARTAL.