Documentation

HexConway.Rabin.S0_2

source
theorem Hex.Conway.luebeckConwayPolynomial_179_3_irreducible :
luebeckConwayPolynomial_179_3.Irreducible

Irreducibility of the imported C(179, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_223_3_irreducible :
luebeckConwayPolynomial_223_3.Irreducible

Irreducibility of the imported C(223, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_251_3_irreducible :
luebeckConwayPolynomial_251_3.Irreducible

Irreducibility of the imported C(251, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_839_3_irreducible :
luebeckConwayPolynomial_839_3.Irreducible

Irreducibility of the imported C(839, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_103_3_irreducible :
luebeckConwayPolynomial_103_3.Irreducible

Irreducibility of the imported C(103, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_257_3_irreducible :
luebeckConwayPolynomial_257_3.Irreducible

Irreducibility of the imported C(257, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_2_7_irreducible :
luebeckConwayPolynomial_2_7.Irreducible

Irreducibility of the imported C(2, 7).

source
theorem Hex.Conway.luebeckConwayPolynomial_47_3_irreducible :
luebeckConwayPolynomial_47_3.Irreducible

Irreducibility of the imported C(47, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_5_4_irreducible :
luebeckConwayPolynomial_5_4.Irreducible

Irreducibility of the imported C(5, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_89_3_irreducible :
luebeckConwayPolynomial_89_3.Irreducible

Irreducibility of the imported C(89, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_29_3_irreducible :
luebeckConwayPolynomial_29_3.Irreducible

Irreducibility of the imported C(29, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_659_2_irreducible :
luebeckConwayPolynomial_659_2.Irreducible

Irreducibility of the imported C(659, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_419_2_irreducible :
luebeckConwayPolynomial_419_2.Irreducible

Irreducibility of the imported C(419, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_521_2_irreducible :
luebeckConwayPolynomial_521_2.Irreducible

Irreducibility of the imported C(521, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_601_2_irreducible :
luebeckConwayPolynomial_601_2.Irreducible

Irreducibility of the imported C(601, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_643_2_irreducible :
luebeckConwayPolynomial_643_2.Irreducible

Irreducibility of the imported C(643, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_701_2_irreducible :
luebeckConwayPolynomial_701_2.Irreducible

Irreducibility of the imported C(701, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_743_2_irreducible :
luebeckConwayPolynomial_743_2.Irreducible

Irreducibility of the imported C(743, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_811_2_irreducible :
luebeckConwayPolynomial_811_2.Irreducible

Irreducibility of the imported C(811, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_839_2_irreducible :
luebeckConwayPolynomial_839_2.Irreducible

Irreducibility of the imported C(839, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_883_2_irreducible :
luebeckConwayPolynomial_883_2.Irreducible

Irreducibility of the imported C(883, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_941_2_irreducible :
luebeckConwayPolynomial_941_2.Irreducible

Irreducibility of the imported C(941, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_991_2_irreducible :
luebeckConwayPolynomial_991_2.Irreducible

Irreducibility of the imported C(991, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_373_2_irreducible :
luebeckConwayPolynomial_373_2.Irreducible

Irreducibility of the imported C(373, 2).