Documentation

HexConway.Transport.S2_6

theorem Hex.Conway.ofCoeffs_331_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 331 [3, 326, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_337_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 337 [327, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_337_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 337 [327, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_347_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 347 [2, 343, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_349_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 349 [347, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_349_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 349 [347, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_353_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 353 [3, 348, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_359_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 359 [352, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_359_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 359 [352, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_367_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 367 [6, 366, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_373_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 373 [371, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_373_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 373 [371, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_379_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 379 [2, 374, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_383_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 383 [378, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_383_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 383 [378, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_389_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 389 [2, 379, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_397_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 397 [392, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_397_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 397 [392, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_401_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 401 [3, 396, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_409_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 409 [388, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_409_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 409 [388, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_419_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 419 [2, 418, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_421_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 421 [419, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_421_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 421 [419, 2, 0, 1]).Irreducible