Documentation

HexConway.Transport.S0_11

theorem Hex.Conway.ofCoeffs_853_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 853 [851, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_853_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 853 [851, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_857_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 857 [3, 850, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_859_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 859 [857, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_859_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 859 [857, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_863_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 863 [5, 862, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_877_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 877 [875, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_877_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 877 [875, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_881_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 881 [3, 869, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_883_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 883 [881, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_883_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 883 [881, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_887_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 887 [5, 885, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_907_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 907 [905, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_907_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 907 [905, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_911_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 911 [17, 909, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_919_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 919 [912, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_919_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_929_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 929 [3, 917, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_937_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 937 [932, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_937_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 937 [932, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_941_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_947_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 947 [945, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_947_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 947 [945, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_953_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 953 [3, 947, 1]).Irreducible