Documentation

HexConway.PrimitiveProofs.S1_5

source
theorem Hex.Conway.primitive_281_1 :
Primitive 281 1 supportedEntry_281_1 [2, 5, 7] [3, 1, 1]

C(281, 1) has a generator of order 280.

source
theorem Hex.Conway.primitive_313_1 :
Primitive 313 1 supportedEntry_313_1 [2, 3, 13] [3, 1, 1]

C(313, 1) has a generator of order 312.

source
theorem Hex.Conway.primitive_373_1 :
Primitive 373 1 supportedEntry_373_1 [2, 3, 31] [2, 1, 1]

C(373, 1) has a generator of order 372.

source
theorem Hex.Conway.primitive_419_1 :
Primitive 419 1 supportedEntry_419_1 [2, 11, 19] [1, 1, 1]

C(419, 1) has a generator of order 418.

source
theorem Hex.Conway.primitive_457_1 :
Primitive 457 1 supportedEntry_457_1 [2, 3, 19] [3, 1, 1]

C(457, 1) has a generator of order 456.

source
theorem Hex.Conway.primitive_131_1 :
Primitive 131 1 supportedEntry_131_1 [2, 5, 13] [1, 1, 1]

C(131, 1) has a generator of order 130.

source
theorem Hex.Conway.primitive_157_1 :
Primitive 157 1 supportedEntry_157_1 [2, 3, 13] [2, 1, 1]

C(157, 1) has a generator of order 156.

source
theorem Hex.Conway.primitive_223_1 :
Primitive 223 1 supportedEntry_223_1 [2, 3, 37] [1, 1, 1]

C(223, 1) has a generator of order 222.

source
theorem Hex.Conway.primitive_67_1 :
Primitive 67 1 supportedEntry_67_1 [2, 3, 11] [1, 1, 1]

C(67, 1) has a generator of order 66.

source
theorem Hex.Conway.primitive_127_1 :
Primitive 127 1 supportedEntry_127_1 [2, 3, 7] [1, 2, 1]

C(127, 1) has a generator of order 126.

source
theorem Hex.Conway.primitive_587_1 :
Primitive 587 1 supportedEntry_587_1 [2, 293] [1, 1]

C(587, 1) has a generator of order 586.

source
theorem Hex.Conway.primitive_677_1 :
Primitive 677 1 supportedEntry_677_1 [2, 13] [2, 2]

C(677, 1) has a generator of order 676.

source
theorem Hex.Conway.primitive_797_1 :
Primitive 797 1 supportedEntry_797_1 [2, 199] [2, 1]

C(797, 1) has a generator of order 796.

source
theorem Hex.Conway.primitive_863_1 :
Primitive 863 1 supportedEntry_863_1 [2, 431] [1, 1]

C(863, 1) has a generator of order 862.

source
theorem Hex.Conway.primitive_983_1 :
Primitive 983 1 supportedEntry_983_1 [2, 491] [1, 1]

C(983, 1) has a generator of order 982.

source
theorem Hex.Conway.primitive_293_1 :
Primitive 293 1 supportedEntry_293_1 [2, 73] [2, 1]

C(293, 1) has a generator of order 292.

source
theorem Hex.Conway.primitive_359_1 :
Primitive 359 1 supportedEntry_359_1 [2, 179] [1, 1]

C(359, 1) has a generator of order 358.

source
theorem Hex.Conway.primitive_433_1 :
Primitive 433 1 supportedEntry_433_1 [2, 3] [4, 3]

C(433, 1) has a generator of order 432.

source
theorem Hex.Conway.primitive_487_1 :
Primitive 487 1 supportedEntry_487_1 [2, 3] [1, 5]

C(487, 1) has a generator of order 486.

source
theorem Hex.Conway.primitive_3_2 :
Primitive 3 2 supportedEntry_3_2 [2] [3]

C(3, 2) has a generator of order 8.

source
theorem Hex.Conway.primitive_163_1 :
Primitive 163 1 supportedEntry_163_1 [2, 3] [1, 4]

C(163, 1) has a generator of order 162.

source
theorem Hex.Conway.primitive_193_1 :
Primitive 193 1 supportedEntry_193_1 [2, 3] [6, 1]

C(193, 1) has a generator of order 192.

source
theorem Hex.Conway.primitive_251_1 :
Primitive 251 1 supportedEntry_251_1 [2, 5] [1, 3]

C(251, 1) has a generator of order 250.

source
theorem Hex.Conway.primitive_97_1 :
Primitive 97 1 supportedEntry_97_1 [2, 3] [5, 1]

C(97, 1) has a generator of order 96.