Documentation

HexConway.Transport.S2_12

theorem Hex.Conway.ofCoeffs_967_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 967 [5, 965, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_971_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 971 [965, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_971_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 971 [965, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_977_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 977 [3, 972, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_983_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 983 [978, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_983_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 983 [978, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_991_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 991 [6, 989, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_997_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 997 [990, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_997_3_irreducible :

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