Commit 057b6f4e authored by Gonzalo Tornaria's avatar Gonzalo Tornaria

Include fields for 277

parent 9f9c8681
S20:=Sym(20);
TR20n:=[
sub<S20|
[
(8, 16)(12, 20),
(9, 17)(11, 19),
(1, 8, 19, 5, 9, 14)(2, 15, 12, 4, 7, 20)(3, 16, 11, 13, 17, 6)(10, 18),
(1, 3)(2, 14, 4, 6)(5, 20)(8, 16)(9, 10)(11, 19)(12, 13)(17, 18),
(1, 19, 9, 18)(2, 8, 13, 15)(3, 11, 17, 10)(4, 16, 5, 7)(6, 20)(12, 14),
(1, 3)(12, 20),
(1, 10)(2, 4)(3, 18)(6, 12)(7, 16, 15, 8)(9, 19)(11, 17)(14, 20),
(6, 14)(9, 17),
(2, 4)(9, 17),
(7, 15)(12, 20),
(11, 19)(12, 20),
(1, 19, 3, 11)(2, 5)(4, 13)(6, 12)(7, 15)(9, 10)(14, 20)(17, 18),
(5, 13)(9, 17),
(10, 18)(12, 20)
]
>,
sub<S20|
[
(1, 8, 11, 18)(2, 13)(3, 12)(4, 19, 14, 9)(5, 7)(15, 17),
(1, 18)(4, 15)(5, 14)(7, 9, 17, 19)(8, 11),
(6, 16),
(1, 13, 20, 19, 16)(2, 5, 17, 8, 4)(3, 10, 9, 6, 11)(7, 18, 14, 12, 15),
(9, 19),
(3, 13),
(2, 12),
(10, 20),
(1, 11),
(2, 18)(3, 13)(5, 10)(6, 7, 16, 17)(8, 12)(9, 19)(15, 20),
(8, 18),
(5, 15),
(4, 14),
(1, 3, 11, 13)(2, 8)(4, 14)(5, 17, 15, 7)(6, 10, 16, 20)(12, 18),
(7, 17)
]
>,
sub<S20|
[
(1, 10, 11, 20)(2, 15, 12, 5)(4, 18, 14, 8)(7, 17),
(1, 3, 18)(2, 20, 6, 17, 9, 4)(7, 19, 14, 12, 10, 16)(8, 11, 13),
(1, 11)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19),
(4, 14)(5, 15)(7, 17)(10, 20),
(2, 12)(5, 15)(6, 16)(9, 19),
(3, 13)(5, 15)(6, 16)(7, 17)(8, 18)(10, 20),
(5, 15)(8, 18)(9, 19)(10, 20)
]
>,
sub<S20|
[
(1, 15, 11, 5)(3, 10)(4, 6, 14, 16)(7, 17)(9, 19)(13, 20),
(1, 11)(2, 10, 6, 12, 20, 16)(3, 5, 14, 18, 9, 17)(4, 8, 19, 7, 13, 15),
(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17),
(1, 11)(6, 16)(7, 17)(9, 19),
(4, 14)(5, 15)(7, 17)(9, 19),
(1, 11)(2, 12)(4, 14)(8, 18),
(1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
]
>,
sub<S20|
[
(1, 4, 11, 14)(3, 7, 13, 17)(5, 15)(8, 18)(9, 20)(10, 19),
(1, 5, 20)(2, 9, 7, 14, 8, 6)(4, 18, 16, 12, 19, 17)(10, 11, 15),
(1, 11)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20),
(3, 13)(4, 14)(5, 15)(6, 16)(8, 18)(9, 19)(10, 20),
(2, 12)(3, 13)(5, 15)(7, 17)(8, 18)(9, 19)(10, 20),
(1, 11)(2, 12)(3, 13)(6, 16)(7, 17)(8, 18)(10, 20),
(1, 11)(3, 13)(4, 14)(6, 16)(7, 17)(9, 19)(10, 20),
(1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
]
>,
sub<S20|
[
(1, 5, 4, 2)(3, 6)(8, 16, 15, 9)(12, 20, 19, 13),
(1, 7, 8)(2, 17, 6, 11, 9, 19, 5, 10, 3, 18, 16, 12)(4, 14, 15)(13, 20),
(7, 14)(8, 15)(9, 16)(10, 17),
(1, 4)(3, 6)(8, 15)(12, 19),
(2, 5)(3, 6)(9, 16)(13, 20),
(10, 17)(11, 18)(12, 19)(13, 20)
]
>,
sub<S20|
[
(1, 18)(2, 12)(3, 13)(5, 7, 15, 17)(6, 9, 16, 19)(8, 11)(10, 20),
(1, 7, 13)(2, 4, 8, 6, 5, 20)(3, 11, 17)(9, 19)(10, 12, 14, 18, 16, 15),
(2, 12)(5, 15)(7, 17)(8, 18)(9, 19)(10, 20),
(1, 11)(2, 12)(5, 15)(6, 16)(7, 17)(10, 20),
(1, 11)(3, 13)(5, 15)(6, 16)(8, 18)(10, 20),
(2, 12)(3, 13)(4, 14)(6, 16)(9, 19)(10, 20),
(1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
]
>,
sub<S20|
[
(2, 16, 12, 6)(3, 15, 13, 5)(4, 9, 14, 19)(8, 18)(10, 20),
(1, 2, 5, 4, 7, 8, 11, 12, 15, 14, 17, 18)(3, 13)(6, 9, 20, 16, 19, 10),
(1, 11)(2, 12)(4, 14)(6, 16)(7, 17)(9, 19),
(5, 15)(6, 16)(8, 18)(9, 19),
(2, 12)(6, 16)(7, 17)(10, 20),
(3, 13)(4, 14)(6, 16)(7, 17)(8, 18)(10, 20),
(4, 14)(7, 17)(8, 18)(9, 19)
]
>,
sub<S20|
[
(2, 4)(12, 20),
(5, 13)(12, 20),
(6, 14)(9, 17),
(1, 9, 3, 17)(2, 15, 4, 7)(5, 14)(6, 13)(8, 16)(10, 19, 18, 11),
(5, 13)(8, 16),
(1, 3)(8, 16),
(7, 15)(12, 20),
(1, 3)(2, 14, 4, 6)(5, 7)(8, 20)(10, 19)(11, 18)(12, 16)(13, 15),
(1, 10, 8, 3, 18, 16)(2, 11, 13, 9, 15, 12, 4, 19, 5, 17, 7, 20)(6, 14),
(1, 10, 3, 18)(2, 15)(4, 7)(6, 14)(9, 11)(12, 20)(17, 19),
(10, 18)(12, 20),
(6, 14)(12, 20),
(6, 14)(11, 19),
(2, 4)(5, 7, 13, 15)(6, 14)(8, 18)(9, 17)(10, 16)(11, 12, 19, 20)
]
>,
sub<S20|
[
(7, 15)(8, 14)(9, 16)(10, 18)(11, 17)(12, 20)(13, 19),
(2, 7)(3, 17)(5, 14)(6, 10)(9, 13)(12, 19)(16, 20),
(1, 2, 3)(4, 5, 6)(7, 19, 10)(8, 20, 11)(12, 17, 14)(13, 18, 15)
]
>,
sub<S20|
[
(1, 15, 5, 9)(2, 19, 6, 13)(4, 18, 8, 12),
(1, 6, 12, 11, 10, 3)(2, 18, 17, 16, 7, 5)(4, 14, 9)(8, 20, 15)(13, 19),
(1, 5)(10, 16)(12, 18)(13, 19),
(2, 6)(4, 8)(9, 15)(10, 16),
(1, 5)(2, 6)(3, 7)(9, 15)(13, 19)(14, 20),
(1, 5)(2, 6)(3, 7)(10, 16)(11, 17)(12, 18)
]
>,
sub<S20|
[
(1, 3)(2, 12)(4, 13)(5, 18)(6, 7)(8, 17)(9, 14)(10, 19)(11, 20)(15, 16),
(1, 20, 15, 4)(2, 11, 6, 13)(3, 16)(5, 9, 17, 19)(7, 12)(8, 10, 14, 18),
(1, 15)(2, 6)(4, 20)(5, 17)(8, 14)(9, 19)(10, 18)(11, 13),
(1, 14)(2, 5)(3, 9)(4, 8)(12, 18)(13, 17),
(1, 2)(3, 12)(4, 13)(5, 14)(6, 15)(7, 16)(8, 17)(9, 18)(10, 19)(11, 20),
(1, 15)(2, 6)(3, 16)(5, 9)(7, 12)(8, 10)(14, 18)(17, 19)
]
>,
sub<S20|
[
(3, 20)(4, 16)(5, 17)(6, 14)(7, 15)(9, 19)(10, 13),
(1, 9, 8, 10, 16, 15)(2, 13, 7, 12, 3, 17)(5, 11, 19, 18, 20, 6),
(1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
]
>,
sub<S20|
[
(1, 12, 11, 2)(3, 13)(4, 14)(5, 6, 15, 16)(7, 19, 17, 9)(8, 18)(10, 20),
(1, 8, 7, 11, 18, 17)(2, 4, 20, 3, 19, 6, 12, 14, 10, 13, 9, 16)(5, 15),
(3, 13)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19),
(1, 11)(2, 12)(4, 14)(5, 15)(6, 16)(8, 18),
(2, 12)(3, 13)(6, 16)(7, 17)(8, 18)(10, 20),
(1, 11)(6, 16)(7, 17)(10, 20)
]
>,
sub<S20|
[
(1, 5, 2, 14)(3, 9, 12, 18)(4, 13)(6, 15)(7, 11, 16, 20)(8, 17),
(1, 18, 13, 19, 17, 16)(2, 9, 4, 10, 8, 7)(3, 15, 20, 12, 6, 11)(5, 14),
(5, 14)(7, 16)(9, 18)(10, 19),
(1, 2)(3, 12)(10, 19)(11, 20),
(1, 2)(4, 13)(7, 16)(8, 17)(9, 18)(10, 19),
(4, 13)(6, 15)(7, 16)(11, 20)
]
>,
sub<S20|
[
(1, 17)(2, 8)(3, 13)(4, 14)(5, 12)(6, 10)(7, 15)(11, 20)(16, 19),
(1, 11, 18, 4, 6, 3)(2, 20, 9, 14, 16, 12)(7, 19, 8, 15, 10, 17)
]
>,
sub<S20|
[
(1, 3)(2, 14)(4, 12)(5, 10)(6, 9)(11, 13)(15, 20)(16, 18),
(1, 4)(2, 12)(3, 13)(5, 15)(6, 19)(7, 18)(8, 16)(9, 17)(10, 20)(11, 14),
(1, 16, 2)(3, 17, 15)(4, 10, 8)(5, 13, 7)(6, 12, 11)(14, 20, 19),
(1, 14)(2, 3)(4, 11)(6, 9)(7, 8)(12, 13)(16, 18)(17, 19),
(1, 12)(2, 11)(3, 13)(4, 14)(5, 17)(6, 16)(7, 15)(8, 20)(9, 18)(10, 19)
]
>];
This diff is collapsed.
......@@ -2,8 +2,8 @@ ZZ := IntegerRing();
ZZx<x> := PolynomialRing(ZZ);
/// DATA for C277
load "../Brumer_S5/TR20n";
load "../Brumer_S5/test277Gal20";
load "277-fields/TR20n";
load "277-fields/test277Gal20";
K0 := NumberField(CAND277_10[1,3]);
residual_traces := [<5,1>];
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment