On Fri, 18 Jul 2008, Tim Steger wrote:
This possibility is explained a little by Havas in [Hav74b]. Suppose
we are interested only in the elementary-$p$-part of the
abelianization:
H / <[H,H] H^p> = (H / [H,H]) \otimes (Z/p)
It should be possible to calculate this using even less time and space
than the abelianization. Is such a variant available in GAP? In one
of the packages? In some non-GAP program?
The GAP 4 Package EDIM:
http://www.gap-system.org/Manuals/pkg/edim/xmldoc/chap0.html
enables you to do this.
Best wishes... George Havas http://www.itee.uq.edu.au/~havas
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
