On 16 Oct 2008, at 22:10, Alexander Hulpke wrote:
Dear Forum,
On Oct 16, 2008, at 10/16/08 2:58, Christopher Jefferson wrote:
I have a group G on the points [1..n]. I know that for some m<n, G
maps the set of points [1..m] to itself. Is there an easy way I can
get G only on the points [1..m]?
ActionHomomorphism(G,[1..m],OnPoints,"surjective") gives a
homomorphism
or simply
Action(G,[1..m],OnPoints)
gives the group acting on [1..m]
Thanks
Chris
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum