Documentation

HexConway.Transport.S0_3

theorem Hex.Conway.ofCoeffs_113_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 113 [110, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_113_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 113 [110, 8, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_127_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 127 [124, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_127_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_131_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 131 [129, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_131_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 131 [129, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_137_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 137 [134, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_137_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 137 [134, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_139_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 139 [137, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_139_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 139 [137, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_149_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 149 [147, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_149_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 149 [147, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_151_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 151 [145, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_151_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 151 [145, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_157_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 157 [152, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_157_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_163_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 163 [161, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_163_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 163 [161, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_167_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 167 [162, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_167_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 167 [162, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_173_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 173 [171, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_173_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_179_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 179 [177, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_179_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 179 [177, 4, 0, 1]).Irreducible