Documentation

HexConway.Transport.S0_0

theorem Hex.Conway.ofCoeffs_2_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 2 [1, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_2_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_5_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_7_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_9_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_11_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_13_irreducible :

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

theorem Hex.Conway.ofCoeffs_2_15_irreducible :

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

theorem Hex.Conway.ofCoeffs_3_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 3 [1, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_3_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_3_5_irreducible :

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

theorem Hex.Conway.ofCoeffs_3_7_irreducible :

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

theorem Hex.Conway.ofCoeffs_5_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 5 [3, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_5_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_5_5_irreducible :

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

theorem Hex.Conway.ofCoeffs_5_7_irreducible :

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

theorem Hex.Conway.ofCoeffs_7_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 7 [4, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_7_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_7_5_irreducible :

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

theorem Hex.Conway.ofCoeffs_7_7_irreducible :

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

theorem Hex.Conway.ofCoeffs_11_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 11 [9, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_11_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_11_5_irreducible :

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

theorem Hex.Conway.ofCoeffs_13_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 13 [11, 1]).Irreducible