[GAP Forum] Help with the Polycyclic package

nullgraph nullgraph at gmail.com
Thu Sep 29 15:40:19 BST 2011


Hello GAP forum,

I want to work with the Polycyclic package so I've installed and
successfully tested GAP, KASH and the Alnuth package in Ubuntu (if you
recall, I asked for help with installation a few days before in a Windows
environment but have since decided it might be faster to go with Linux). Now
I'm trying to check if my Polycyclic package is working well. I can
LoadPackage, I can also try a few simple command like:

DihedralPcpGroup(4);
Pcp-group with orders [ 2, 2 ]
DihedralPcpGroup(8);
Pcp-group with orders [ 2, 4 ]

But I don't know enough about Polycyclic groups to do more comprehensive
test. Is there a test somewhere that I can run to make sure that my
installation is correct?

Another question I have is the two built-in
functions ExampleOfMetabelianPcpGroup(a, k) and ExamplesOfSomePcpGroups(n).
The manual is not very clear on what they do so I'm not sure if what I get
is right. I would also want to see example of Pcp presentations of some
polycyclic groups and thought these two would be perfect, but again, I first
need to verify that they are working correctly. Here are a few things I
tried:

ExamplesOfSomePcpGroups(3);
Pcp-group with orders [ 0, 0 ]
ExamplesOfSomePcpGroups(5);
Pcp-group with orders [ 2, 0, 0, 0 ]
ExamplesOfSomePcpGroups(6);
Pcp-group with orders [ 0, 0, 0 ]

ExampleOfMetabelianPcpGroup(2,4);
Pcp-group with orders [ 0, 0, 0, 0, 0 ]
ExampleOfMetabelianPcpGroup(2,5);
Pcp-group with orders [ 0, 0, 0, 0, 0 ]
ExampleOfMetabelianPcpGroup(5,4);
Pcp-group with orders [ 0, 0, 0, 0, 0 ]
ExampleOfMetabelianPcpGroup(5,3);
Pcp-group with orders [ 0, 0, 0, 0, 0 ]

As you can see, all I get is zeroes, is this correct?

Thank you for reading,

Ha T. Lam


More information about the Forum mailing list