From e8b1dd88502d24ae8ce99dd1c6caac68734888b6 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 22 Dec 2011 14:03:17 +0100
Subject: =?UTF-8?q?sageries:=20noms=20des=20sous-groupes=20de=20?=
 =?UTF-8?q?=F0=9D=94=96=5F6?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit


diff --git a/divers/sageries/sous-groupes-s6 b/divers/sageries/sous-groupes-s6
index 9c4b449..a8a1cc6 100644
--- a/divers/sageries/sous-groupes-s6
+++ b/divers/sageries/sous-groupes-s6
@@ -1,6 +1,8 @@
 s6 = SymmetricGroup(6)
 tuplegens = [[[(1, 4), (2, 3), (5, 6)], [(1, 5, 3), (2, 6, 4)]], [[(1, 4), (2, 5), (3, 6)], [(1, 5, 3), (2, 6, 4)]], [[(2, 5), (3, 6)], [(1, 4), (2, 5)], [(1, 6, 5), (2, 4, 3)]], [[(2, 6), (3, 5)], [(1, 4), (2, 5), (3, 6)], [(1, 5, 3), (2, 6, 4)]], [[(2, 6, 4)], [(1, 4), (2, 5), (3, 6)], [(1, 5, 3)]], [[(3, 6)], [(2, 5)], [(1, 4)], [(1, 6, 5), (2, 4, 3)]], [[(2, 3), (5, 6)], [(2, 5), (3, 6)], [(1, 4), (2, 5)], [(1, 6, 5), (2, 4, 3)]], [[(2, 5), (3, 6)], [(2, 6, 5, 3)], [(1, 4), (2, 5)], [(1, 6, 5), (2, 4, 3)]], [[(2, 6, 4)], [(2, 6), (3, 5)], [(1, 4), (2, 5), (3, 6)], [(1, 5, 3)]], [[(2, 6, 4)], [(2, 6), (3, 5)], [(1, 4), (2, 3, 6, 5)], [(1, 5, 3)]], [[(3, 6)], [(2, 3), (5, 6)], [(2, 5)], [(1, 3, 5), (2, 4, 6)], [(1, 4)]], [[(1, 4), (2, 6)], [(1, 5, 3, 4, 6)]], [[(4, 6)], [(3, 5)], [(2, 6, 4)], [(1, 4), (2, 5), (3, 6)], [(1, 5, 3)]], [[(2, 3, 4, 6)], [(1, 2, 3, 6, 4)], [(1, 6), (4, 5)]], [[(2, 6, 4)], [(1, 5, 3, 4, 2)]], [[(1, 2, 3, 4, 5, 6)], [(1, 2)]]]
 groups = [s6.subgroup(l) for l in tuplegens]
+a6 = [h for h in groups if h.order()==360][0]
+groupdesc = [(h.order(), gap.StructureDescription(h), h.is_subgroup(a6), s6.order()/s6.normalizer(h).order()) for h in groups]
 alsocontains = [(4, 0), (11, 2), (13, 2), (13, 7)]
 strictcontains = [(i,j) for i in range(16) for j in range(16) if groups[j].is_subgroup(groups[i])]
 contains = [(i,j) for i in range(16) for j in range(16) if (i,j) in strictcontains or (i,j) in alsocontains]
-- 
cgit v0.10.2