Documentation

HexConway.Rabin.S1_2

source
theorem Hex.Conway.luebeckConwayPolynomial_409_3_irreducible :
luebeckConwayPolynomial_409_3.Irreducible

Irreducibility of the imported C(409, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_479_3_irreducible :
luebeckConwayPolynomial_479_3.Irreducible

Irreducibility of the imported C(479, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_67_3_irreducible :
luebeckConwayPolynomial_67_3.Irreducible

Irreducibility of the imported C(67, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_131_3_irreducible :
luebeckConwayPolynomial_131_3.Irreducible

Irreducibility of the imported C(131, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_197_3_irreducible :
luebeckConwayPolynomial_197_3.Irreducible

Irreducibility of the imported C(197, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_233_3_irreducible :
luebeckConwayPolynomial_233_3.Irreducible

Irreducibility of the imported C(233, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_677_3_irreducible :
luebeckConwayPolynomial_677_3.Irreducible

Irreducibility of the imported C(677, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_71_3_irreducible :
luebeckConwayPolynomial_71_3.Irreducible

Irreducibility of the imported C(71, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_113_3_irreducible :
luebeckConwayPolynomial_113_3.Irreducible

Irreducibility of the imported C(113, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_383_3_irreducible :
luebeckConwayPolynomial_383_3.Irreducible

Irreducibility of the imported C(383, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_167_3_irreducible :
luebeckConwayPolynomial_167_3.Irreducible

Irreducibility of the imported C(167, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_73_3_irreducible :
luebeckConwayPolynomial_73_3.Irreducible

Irreducibility of the imported C(73, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_97_3_irreducible :
luebeckConwayPolynomial_97_3.Irreducible

Irreducibility of the imported C(97, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_31_3_irreducible :
luebeckConwayPolynomial_31_3.Irreducible

Irreducibility of the imported C(31, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_859_2_irreducible :
luebeckConwayPolynomial_859_2.Irreducible

Irreducibility of the imported C(859, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_461_2_irreducible :
luebeckConwayPolynomial_461_2.Irreducible

Irreducibility of the imported C(461, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_547_2_irreducible :
luebeckConwayPolynomial_547_2.Irreducible

Irreducibility of the imported C(547, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_617_2_irreducible :
luebeckConwayPolynomial_617_2.Irreducible

Irreducibility of the imported C(617, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_661_2_irreducible :
luebeckConwayPolynomial_661_2.Irreducible

Irreducibility of the imported C(661, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_709_2_irreducible :
luebeckConwayPolynomial_709_2.Irreducible

Irreducibility of the imported C(709, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_761_2_irreducible :
luebeckConwayPolynomial_761_2.Irreducible

Irreducibility of the imported C(761, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_821_2_irreducible :
luebeckConwayPolynomial_821_2.Irreducible

Irreducibility of the imported C(821, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_853_2_irreducible :
luebeckConwayPolynomial_853_2.Irreducible

Irreducibility of the imported C(853, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_919_2_irreducible :
luebeckConwayPolynomial_919_2.Irreducible

Irreducibility of the imported C(919, 2).