Documentation

HexConway.Rabin.S2_5

source
theorem Hex.Conway.luebeckConwayPolynomial_277_1_irreducible :
luebeckConwayPolynomial_277_1.Irreducible

Irreducibility of the imported C(277, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_311_1_irreducible :
luebeckConwayPolynomial_311_1.Irreducible

Irreducibility of the imported C(311, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_367_1_irreducible :
luebeckConwayPolynomial_367_1.Irreducible

Irreducibility of the imported C(367, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_409_1_irreducible :
luebeckConwayPolynomial_409_1.Irreducible

Irreducibility of the imported C(409, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_443_1_irreducible :
luebeckConwayPolynomial_443_1.Irreducible

Irreducibility of the imported C(443, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_499_1_irreducible :
luebeckConwayPolynomial_499_1.Irreducible

Irreducibility of the imported C(499, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_191_1_irreducible :
luebeckConwayPolynomial_191_1.Irreducible

Irreducibility of the imported C(191, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_239_1_irreducible :
luebeckConwayPolynomial_239_1.Irreducible

Irreducibility of the imported C(239, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_79_1_irreducible :
luebeckConwayPolynomial_79_1.Irreducible

Irreducibility of the imported C(79, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_563_1_irreducible :
luebeckConwayPolynomial_563_1.Irreducible

Irreducibility of the imported C(563, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_593_1_irreducible :
luebeckConwayPolynomial_593_1.Irreducible

Irreducibility of the imported C(593, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_719_1_irreducible :
luebeckConwayPolynomial_719_1.Irreducible

Irreducibility of the imported C(719, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_809_1_irreducible :
luebeckConwayPolynomial_809_1.Irreducible

Irreducibility of the imported C(809, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_887_1_irreducible :
luebeckConwayPolynomial_887_1.Irreducible

Irreducibility of the imported C(887, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_43_1_irreducible :
luebeckConwayPolynomial_43_1.Irreducible

Irreducibility of the imported C(43, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_263_1_irreducible :
luebeckConwayPolynomial_263_1.Irreducible

Irreducibility of the imported C(263, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_347_1_irreducible :
luebeckConwayPolynomial_347_1.Irreducible

Irreducibility of the imported C(347, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_389_1_irreducible :
luebeckConwayPolynomial_389_1.Irreducible

Irreducibility of the imported C(389, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_467_1_irreducible :
luebeckConwayPolynomial_467_1.Irreducible

Irreducibility of the imported C(467, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_509_1_irreducible :
luebeckConwayPolynomial_509_1.Irreducible

Irreducibility of the imported C(509, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_167_1_irreducible :
luebeckConwayPolynomial_167_1.Irreducible

Irreducibility of the imported C(167, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_197_1_irreducible :
luebeckConwayPolynomial_197_1.Irreducible

Irreducibility of the imported C(197, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_31_1_irreducible :
luebeckConwayPolynomial_31_1.Irreducible

Irreducibility of the imported C(31, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_101_1_irreducible :
luebeckConwayPolynomial_101_1.Irreducible

Irreducibility of the imported C(101, 1).