Documentation

HexConway.Transport.S2_11

theorem Hex.Conway.ofCoeffs_853_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_857_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 857 [854, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_857_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 857 [854, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_859_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_863_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 863 [858, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_863_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 863 [858, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_877_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_881_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 881 [878, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_881_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 881 [878, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_883_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_887_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 887 [882, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_887_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 887 [882, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_907_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_911_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 911 [894, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_911_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 911 [894, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_919_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 919 [7, 910, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_929_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 929 [926, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_929_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 929 [926, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_937_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 937 [5, 934, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_941_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 941 [939, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_941_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 941 [939, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_947_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_953_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 953 [950, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_953_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 953 [950, 7, 0, 1]).Irreducible