Example : a GAP 4 package - References

[ALi06]
B. Assmann and S. Linton.
Using the Mal'cev correspondence for collection in polycyclic groups.
J. Algebra, 2007.
[Eick]
Bettina Eick.
Algorithms for polycyclic groups.
Habilitationsschrift, Gesamthochschule Kassel, 2001.
[Geb02]
V. Gebhardt.
Efficient collection in infinite polycyclic groups.
J. Symbolic Comput., 34 (3):213--228, 2002.
[LGS90]
C. R. Leedham-Green and L. H. Soicher.
Collection from the left and other strategies.
J. Symbolic Comput., 9:665 -- 675, 1990.
[Mal51]
A. J. Mal'cev.
On certain classes of infinite soluble groups.
Mat. Sb., 28:567 -- 588, 1951.
[Seg83]
D. Segal.
Polycyclic Groups.
Cambridge University Press, Cambridge, 1983.
[VLe90]
M. Vaughan-Lee.
Collection from the left.
J. Symbolic Comput., 9:725--733, 1990. %bibitem[EN00]Polycyclic %Bettina Eick and Werner Nickel. %newblockPolycyclic, 2000. %newblockA GAP 4 package, see GAP4. %bibitem[GAP04]GAP4 %The GAP Group. %newblockGAP -- Groups, Algorithms, and Programming, Version 4.4, % 2004. %newblockhttp://www.gap-system.org.

[Up]

Example manual
June 2007