From e8b1dd88502d24ae8ce99dd1c6caac68734888b6 Mon Sep 17 00:00:00 2001 From: "David A. Madore" 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 --- divers/sageries/sous-groupes-s6 | 2 ++ 1 file changed, 2 insertions(+) (limited to 'divers') 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 v1.2.1