Documentation

HexConway.PrimitiveProofs.S0_4

source
theorem Hex.Conway.primitive_257_2 :
Primitive 257 2 supportedEntry_257_2 [2, 3, 43] [9, 1, 1]

C(257, 2) has a generator of order 66048.

source
theorem Hex.Conway.primitive_487_2 :
Primitive 487 2 supportedEntry_487_2 [2, 3, 61] [4, 5, 1]

C(487, 2) has a generator of order 237168.

source
theorem Hex.Conway.primitive_73_2 :
Primitive 73 2 supportedEntry_73_2 [2, 3, 37] [4, 2, 1]

C(73, 2) has a generator of order 5328.

source
theorem Hex.Conway.primitive_97_2 :
Primitive 97 2 supportedEntry_97_2 [2, 3, 7] [6, 1, 2]

C(97, 2) has a generator of order 9408.

source
theorem Hex.Conway.primitive_29_2 :
Primitive 29 2 supportedEntry_29_2 [2, 3, 5, 7] [3, 1, 1, 1]

C(29, 2) has a generator of order 840.

source
theorem Hex.Conway.primitive_3_3 :
Primitive 3 3 supportedEntry_3_3 [2, 13] [1, 1]

C(3, 3) has a generator of order 26.

source
theorem Hex.Conway.primitive_17_2 :
Primitive 17 2 supportedEntry_17_2 [2, 3] [5, 2]

C(17, 2) has a generator of order 288.

source
theorem Hex.Conway.primitive_7_2 :
Primitive 7 2 supportedEntry_7_2 [2, 3] [4, 1]

C(7, 2) has a generator of order 48.

source
theorem Hex.Conway.primitive_661_1 :
Primitive 661 1 supportedEntry_661_1 [2, 3, 5, 11] [2, 1, 1, 1]

C(661, 1) has a generator of order 660.

source
theorem Hex.Conway.primitive_967_1 :
Primitive 967 1 supportedEntry_967_1 [2, 3, 7, 23] [1, 1, 1, 1]

C(967, 1) has a generator of order 966.

source
theorem Hex.Conway.primitive_463_1 :
Primitive 463 1 supportedEntry_463_1 [2, 3, 7, 11] [1, 1, 1, 1]

C(463, 1) has a generator of order 462.

source
theorem Hex.Conway.primitive_601_1 :
Primitive 601 1 supportedEntry_601_1 [2, 3, 5] [3, 1, 2]

C(601, 1) has a generator of order 600.

source
theorem Hex.Conway.primitive_619_1 :
Primitive 619 1 supportedEntry_619_1 [2, 3, 103] [1, 1, 1]

C(619, 1) has a generator of order 618.

source
theorem Hex.Conway.primitive_673_1 :
Primitive 673 1 supportedEntry_673_1 [2, 3, 7] [5, 1, 1]

C(673, 1) has a generator of order 672.

source
theorem Hex.Conway.primitive_727_1 :
Primitive 727 1 supportedEntry_727_1 [2, 3, 11] [1, 1, 2]

C(727, 1) has a generator of order 726.

source
theorem Hex.Conway.primitive_751_1 :
Primitive 751 1 supportedEntry_751_1 [2, 3, 5] [1, 1, 3]

C(751, 1) has a generator of order 750.

source
theorem Hex.Conway.primitive_811_1 :
Primitive 811 1 supportedEntry_811_1 [2, 3, 5] [1, 4, 1]

C(811, 1) has a generator of order 810.

source
theorem Hex.Conway.primitive_829_1 :
Primitive 829 1 supportedEntry_829_1 [2, 3, 23] [2, 2, 1]

C(829, 1) has a generator of order 828.

source
theorem Hex.Conway.primitive_883_1 :
Primitive 883 1 supportedEntry_883_1 [2, 3, 7] [1, 2, 2]

C(883, 1) has a generator of order 882.

source
theorem Hex.Conway.primitive_941_1 :
Primitive 941 1 supportedEntry_941_1 [2, 5, 47] [2, 1, 1]

C(941, 1) has a generator of order 940.

source
theorem Hex.Conway.primitive_997_1 :
Primitive 997 1 supportedEntry_997_1 [2, 3, 83] [2, 1, 1]

C(997, 1) has a generator of order 996.

source
theorem Hex.Conway.primitive_283_1 :
Primitive 283 1 supportedEntry_283_1 [2, 3, 47] [1, 1, 1]

C(283, 1) has a generator of order 282.

source
theorem Hex.Conway.primitive_337_1 :
Primitive 337 1 supportedEntry_337_1 [2, 3, 7] [4, 1, 1]

C(337, 1) has a generator of order 336.

source
theorem Hex.Conway.primitive_379_1 :
Primitive 379 1 supportedEntry_379_1 [2, 3, 7] [1, 3, 1]

C(379, 1) has a generator of order 378.