Documentation

HexConway.Rabin.S3_0

source
theorem Hex.Conway.luebeckConwayPolynomial_2_12_irreducible :
luebeckConwayPolynomial_2_12.Irreducible

Irreducibility of the imported C(2, 12).

source
theorem Hex.Conway.luebeckConwayPolynomial_5_8_irreducible :
luebeckConwayPolynomial_5_8.Irreducible

Irreducibility of the imported C(5, 8).

source
theorem Hex.Conway.luebeckConwayPolynomial_2_10_irreducible :
luebeckConwayPolynomial_2_10.Irreducible

Irreducibility of the imported C(2, 10).

source
theorem Hex.Conway.luebeckConwayPolynomial_13_6_irreducible :
luebeckConwayPolynomial_13_6.Irreducible

Irreducibility of the imported C(13, 6).

source
theorem Hex.Conway.luebeckConwayPolynomial_293_4_irreducible :
luebeckConwayPolynomial_293_4.Irreducible

Irreducibility of the imported C(293, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_211_4_irreducible :
luebeckConwayPolynomial_211_4.Irreducible

Irreducibility of the imported C(211, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_269_4_irreducible :
luebeckConwayPolynomial_269_4.Irreducible

Irreducibility of the imported C(269, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_2_8_irreducible :
luebeckConwayPolynomial_2_8.Irreducible

Irreducibility of the imported C(2, 8).

source
theorem Hex.Conway.luebeckConwayPolynomial_139_4_irreducible :
luebeckConwayPolynomial_139_4.Irreducible

Irreducibility of the imported C(139, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_179_4_irreducible :
luebeckConwayPolynomial_179_4.Irreducible

Irreducibility of the imported C(179, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_227_4_irreducible :
luebeckConwayPolynomial_227_4.Irreducible

Irreducibility of the imported C(227, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_2_9_irreducible :
luebeckConwayPolynomial_2_9.Irreducible

Irreducibility of the imported C(2, 9).

source
theorem Hex.Conway.luebeckConwayPolynomial_73_4_irreducible :
luebeckConwayPolynomial_73_4.Irreducible

Irreducibility of the imported C(73, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_113_4_irreducible :
luebeckConwayPolynomial_113_4.Irreducible

Irreducibility of the imported C(113, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_193_4_irreducible :
luebeckConwayPolynomial_193_4.Irreducible

Irreducibility of the imported C(193, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_71_4_irreducible :
luebeckConwayPolynomial_71_4.Irreducible

Irreducibility of the imported C(71, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_107_4_irreducible :
luebeckConwayPolynomial_107_4.Irreducible

Irreducibility of the imported C(107, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_41_4_irreducible :
luebeckConwayPolynomial_41_4.Irreducible

Irreducibility of the imported C(41, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_571_3_irreducible :
luebeckConwayPolynomial_571_3.Irreducible

Irreducibility of the imported C(571, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_631_3_irreducible :
luebeckConwayPolynomial_631_3.Irreducible

Irreducibility of the imported C(631, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_821_3_irreducible :
luebeckConwayPolynomial_821_3.Irreducible

Irreducibility of the imported C(821, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_967_3_irreducible :
luebeckConwayPolynomial_967_3.Irreducible

Irreducibility of the imported C(967, 3).

source
theorem Hex.Conway.luebeckConwayPolynomial_29_4_irreducible :
luebeckConwayPolynomial_29_4.Irreducible

Irreducibility of the imported C(29, 4).

source
theorem Hex.Conway.luebeckConwayPolynomial_13_5_irreducible :
luebeckConwayPolynomial_13_5.Irreducible

Irreducibility of the imported C(13, 5).