Documentation

HexConway.Transport.S2_0

theorem Hex.Conway.ofCoeffs_2_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_6_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_8_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_10_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_12_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_14_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_16_irreducible :

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

theorem Hex.Conway.ofCoeffs_3_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 3 [2, 2, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_3_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_3_6_irreducible :

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

theorem Hex.Conway.ofCoeffs_3_8_irreducible :

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

theorem Hex.Conway.ofCoeffs_5_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 5 [2, 4, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_5_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 5 [2, 4, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_5_6_irreducible :

(luebeckConwayPolynomialOfCoeffs 5 [2, 0, 1, 4, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_5_8_irreducible :

(luebeckConwayPolynomialOfCoeffs 5 [2, 4, 3, 0, 1, 0, 0, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_7_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 7 [3, 6, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_7_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 7 [3, 4, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_7_6_irreducible :

(luebeckConwayPolynomialOfCoeffs 7 [3, 6, 4, 5, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_7_8_irreducible :

(luebeckConwayPolynomialOfCoeffs 7 [3, 2, 6, 4, 0, 0, 0, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_11_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 11 [2, 7, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_11_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_11_6_irreducible :

(luebeckConwayPolynomialOfCoeffs 11 [2, 7, 6, 4, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_13_2_irreducible :

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