Documentation

HexConway.Transport.S2_1

theorem Hex.Conway.ofCoeffs_13_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 13 [2, 12, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_13_6_irreducible :

(luebeckConwayPolynomialOfCoeffs 13 [2, 11, 11, 10, 0, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_17_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 17 [3, 16, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_17_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 17 [3, 10, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_19_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 19 [2, 18, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_19_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 19 [2, 11, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_23_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 23 [5, 21, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_23_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 23 [5, 19, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_29_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 29 [2, 24, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_29_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 29 [2, 15, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_31_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 31 [3, 29, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_31_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_37_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 37 [2, 33, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_37_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 37 [2, 24, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_41_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 41 [6, 38, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_41_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 41 [6, 23, 0, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_43_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 43 [3, 42, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_43_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 43 [3, 42, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_47_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 47 [5, 45, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_47_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 47 [5, 40, 8, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_53_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 53 [2, 49, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_53_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 53 [2, 38, 9, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_59_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 59 [2, 58, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_59_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 59 [2, 40, 2, 0, 1]).Irreducible