Documentation

HexConway.PrimitiveProofs.S1_6

source
theorem Hex.Conway.primitive_113_1 :
Primitive 113 1 supportedEntry_113_1 [2, 7] [4, 1]

C(113, 1) has a generator of order 112.

source
theorem Hex.Conway.primitive_59_1 :
Primitive 59 1 supportedEntry_59_1 [2, 29] [1, 1]

C(59, 1) has a generator of order 58.

source
theorem Hex.Conway.primitive_257_1 :
Primitive 257 1 supportedEntry_257_1 [2] [8]

C(257, 1) has a generator of order 256.

source
theorem Hex.Conway.primitive_13_1 :
Primitive 13 1 supportedEntry_13_1 [2, 3] [2, 1]

C(13, 1) has a generator of order 12.