Documentation

HexConway.Transport.S0_7

theorem Hex.Conway.ofCoeffs_431_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 431 [424, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_431_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 431 [424, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_433_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 433 [5, 432, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_439_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 439 [424, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_439_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 439 [424, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_443_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 443 [2, 437, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_449_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 449 [446, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_449_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 449 [446, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_457_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 457 [13, 454, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_461_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 461 [459, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_461_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 461 [459, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_463_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 463 [3, 461, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_467_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 467 [465, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_467_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 467 [465, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_479_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 479 [13, 474, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_487_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 487 [484, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_487_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 487 [484, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_491_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 491 [2, 487, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_499_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 499 [492, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_499_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 499 [492, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_503_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 503 [5, 498, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_509_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 509 [507, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_509_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 509 [507, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_521_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 521 [3, 515, 1]).Irreducible