Documentation

HexConway.Transport.S0_4

theorem Hex.Conway.ofCoeffs_181_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 181 [179, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_181_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 181 [179, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_191_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 191 [172, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_191_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 191 [172, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_193_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 193 [188, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_193_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 193 [188, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_197_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 197 [195, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_197_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 197 [195, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_199_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 199 [196, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_199_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 199 [196, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_211_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 211 [209, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_211_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 211 [209, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_223_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 223 [220, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_223_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 223 [220, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_227_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 227 [225, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_227_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 227 [225, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_229_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 229 [223, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_229_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 229 [223, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_233_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 233 [230, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_233_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 233 [230, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_239_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 239 [232, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_239_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 239 [232, 11, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_241_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 241 [234, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_241_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 241 [234, 1, 0, 1]).Irreducible