Documentation

HexConway.Transport.S0_5

theorem Hex.Conway.ofCoeffs_251_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 251 [245, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_251_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_257_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 257 [254, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_257_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 257 [254, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_263_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 263 [258, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_263_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 263 [258, 14, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_269_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 269 [267, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_269_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 269 [267, 9, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_271_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 271 [265, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_271_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 271 [265, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_277_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 277 [272, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_277_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 277 [272, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_281_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 281 [278, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_281_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 281 [278, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_283_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 283 [280, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_283_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_293_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 293 [291, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_293_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_307_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 307 [302, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_307_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 307 [302, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_311_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 311 [17, 310, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_313_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 313 [303, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_313_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 313 [303, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_317_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 317 [2, 313, 1]).Irreducible