Documentation

HexConway.PrimitiveProofs.S2_5

source
theorem Hex.Conway.primitive_277_1 :
Primitive 277 1 supportedEntry_277_1 [2, 3, 23] [2, 1, 1]

C(277, 1) has a generator of order 276.

source
theorem Hex.Conway.primitive_311_1 :
Primitive 311 1 supportedEntry_311_1 [2, 5, 31] [1, 1, 1]

C(311, 1) has a generator of order 310.

source
theorem Hex.Conway.primitive_367_1 :
Primitive 367 1 supportedEntry_367_1 [2, 3, 61] [1, 1, 1]

C(367, 1) has a generator of order 366.

source
theorem Hex.Conway.primitive_409_1 :
Primitive 409 1 supportedEntry_409_1 [2, 3, 17] [3, 1, 1]

C(409, 1) has a generator of order 408.

source
theorem Hex.Conway.primitive_443_1 :
Primitive 443 1 supportedEntry_443_1 [2, 13, 17] [1, 1, 1]

C(443, 1) has a generator of order 442.

source
theorem Hex.Conway.primitive_499_1 :
Primitive 499 1 supportedEntry_499_1 [2, 3, 83] [1, 1, 1]

C(499, 1) has a generator of order 498.

source
theorem Hex.Conway.primitive_191_1 :
Primitive 191 1 supportedEntry_191_1 [2, 5, 19] [1, 1, 1]

C(191, 1) has a generator of order 190.

source
theorem Hex.Conway.primitive_239_1 :
Primitive 239 1 supportedEntry_239_1 [2, 7, 17] [1, 1, 1]

C(239, 1) has a generator of order 238.

source
theorem Hex.Conway.primitive_79_1 :
Primitive 79 1 supportedEntry_79_1 [2, 3, 13] [1, 1, 1]

C(79, 1) has a generator of order 78.

source
theorem Hex.Conway.primitive_563_1 :
Primitive 563 1 supportedEntry_563_1 [2, 281] [1, 1]

C(563, 1) has a generator of order 562.

source
theorem Hex.Conway.primitive_593_1 :
Primitive 593 1 supportedEntry_593_1 [2, 37] [4, 1]

C(593, 1) has a generator of order 592.

source
theorem Hex.Conway.primitive_719_1 :
Primitive 719 1 supportedEntry_719_1 [2, 359] [1, 1]

C(719, 1) has a generator of order 718.

source
theorem Hex.Conway.primitive_809_1 :
Primitive 809 1 supportedEntry_809_1 [2, 101] [3, 1]

C(809, 1) has a generator of order 808.

source
theorem Hex.Conway.primitive_887_1 :
Primitive 887 1 supportedEntry_887_1 [2, 443] [1, 1]

C(887, 1) has a generator of order 886.

source
theorem Hex.Conway.primitive_43_1 :
Primitive 43 1 supportedEntry_43_1 [2, 3, 7] [1, 1, 1]

C(43, 1) has a generator of order 42.

source
theorem Hex.Conway.primitive_263_1 :
Primitive 263 1 supportedEntry_263_1 [2, 131] [1, 1]

C(263, 1) has a generator of order 262.

source
theorem Hex.Conway.primitive_347_1 :
Primitive 347 1 supportedEntry_347_1 [2, 173] [1, 1]

C(347, 1) has a generator of order 346.

source
theorem Hex.Conway.primitive_389_1 :
Primitive 389 1 supportedEntry_389_1 [2, 97] [2, 1]

C(389, 1) has a generator of order 388.

source
theorem Hex.Conway.primitive_467_1 :
Primitive 467 1 supportedEntry_467_1 [2, 233] [1, 1]

C(467, 1) has a generator of order 466.

source
theorem Hex.Conway.primitive_509_1 :
Primitive 509 1 supportedEntry_509_1 [2, 127] [2, 1]

C(509, 1) has a generator of order 508.

source
theorem Hex.Conway.primitive_167_1 :
Primitive 167 1 supportedEntry_167_1 [2, 83] [1, 1]

C(167, 1) has a generator of order 166.

source
theorem Hex.Conway.primitive_197_1 :
Primitive 197 1 supportedEntry_197_1 [2, 7] [2, 2]

C(197, 1) has a generator of order 196.

source
theorem Hex.Conway.primitive_31_1 :
Primitive 31 1 supportedEntry_31_1 [2, 3, 5] [1, 1, 1]

C(31, 1) has a generator of order 30.

source
theorem Hex.Conway.primitive_101_1 :
Primitive 101 1 supportedEntry_101_1 [2, 5] [2, 2]

C(101, 1) has a generator of order 100.