Documentation

HexConway.Transport.S0_6

theorem Hex.Conway.ofCoeffs_331_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 331 [328, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_331_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 331 [328, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_337_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 337 [10, 332, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_347_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 347 [345, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_347_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 347 [345, 9, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_349_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 349 [2, 348, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_353_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 353 [350, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_353_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 353 [350, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_359_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 359 [7, 358, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_367_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 367 [361, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_367_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 367 [361, 10, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_373_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 373 [2, 369, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_379_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 379 [377, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_379_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 379 [377, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_383_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 383 [5, 382, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_389_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 389 [387, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_389_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 389 [387, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_397_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 397 [5, 392, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_401_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 401 [398, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_401_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 401 [398, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_409_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 409 [21, 404, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_419_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 419 [417, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_419_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 419 [417, 11, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_421_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 421 [2, 417, 1]).Irreducible