Documentation

HexConway.Transport.S2_4

theorem Hex.Conway.ofCoeffs_181_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 181 [2, 177, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_181_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_191_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 191 [19, 190, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_191_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 191 [19, 100, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_193_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 193 [5, 192, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_193_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 193 [5, 148, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_197_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 197 [2, 192, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_197_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 197 [2, 124, 16, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_199_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 199 [3, 193, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_199_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 199 [3, 162, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_211_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 211 [2, 207, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_211_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_223_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 223 [3, 221, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_223_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_227_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 227 [2, 220, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_227_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_229_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 229 [6, 228, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_229_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 229 [6, 162, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_233_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 233 [3, 232, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_233_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 233 [3, 158, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_239_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 239 [7, 237, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_239_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_241_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 241 [7, 238, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_241_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 241 [7, 152, 14, 0, 1]).Irreducible