Documentation

HexConway.Transport.S2_3

theorem Hex.Conway.ofCoeffs_113_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 113 [3, 101, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_113_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 113 [3, 62, 0, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_127_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 127 [3, 126, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_127_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_131_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 131 [2, 127, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_131_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_137_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 137 [3, 131, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_137_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 137 [3, 95, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_139_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 139 [2, 138, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_139_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 139 [2, 96, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_149_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 149 [2, 145, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_149_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 149 [2, 107, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_151_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 151 [6, 149, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_151_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 151 [6, 89, 13, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_157_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 157 [5, 152, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_157_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 157 [5, 136, 11, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_163_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 163 [2, 159, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_163_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 163 [2, 91, 8, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_167_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 167 [5, 166, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_167_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_173_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 173 [2, 169, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_173_4_irreducible :

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

theorem Hex.Conway.ofCoeffs_179_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 179 [2, 172, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_179_4_irreducible :

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