Documentation

HexConway.Rabin.S2_2

source
theorem Hex.Conway.luebeckConwayPolynomial_401_3_irreducible :
luebeckConwayPolynomial_401_3.Irreducible

Irreducibility of the imported C(401, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_467_3_irreducible :
luebeckConwayPolynomial_467_3.Irreducible

Irreducibility of the imported C(467, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_509_3_irreducible :
luebeckConwayPolynomial_509_3.Irreducible

Irreducibility of the imported C(509, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_2_6_irreducible :
luebeckConwayPolynomial_2_6.Irreducible

Irreducibility of the imported C(2, 6).

source
theorem Hex.Conway.luebeckConwayPolynomial_193_3_irreducible :
luebeckConwayPolynomial_193_3.Irreducible

Irreducibility of the imported C(193, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_227_3_irreducible :
luebeckConwayPolynomial_227_3.Irreducible

Irreducibility of the imported C(227, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_61_3_irreducible :
luebeckConwayPolynomial_61_3.Irreducible

Irreducibility of the imported C(61, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_857_3_irreducible :
luebeckConwayPolynomial_857_3.Irreducible

Irreducibility of the imported C(857, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_109_3_irreducible :
luebeckConwayPolynomial_109_3.Irreducible

Irreducibility of the imported C(109, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_293_3_irreducible :
luebeckConwayPolynomial_293_3.Irreducible

Irreducibility of the imported C(293, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_53_3_irreducible :
luebeckConwayPolynomial_53_3.Irreducible

Irreducibility of the imported C(53, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_7_4_irreducible :
luebeckConwayPolynomial_7_4.Irreducible

Irreducibility of the imported C(7, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_101_3_irreducible :
luebeckConwayPolynomial_101_3.Irreducible

Irreducibility of the imported C(101, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_3_5_irreducible :
luebeckConwayPolynomial_3_5.Irreducible

Irreducibility of the imported C(3, 5).

source
theorem Hex.Conway.luebeckConwayPolynomial_59_3_irreducible :
luebeckConwayPolynomial_59_3.Irreducible

Irreducibility of the imported C(59, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_11_3_irreducible :
luebeckConwayPolynomial_11_3.Irreducible

Irreducibility of the imported C(11, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_19_3_irreducible :
luebeckConwayPolynomial_19_3.Irreducible

Irreducibility of the imported C(19, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_599_2_irreducible :
luebeckConwayPolynomial_599_2.Irreducible

Irreducibility of the imported C(599, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_631_2_irreducible :
luebeckConwayPolynomial_631_2.Irreducible

Irreducibility of the imported C(631, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_691_2_irreducible :
luebeckConwayPolynomial_691_2.Irreducible

Irreducibility of the imported C(691, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_739_2_irreducible :
luebeckConwayPolynomial_739_2.Irreducible

Irreducibility of the imported C(739, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_797_2_irreducible :
luebeckConwayPolynomial_797_2.Irreducible

Irreducibility of the imported C(797, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_829_2_irreducible :
luebeckConwayPolynomial_829_2.Irreducible

Irreducibility of the imported C(829, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_881_2_irreducible :
luebeckConwayPolynomial_881_2.Irreducible

Irreducibility of the imported C(881, 2).