[GAP Forum] How to find consistent polycyclic presentation

[Petr Savicky]

On Wed, Aug 26, 2015 at 04:02:08PM +0530, Vipul Kakkar wrote:
> Dear Prof Petr Savicky.
> Thank you very much for the reply.
> How can I see the defining relation for
> the first case?
 
Dear Vipul Kakkar:

The function printPcGroup from the previous email can be used
also for the first group:

  g:=SmallGroup(81,5);
  printPcGroup(g);

  Pcgs([ f1, f2, f3, f4 ])
  [ 3, 3, 3, 3 ]
  
  generator f1
  f1^3 = f3
  f2^f1 = f2
  f3^f1 = f3
  f4^f1 = f4
  
  generator f2
  f2^3 = <identity> of ...
  f3^f2 = f3
  f4^f2 = f4
  
  generator f3
  f3^3 = f4
  f4^f3 = f4
  
  generator f4
  f4^3 = <identity> of ...

Best regards,
Petr Savicky.