summaryrefslogtreecommitdiffstats
path: root/divers
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2011-12-14 22:21:46 +0100
committerDavid A. Madore <david+git@madore.org>2011-12-14 22:21:46 +0100
commit675749eba31920ba3159d88daf9d78967d941f22 (patch)
tree222ad880a95214f47f37dab09bcac55513d595b0 /divers
parent12e2fb62bbebba2196722858a9e8af62abbcbc60 (diff)
downloadgalois-675749eba31920ba3159d88daf9d78967d941f22.zip
galois-675749eba31920ba3159d88daf9d78967d941f22.tar.gz
galois-675749eba31920ba3159d88daf9d78967d941f22.tar.bz2
sageries: Changement de reprĆ©sentants de certaines classes de conjugaison de sous-groupe de š¯”–_6
Diffstat (limited to 'divers')
-rw-r--r--divers/sageries/sous-groupes-s614
1 files changed, 7 insertions, 7 deletions
diff --git a/divers/sageries/sous-groupes-s6 b/divers/sageries/sous-groupes-s6
index 4a17c8f..9c4b449 100644
--- a/divers/sageries/sous-groupes-s6
+++ b/divers/sageries/sous-groupes-s6
@@ -1,7 +1,7 @@
s6 = SymmetricGroup(6)
-tuplegens = [[[(1, 5, 3), (4, 2, 6)], [(1, 4), (5, 6), (3, 2)]], [[(1, 5, 3), (4, 2, 6)], [(1, 4), (5, 2), (3, 6)]], [[(5, 4), (3, 2)], [(1, 5, 3), (4, 2, 6)], [(1, 6), (3, 2)]], [[(5, 3), (2, 6)], [(1, 5, 3), (4, 2, 6)], [(1, 4), (5, 2), (3, 6)]], [[(4, 2, 6)], [(1, 5, 3)], [(1, 4), (5, 2), (3, 6)]], [[(3, 2)], [(5, 4)], [(1, 5, 3), (4, 2, 6)], [(1, 6)]], [[(5, 3), (4, 2)], [(5, 4), (3, 2)], [(1, 5, 3), (4, 2, 6)], [(1, 6), (3, 2)]], [[(5, 3, 4, 2)], [(5, 4), (3, 2)], [(1, 5, 3), (4, 2, 6)], [(1, 6), (3, 2)]], [[(4, 2, 6)], [(5, 3), (2, 6)], [(1, 5, 3)], [(1, 4), (5, 2), (3, 6)]], [[(4, 2, 6)], [(5, 3), (2, 6)], [(1, 5, 3)], [(1, 4), (5, 2, 3, 6)]], [[(3, 2)], [(5, 3), (4, 2)], [(5, 4)], [(1, 4, 3), (5, 2, 6)], [(1, 6)]], [[(1, 5, 3, 4, 6)], [(1, 4), (2, 6)]], [[(4, 2, 6)], [(4, 6)], [(5, 3)], [(1, 5, 3)], [(1, 4), (5, 2), (3, 6)]], [[(3, 4, 6, 2)], [(1, 2, 3, 6, 4)], [(1, 6), (5, 4)]], [[(4, 2, 6)], [(1, 5, 3, 4, 2)]], [[(1, 5)], [(1, 5, 3, 4, 2, 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]
-alsocontains = [(4, 0), (5, 1), (10, 1), (10, 3)]
+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]
def subgroup_up_to_conjugacy(g,h):
@@ -56,14 +56,14 @@ pols[14] = prod([S.gens()[i]-S.gens()[j] for j in range(6) for i in range(j)])
pols[13] = z1^2*z2^2*z3*z4 + z1*z2*z3^2*z4^2 + z1^2*z2*z3^2*z5 + z2^2*z3^2*z4*z5 + z1*z2^2*z4^2*z5 + z1^2*z3*z4^2*z5 + z1*z2^2*z3*z5^2 + z1^2*z2*z4*z5^2 + z1*z3^2*z4*z5^2 + z2*z3*z4^2*z5^2 + z1*z2^2*z3^2*z6 + z1^2*z3^2*z4*z6 + z1^2*z2*z4^2*z6 + z2^2*z3*z4^2*z6 + z1^2*z2^2*z5*z6 + z3^2*z4^2*z5*z6 + z1^2*z3*z5^2*z6 + z2*z3^2*z5^2*z6 + z2^2*z4*z5^2*z6 + z1*z4^2*z5^2*z6 + z1^2*z2*z3*z6^2 + z1*z2^2*z4*z6^2 + z2*z3^2*z4*z6^2 + z1*z3*z4^2*z6^2 + z2^2*z3*z5*z6^2 + z1*z3^2*z5*z6^2 + z1^2*z4*z5*z6^2 + z2*z4^2*z5*z6^2 + z1*z2*z5^2*z6^2 + z3*z4*z5^2*z6^2
pols[12] = z1*z3 + z2*z4 + z1*z5 + z3*z5 + z2*z6 + z4*z6
pols[11] = z1*z2*z3 + z1*z2*z4 + z1*z3*z5 + z2*z4*z5 + z3*z4*z5 + z2*z3*z6 + z1*z4*z6 + z3*z4*z6 + z1*z5*z6 + z2*z5*z6
-pols[10] = z2*z3 + z4*z5 + z1*z6
+pols[10] = z1*z4 + z2*z5 + z3*z6
pols[9] = z1^3*z2^2*z3*z4 + z1*z2^3*z3^2*z4 + z1*z2*z3^3*z4^2 + z1^2*z2*z3*z4^3 + z1^2*z2^3*z4*z5 + z2^2*z3^3*z4*z5 + z1^3*z2*z4^2*z5 + z2*z3^2*z4^3*z5 + z2^3*z3*z4*z5^2 + z1*z2*z4^3*z5^2 + z1*z2^2*z4*z5^3 + z2*z3*z4^2*z5^3 + z1^2*z2^3*z3*z6 + z1*z2^2*z3^3*z6 + z1^3*z3*z4^2*z6 + z1*z3^2*z4^3*z6 + z1^3*z2^2*z5*z6 + z2^3*z3^2*z5*z6 + z3^3*z4^2*z5*z6 + z1^2*z4^3*z5*z6 + z1*z2^3*z5^2*z6 + z3*z4^3*z5^2*z6 + z2^2*z3*z5^3*z6 + z1*z4^2*z5^3*z6 + z1^3*z2*z3*z6^2 + z1*z3^3*z4*z6^2 + z2*z3^3*z5*z6^2 + z1^3*z4*z5*z6^2 + z1*z2*z5^3*z6^2 + z3*z4*z5^3*z6^2 + z1*z2*z3^2*z6^3 + z1^2*z3*z4*z6^3 + z1^2*z2*z5*z6^3 + z3^2*z4*z5*z6^3 + z2*z3*z5^2*z6^3 + z1*z4*z5^2*z6^3
pols[8] = z1^2*z2^2*z3*z4 + z1*z2*z3^2*z4^2 + z2^2*z3^2*z4*z5 + z1^2*z2*z4^2*z5 + z1*z2^2*z4*z5^2 + z2*z3*z4^2*z5^2 + z1*z2^2*z3^2*z6 + z1^2*z3*z4^2*z6 + z1^2*z2^2*z5*z6 + z3^2*z4^2*z5*z6 + z2^2*z3*z5^2*z6 + z1*z4^2*z5^2*z6 + z1^2*z2*z3*z6^2 + z1*z3^2*z4*z6^2 + z2*z3^2*z5*z6^2 + z1^2*z4*z5*z6^2 + z1*z2*z5^2*z6^2 + z3*z4*z5^2*z6^2
-pols[7] = z1^3*z2^2*z4 + z1^2*z3^3*z4 + z1*z2^3*z4^2 + z1^3*z3*z4^2 + z1^2*z2*z4^3 + z1*z3^2*z4^3 + z1^2*z2^3*z5 + z1^3*z3^2*z5 + z1^3*z2*z5^2 + z1*z3^3*z5^2 + z1*z2^2*z5^3 + z1^2*z3*z5^3 + z3^3*z4^2*z6 + z2^2*z4^3*z6 + z2^3*z5^2*z6 + z3^2*z5^3*z6 + z2^3*z4*z6^2 + z3*z4^3*z6^2 + z3^3*z5*z6^2 + z2*z5^3*z6^2 + z3^2*z4*z6^3 + z2*z4^2*z6^3 + z2^2*z5*z6^3 + z3*z5^2*z6^3
-pols[6] = z1*z2*z4 + z1*z3*z5 + z3*z4*z6 + z2*z5*z6
-pols[5] = z1*z2*z3 + z2*z4*z5 + z3*z4*z5 + z2*z3*z6 + z1*z4*z6 + z1*z5*z6
+pols[7] = z1^3*z2^2*z3 + z1*z2^3*z3^2 + z1^2*z2*z3^3 + z2^2*z3^3*z4 + z2^3*z3*z4^2 + z2*z3^2*z4^3 + z1^3*z3^2*z5 + z3^3*z4^2*z5 + z1*z3^3*z5^2 + z3*z4^3*z5^2 + z1^2*z3*z5^3 + z3^2*z4*z5^3 + z1^2*z2^3*z6 + z2^2*z4^3*z6 + z1^3*z5^2*z6 + z4^2*z5^3*z6 + z1^3*z2*z6^2 + z2^3*z4*z6^2 + z4^3*z5*z6^2 + z1*z5^3*z6^2 + z1*z2^2*z6^3 + z2*z4^2*z6^3 + z1^2*z5*z6^3 + z4*z5^2*z6^3
+pols[6] = z1*z2*z3 + z3*z4*z5 + z2*z4*z6 + z1*z5*z6
+pols[5] = z1*z2*z4 + z2*z3*z5 + z1*z4*z5 + z1*z3*z6 + z3*z4*z6 + z2*z5*z6
pols[4] = z1^2*z3 + z2^2*z4 + z3^2*z5 + z1*z5^2 + z4^2*z6 + z2*z6^2
pols[3] = z1*z2 + z2*z3 + z3*z4 + z4*z5 + z1*z6 + z5*z6
-pols[2] = z1^3*z2^2*z4 + z1*z2^3*z4^2 + z1^2*z2*z4^3 + z1^3*z3^2*z5 + z1*z3^3*z5^2 + z1^2*z3*z5^3 + z3^3*z4^2*z6 + z2^3*z5^2*z6 + z3*z4^3*z6^2 + z2*z5^3*z6^2 + z3^2*z4*z6^3 + z2^2*z5*z6^3
+pols[2] = z1^3*z2^2*z3 + z1*z2^3*z3^2 + z1^2*z2*z3^3 + z3^3*z4^2*z5 + z3*z4^3*z5^2 + z3^2*z4*z5^3 + z2^2*z4^3*z6 + z1^3*z5^2*z6 + z2^3*z4*z6^2 + z1*z5^3*z6^2 + z2*z4^2*z6^3 + z1^2*z5*z6^3
pols[1] = z1^2*z2 + z2^2*z3 + z3^2*z4 + z4^2*z5 + z5^2*z6 + z1*z6^2
pols[0] = z1^2*z2*z3 + z2*z3*z4^2 + z3^2*z4*z5 + z1*z2^2*z6 + z1*z5^2*z6 + z4*z5*z6^2