On Thursday, April 11, 2013 2:49:10 AM UTC+1, Christian Stump wrote: > > In GAP one would just IdGroup() to get a unique label. > > Is this given for any finite group in GAP, or is this depending on > http://www.gap-system.org/Packages/sgl.html ?
This depends on the small groups library. IdGroup() returns the group's label in the sgl. The label is a pair (order, consecutive integer). Identification is done by computing various invariants (e.g. Abelian, Solvable, Nilpotent, ...) and then doing isomorphism tests for the remaining possibilities. Plus extra rules for special classes of groups (e.g. if the order is a product of three primes) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
