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

Reply via email to