Documentation

HexConway.Rabin.S3_2

source
theorem Hex.Conway.luebeckConwayPolynomial_353_3_irreducible :
luebeckConwayPolynomial_353_3.Irreducible

Irreducibility of the imported C(353, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_433_3_irreducible :
luebeckConwayPolynomial_433_3.Irreducible

Irreducibility of the imported C(433, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_487_3_irreducible :
luebeckConwayPolynomial_487_3.Irreducible

Irreducibility of the imported C(487, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_79_3_irreducible :
luebeckConwayPolynomial_79_3.Irreducible

Irreducibility of the imported C(79, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_157_3_irreducible :
luebeckConwayPolynomial_157_3.Irreducible

Irreducibility of the imported C(157, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_199_3_irreducible :
luebeckConwayPolynomial_199_3.Irreducible

Irreducibility of the imported C(199, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_241_3_irreducible :
luebeckConwayPolynomial_241_3.Irreducible

Irreducibility of the imported C(241, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_773_3_irreducible :
luebeckConwayPolynomial_773_3.Irreducible

Irreducibility of the imported C(773, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_83_3_irreducible :
luebeckConwayPolynomial_83_3.Irreducible

Irreducibility of the imported C(83, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_127_3_irreducible :
luebeckConwayPolynomial_127_3.Irreducible

Irreducibility of the imported C(127, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_37_3_irreducible :
luebeckConwayPolynomial_37_3.Irreducible

Irreducibility of the imported C(37, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_43_3_irreducible :
luebeckConwayPolynomial_43_3.Irreducible

Irreducibility of the imported C(43, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_173_3_irreducible :
luebeckConwayPolynomial_173_3.Irreducible

Irreducibility of the imported C(173, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_23_3_irreducible :
luebeckConwayPolynomial_23_3.Irreducible

Irreducibility of the imported C(23, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_41_3_irreducible :
luebeckConwayPolynomial_41_3.Irreducible

Irreducibility of the imported C(41, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_571_2_irreducible :
luebeckConwayPolynomial_571_2.Irreducible

Irreducibility of the imported C(571, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_911_2_irreducible :
luebeckConwayPolynomial_911_2.Irreducible

Irreducibility of the imported C(911, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_569_2_irreducible :
luebeckConwayPolynomial_569_2.Irreducible

Irreducibility of the imported C(569, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_619_2_irreducible :
luebeckConwayPolynomial_619_2.Irreducible

Irreducibility of the imported C(619, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_683_2_irreducible :
luebeckConwayPolynomial_683_2.Irreducible

Irreducibility of the imported C(683, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_727_2_irreducible :
luebeckConwayPolynomial_727_2.Irreducible

Irreducibility of the imported C(727, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_769_2_irreducible :
luebeckConwayPolynomial_769_2.Irreducible

Irreducibility of the imported C(769, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_827_2_irreducible :
luebeckConwayPolynomial_827_2.Irreducible

Irreducibility of the imported C(827, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_857_2_irreducible :
luebeckConwayPolynomial_857_2.Irreducible

Irreducibility of the imported C(857, 2).