Documentation

HexConway.Transport.S2_7

theorem Hex.Conway.ofCoeffs_431_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 431 [7, 430, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_433_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 433 [428, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_433_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 433 [428, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_439_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 439 [15, 436, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_443_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 443 [441, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_443_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 443 [441, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_449_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 449 [3, 444, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_457_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 457 [444, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_457_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 457 [444, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_461_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 461 [2, 460, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_463_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 463 [460, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_463_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 463 [460, 10, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_467_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 467 [2, 463, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_479_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 479 [466, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_479_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 479 [466, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_487_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 487 [3, 485, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_491_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 491 [489, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_491_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 491 [489, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_499_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 499 [7, 493, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_503_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 503 [498, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_503_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 503 [498, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_509_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 509 [2, 508, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_521_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 521 [518, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_521_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 521 [518, 4, 0, 1]).Irreducible