Documentation

HexConway.Rabin.S3_3

source
theorem Hex.Conway.luebeckConwayPolynomial_929_2_irreducible :
luebeckConwayPolynomial_929_2.Irreducible

Irreducibility of the imported C(929, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_953_2_irreducible :
luebeckConwayPolynomial_953_2.Irreducible

Irreducibility of the imported C(953, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_307_2_irreducible :
luebeckConwayPolynomial_307_2.Irreducible

Irreducibility of the imported C(307, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_349_2_irreducible :
luebeckConwayPolynomial_349_2.Irreducible

Irreducibility of the imported C(349, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_409_2_irreducible :
luebeckConwayPolynomial_409_2.Irreducible

Irreducibility of the imported C(409, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_463_2_irreducible :
luebeckConwayPolynomial_463_2.Irreducible

Irreducibility of the imported C(463, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_131_2_irreducible :
luebeckConwayPolynomial_131_2.Irreducible

Irreducibility of the imported C(131, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_181_2_irreducible :
luebeckConwayPolynomial_181_2.Irreducible

Irreducibility of the imported C(181, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_523_2_irreducible :
luebeckConwayPolynomial_523_2.Irreducible

Irreducibility of the imported C(523, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_587_2_irreducible :
luebeckConwayPolynomial_587_2.Irreducible

Irreducibility of the imported C(587, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_641_2_irreducible :
luebeckConwayPolynomial_641_2.Irreducible

Irreducibility of the imported C(641, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_677_2_irreducible :
luebeckConwayPolynomial_677_2.Irreducible

Irreducibility of the imported C(677, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_757_2_irreducible :
luebeckConwayPolynomial_757_2.Irreducible

Irreducibility of the imported C(757, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_823_2_irreducible :
luebeckConwayPolynomial_823_2.Irreducible

Irreducibility of the imported C(823, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_971_2_irreducible :
luebeckConwayPolynomial_971_2.Irreducible

Irreducibility of the imported C(971, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_263_2_irreducible :
luebeckConwayPolynomial_263_2.Irreducible

Irreducibility of the imported C(263, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_283_2_irreducible :
luebeckConwayPolynomial_283_2.Irreducible

Irreducibility of the imported C(283, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_337_2_irreducible :
luebeckConwayPolynomial_337_2.Irreducible

Irreducibility of the imported C(337, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_367_2_irreducible :
luebeckConwayPolynomial_367_2.Irreducible

Irreducibility of the imported C(367, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_433_2_irreducible :
luebeckConwayPolynomial_433_2.Irreducible

Irreducibility of the imported C(433, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_479_2_irreducible :
luebeckConwayPolynomial_479_2.Irreducible

Irreducibility of the imported C(479, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_2_4_irreducible :
luebeckConwayPolynomial_2_4.Irreducible

Irreducibility of the imported C(2, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_151_2_irreducible :
luebeckConwayPolynomial_151_2.Irreducible

Irreducibility of the imported C(151, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_179_2_irreducible :
luebeckConwayPolynomial_179_2.Irreducible

Irreducibility of the imported C(179, 2).