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. IdGro
> 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 ? It looks like there is
not much to do beyond these IdGroup in Sage since I guess they would
have gone beyond n=22 in Gap otherwi
It may be relevant to look at the canonical labelling used for Galois
grousp (see for example http://www.lmfdb.org/GaloisGroup/ and click on
the word "label").
John
On 10 April 2013 14:19, Nicolas M. Thiery wrote:
> Hi Christian,
>
> On Wed, Apr 10, 2013 at 07:59:49AM -0500, Christian St
Hi Christian,
On Wed, Apr 10, 2013 at 07:59:49AM -0500, Christian Stump wrote:
> I wonder if there is a way to get a canonical form of a subgroup of a
> permutation group (or, even better, any group). This would be
> something like a method "canonical_labeling" for permutation groups
> tha
