Documentation

HexConway.Rabin.S2_0

source
theorem Hex.Conway.luebeckConwayPolynomial_2_14_irreducible :
luebeckConwayPolynomial_2_14.Irreducible

Irreducibility of the imported C(2, 14).

source
theorem Hex.Conway.luebeckConwayPolynomial_7_8_irreducible :
luebeckConwayPolynomial_7_8.Irreducible

Irreducibility of the imported C(7, 8).

source
theorem Hex.Conway.luebeckConwayPolynomial_11_6_irreducible :
luebeckConwayPolynomial_11_6.Irreducible

Irreducibility of the imported C(11, 6).

source
theorem Hex.Conway.luebeckConwayPolynomial_7_7_irreducible :
luebeckConwayPolynomial_7_7.Irreducible

Irreducibility of the imported C(7, 7).

source
theorem Hex.Conway.luebeckConwayPolynomial_157_4_irreducible :
luebeckConwayPolynomial_157_4.Irreducible

Irreducibility of the imported C(157, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_229_4_irreducible :
luebeckConwayPolynomial_229_4.Irreducible

Irreducibility of the imported C(229, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_277_4_irreducible :
luebeckConwayPolynomial_277_4.Irreducible

Irreducibility of the imported C(277, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_3_8_irreducible :
luebeckConwayPolynomial_3_8.Irreducible

Irreducibility of the imported C(3, 8).

source
theorem Hex.Conway.luebeckConwayPolynomial_149_4_irreducible :
luebeckConwayPolynomial_149_4.Irreducible

Irreducibility of the imported C(149, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_181_4_irreducible :
luebeckConwayPolynomial_181_4.Irreducible

Irreducibility of the imported C(181, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_239_4_irreducible :
luebeckConwayPolynomial_239_4.Irreducible

Irreducibility of the imported C(239, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_257_4_irreducible :
luebeckConwayPolynomial_257_4.Irreducible

Irreducibility of the imported C(257, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_89_4_irreducible :
luebeckConwayPolynomial_89_4.Irreducible

Irreducibility of the imported C(89, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_5_6_irreducible :
luebeckConwayPolynomial_5_6.Irreducible

Irreducibility of the imported C(5, 6).

source
theorem Hex.Conway.luebeckConwayPolynomial_199_4_irreducible :
luebeckConwayPolynomial_199_4.Irreducible

Irreducibility of the imported C(199, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_79_4_irreducible :
luebeckConwayPolynomial_79_4.Irreducible

Irreducibility of the imported C(79, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_127_4_irreducible :
luebeckConwayPolynomial_127_4.Irreducible

Irreducibility of the imported C(127, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_53_4_irreducible :
luebeckConwayPolynomial_53_4.Irreducible

Irreducibility of the imported C(53, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_919_3_irreducible :
luebeckConwayPolynomial_919_3.Irreducible

Irreducibility of the imported C(919, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_691_3_irreducible :
luebeckConwayPolynomial_691_3.Irreducible

Irreducibility of the imported C(691, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_823_3_irreducible :
luebeckConwayPolynomial_823_3.Irreducible

Irreducibility of the imported C(823, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_971_3_irreducible :
luebeckConwayPolynomial_971_3.Irreducible

Irreducibility of the imported C(971, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_31_4_irreducible :
luebeckConwayPolynomial_31_4.Irreducible

Irreducibility of the imported C(31, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_277_3_irreducible :
luebeckConwayPolynomial_277_3.Irreducible

Irreducibility of the imported C(277, 3).