Shown below are Aitchison's March 2018 M24 permutations
and their relabeling, with digits only, for MAGMA checking.
In the versions below, r g b stand for red, green, blue.
Infinity has been replaced by 7 (because a digit was needed,
and the position of the infinity symbol in the Aitchison cube
was suited to the digit 7).
(r7,r1)(b2,g4)(r3,r5)(r6,g0)
mu0= (g7,g2)(r4,b1)(g6,g3)(g5,b0)
(b7,b4)(g1,r2)(b5,b6)(b3,r0)
mu1 = (r7,r2,)(b3,g5)(r4,r6)(r0,g1)
(g7,g3)(r5,b2)(g0,g4)(g6,b1)
(b7,b5)(g2,r3)(b6,b0)(b4,r1)
mu2 = (r7,r3)(b4,g6)(r5,r0)(r1,g2)
(g7,g4)(r6,b3)(g1,g5)(g0,b2)
(b7,b6)(g3,r4)(b0,b1)(b5,r2)
mu3 = (r7,r4)(b5,g0)(r6,r1)(r2,g3)
(g7,g5)(r0,b4)(g2,g6)(g1,b3)
(b7,b0)(g4,r5)(b1,b2)(b6,r3)
mu4 = (r7,r5)(b6,g1)(r0,r2)(r3,g4)
(g7,g6)(r1,b5)(g3,g0)(g2,b4)
(b7,b1)(g5,r6)(b2,b3)(b0,r4)
mu5 = (r7,r6)(b0,g2)(r1,r3)(r4,g5)
(g7,g0)(r2,b6)(g4,g1)(g3,b5)
(b7,b2)(g6,r0)(b3,b4)(b1,r5)
mu6 = (r7,r0)(b1,g3)(r2,r4)(r5,g6)
(g7,g1)(r3,b0)(g5,g2)(g4,b6)
(b7,b3)(g0,r1)(b4,b5)(b2,r6)
Table 1 —
0 1 2 3 4 5 6 7
r 1 2 3 4 5 6 7 8
g 9 10 11 12 13 14 15 16
b 17 18 19 20 21 22 23 24
The wReplace program was used with Table 1 above
to rewrite mu0-mu6 for MAGMA.
The resulting code for MAGMA —
G := sub< Sym(24) |
(8,3)(20,14)(5,7)(1,10)
(8,4)(21,15)(6,1)(2,11)
(8,5)(22,9)(7,2)(3,12)
(8,6)(23,10)(1,3)(4,13)
(8,7)(17,11)(2,4)(5,14)
(8,1)(18,12)(3,5)(6,15)
G; |
The Aitchison generators passed the MAGMA test.