Documentation

HexConway.Rabin.S1_4

source
theorem Hex.Conway.luebeckConwayPolynomial_7_3_irreducible :
luebeckConwayPolynomial_7_3.Irreducible

Irreducibility of the imported C(7, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_863_2_irreducible :
luebeckConwayPolynomial_863_2.Irreducible

Irreducibility of the imported C(863, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_103_2_irreducible :
luebeckConwayPolynomial_103_2.Irreducible

Irreducibility of the imported C(103, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_383_2_irreducible :
luebeckConwayPolynomial_383_2.Irreducible

Irreducibility of the imported C(383, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_59_2_irreducible :
luebeckConwayPolynomial_59_2.Irreducible

Irreducibility of the imported C(59, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_193_2_irreducible :
luebeckConwayPolynomial_193_2.Irreducible

Irreducibility of the imported C(193, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_5_3_irreducible :
luebeckConwayPolynomial_5_3.Irreducible

Irreducibility of the imported C(5, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_37_2_irreducible :
luebeckConwayPolynomial_37_2.Irreducible

Irreducibility of the imported C(37, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_19_2_irreducible :
luebeckConwayPolynomial_19_2.Irreducible

Irreducibility of the imported C(19, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_11_2_irreducible :
luebeckConwayPolynomial_11_2.Irreducible

Irreducibility of the imported C(11, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_547_1_irreducible :
luebeckConwayPolynomial_547_1.Irreducible

Irreducibility of the imported C(547, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_691_1_irreducible :
luebeckConwayPolynomial_691_1.Irreducible

Irreducibility of the imported C(691, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_991_1_irreducible :
luebeckConwayPolynomial_991_1.Irreducible

Irreducibility of the imported C(991, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_521_1_irreducible :
luebeckConwayPolynomial_521_1.Irreducible

Irreducibility of the imported C(521, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_599_1_irreducible :
luebeckConwayPolynomial_599_1.Irreducible

Irreducibility of the imported C(599, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_617_1_irreducible :
luebeckConwayPolynomial_617_1.Irreducible

Irreducibility of the imported C(617, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_659_1_irreducible :
luebeckConwayPolynomial_659_1.Irreducible

Irreducibility of the imported C(659, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_709_1_irreducible :
luebeckConwayPolynomial_709_1.Irreducible

Irreducibility of the imported C(709, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_743_1_irreducible :
luebeckConwayPolynomial_743_1.Irreducible

Irreducibility of the imported C(743, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_787_1_irreducible :
luebeckConwayPolynomial_787_1.Irreducible

Irreducibility of the imported C(787, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_827_1_irreducible :
luebeckConwayPolynomial_827_1.Irreducible

Irreducibility of the imported C(827, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_881_1_irreducible :
luebeckConwayPolynomial_881_1.Irreducible

Irreducibility of the imported C(881, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_937_1_irreducible :
luebeckConwayPolynomial_937_1.Irreducible

Irreducibility of the imported C(937, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_971_1_irreducible :
luebeckConwayPolynomial_971_1.Irreducible

Irreducibility of the imported C(971, 1).