Documentation

HexConway.Transport.S2_5

theorem Hex.Conway.ofCoeffs_251_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 251 [6, 242, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_251_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 251 [6, 200, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_257_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 257 [3, 251, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_257_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 257 [3, 187, 16, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_263_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 263 [5, 261, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_263_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 263 [5, 171, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_269_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 269 [2, 268, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_269_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 269 [2, 262, 8, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_271_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 271 [6, 269, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_271_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 271 [6, 205, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_277_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 277 [5, 274, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_277_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 277 [5, 222, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_281_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 281 [3, 280, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_281_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 281 [3, 176, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_283_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 283 [3, 282, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_283_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 283 [3, 238, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_293_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 293 [2, 292, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_293_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 293 [2, 166, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_307_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 307 [5, 306, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_311_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 311 [294, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_311_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 311 [294, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_313_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 313 [10, 310, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_317_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 317 [315, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_317_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 317 [315, 7, 0, 1]).Irreducible