
gap/basic:

Basic functions to compute with infinite polycyclic groups.
Incorporates everything related to collecting and elements
of pcp groups. Further, includes computation with subgroups
and factor groups of pcp groups as well as homomorphisms.

collect.gd/gi  --   from the left collector
pcpelms.gd/gi  --   pcp elements
pcpgrps.gd/gi  --   groups of pcp elements
pcppcps.gd/gi  --   induced and canonical pcp's of groups
pcppara.gi     --   parallel pcp's
pcpexpo.gd/gi  --   exponents wrt induced/mod pc
pcpsers.gd/gi  --   various series' in pcp groups
grphoms.gd/gi  --   group homomorphisms
pcpfact.gd/gi  --   factor groups and modulo pcp 's
pcplib.gd/gi   --   some generic pcp groups (AbelianPcpGroup etc)
convert.gi     --   convert PcGroup to PcpGroup and vice versa
chngpcp.gi     --   change defining pcp (RefinedPcp etc)

intmat.gi      --   integer matrix stuff - should go into the gap library?

