Documentation

HexConway.Rabin.S0_1

source
theorem Hex.Conway.luebeckConwayPolynomial_653_3_irreducible :
luebeckConwayPolynomial_653_3.Irreducible

Irreducibility of the imported C(653, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_709_3_irreducible :
luebeckConwayPolynomial_709_3.Irreducible

Irreducibility of the imported C(709, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_757_3_irreducible :
luebeckConwayPolynomial_757_3.Irreducible

Irreducibility of the imported C(757, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_859_3_irreducible :
luebeckConwayPolynomial_859_3.Irreducible

Irreducibility of the imported C(859, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_941_3_irreducible :
luebeckConwayPolynomial_941_3.Irreducible

Irreducibility of the imported C(941, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_13_4_irreducible :
luebeckConwayPolynomial_13_4.Irreducible

Irreducibility of the imported C(13, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_269_3_irreducible :
luebeckConwayPolynomial_269_3.Irreducible

Irreducibility of the imported C(269, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_311_3_irreducible :
luebeckConwayPolynomial_311_3.Irreducible

Irreducibility of the imported C(311, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_359_3_irreducible :
luebeckConwayPolynomial_359_3.Irreducible

Irreducibility of the imported C(359, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_419_3_irreducible :
luebeckConwayPolynomial_419_3.Irreducible

Irreducibility of the imported C(419, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_457_3_irreducible :
luebeckConwayPolynomial_457_3.Irreducible

Irreducibility of the imported C(457, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_5_5_irreducible :
luebeckConwayPolynomial_5_5.Irreducible

Irreducibility of the imported C(5, 5).

source
theorem Hex.Conway.luebeckConwayPolynomial_149_3_irreducible :
luebeckConwayPolynomial_149_3.Irreducible

Irreducibility of the imported C(149, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_229_3_irreducible :
luebeckConwayPolynomial_229_3.Irreducible

Irreducibility of the imported C(229, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_569_3_irreducible :
luebeckConwayPolynomial_569_3.Irreducible

Irreducibility of the imported C(569, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_641_3_irreducible :
luebeckConwayPolynomial_641_3.Irreducible

Irreducibility of the imported C(641, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_727_3_irreducible :
luebeckConwayPolynomial_727_3.Irreducible

Irreducibility of the imported C(727, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_797_3_irreducible :
luebeckConwayPolynomial_797_3.Irreducible

Irreducibility of the imported C(797, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_887_3_irreducible :
luebeckConwayPolynomial_887_3.Irreducible

Irreducibility of the imported C(887, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_983_3_irreducible :
luebeckConwayPolynomial_983_3.Irreducible

Irreducibility of the imported C(983, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_389_3_irreducible :
luebeckConwayPolynomial_389_3.Irreducible

Irreducibility of the imported C(389, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_449_3_irreducible :
luebeckConwayPolynomial_449_3.Irreducible

Irreducibility of the imported C(449, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_503_3_irreducible :
luebeckConwayPolynomial_503_3.Irreducible

Irreducibility of the imported C(503, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_107_3_irreducible :
luebeckConwayPolynomial_107_3.Irreducible

Irreducibility of the imported C(107, 3).