[GAP Forum] How to find consistent polycyclic presentation

[Vipul Kakkar]

Dear Members

How can I find consistent polycyclic presentation form
(1) the group that I chose from GAP library and
(2) the group that I define by FreeGroup/Relation.

For example, how to find consistent polycyclic presentation

for g:=SmallGroup(81,5); and

for f:=FreeGroup(2); g:=f/[f.1^4, f.2^2, (f.1*f.2)^2];

with regards

Vipul Kakkar