Documentation

HexConway.PrimitiveProofs.S0_0

C(2, 16) has a generator of order 65535.

theorem Hex.Conway.primitive_173_4 :
Primitive 173 4 supportedEntry_173_4 [2, 3, 5, 29, 41, 43, 73] [4, 1, 1, 1, 1, 1, 1]

C(173, 4) has a generator of order 895745040.

theorem Hex.Conway.primitive_233_4 :
Primitive 233 4 supportedEntry_233_4 [2, 3, 5, 13, 29, 61, 89] [5, 2, 1, 1, 1, 1, 1]

C(233, 4) has a generator of order 2947295520.

theorem Hex.Conway.primitive_283_4 :
Primitive 283 4 supportedEntry_283_4 [2, 3, 5, 47, 71, 8009] [4, 1, 1, 1, 1, 1]

C(283, 4) has a generator of order 6414247920.

theorem Hex.Conway.primitive_131_4 :
Primitive 131 4 supportedEntry_131_4 [2, 3, 5, 11, 13, 8581] [4, 1, 1, 1, 1, 1]

C(131, 4) has a generator of order 294499920.

C(151, 4) has a generator of order 519885600.

C(197, 4) has a generator of order 1506138480.

theorem Hex.Conway.primitive_241_4 :
Primitive 241 4 supportedEntry_241_4 [2, 3, 5, 11, 113, 257] [6, 1, 1, 2, 1, 1]

C(241, 4) has a generator of order 3373402560.

C(271, 4) has a generator of order 5393580480.

theorem Hex.Conway.primitive_103_4 :
Primitive 103 4 supportedEntry_103_4 [2, 3, 5, 13, 17, 1061] [5, 1, 1, 1, 1, 1]

C(103, 4) has a generator of order 112550880.

C(7, 6) has a generator of order 117648.

C(43, 4) has a generator of order 3418800.

C(97, 4) has a generator of order 88529280.

C(5, 7) has a generator of order 78124.

C(59, 4) has a generator of order 12117360.

theorem Hex.Conway.primitive_991_3 :
Primitive 991 3 supportedEntry_991_3 [2, 3, 5, 7, 11, 13, 277] [1, 3, 1, 1, 1, 2, 1]

C(991, 3) has a generator of order 973242270.

theorem Hex.Conway.primitive_809_3 :
Primitive 809 3 supportedEntry_809_3 [2, 7, 13, 19, 101, 379] [3, 1, 1, 1, 1, 1]

C(809, 3) has a generator of order 529475128.

C(877, 3) has a generator of order 674526132.

theorem Hex.Conway.primitive_997_3 :
Primitive 997 3 supportedEntry_997_3 [2, 3, 13, 31, 83, 823] [2, 2, 1, 1, 1, 1]

C(997, 3) has a generator of order 991026972.

theorem Hex.Conway.primitive_211_3 :
Primitive 211 3 supportedEntry_211_3 [2, 3, 5, 7, 13, 31, 37] [1, 2, 1, 1, 1, 1, 1]

C(211, 3) has a generator of order 9393930.

C(331, 3) has a generator of order 36264690.

C(3, 7) has a generator of order 2186.

C(599, 3) has a generator of order 214921798.

C(617, 3) has a generator of order 234885112.