Documentation

HexConway.Transport.S0_12

theorem Hex.Conway.ofCoeffs_967_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 967 [962, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_967_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 967 [962, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_971_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 971 [6, 970, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_977_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 977 [974, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_977_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 977 [974, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_983_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 983 [5, 981, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_991_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 991 [985, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_991_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 991 [985, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_997_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 997 [7, 995, 1]).Irreducible