Documentation

HexConway.Transport.S2_9

theorem Hex.Conway.ofCoeffs_631_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 631 [3, 629, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_641_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 641 [638, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_641_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 641 [638, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_643_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 643 [11, 641, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_647_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 647 [642, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_647_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 647 [642, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_653_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 653 [2, 649, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_659_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 659 [657, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_659_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 659 [657, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_661_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 661 [2, 660, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_673_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 673 [668, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_673_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 673 [668, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_677_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 677 [2, 672, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_683_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 683 [678, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_683_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 683 [678, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_691_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 691 [3, 686, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_701_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 701 [699, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_701_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 701 [699, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_709_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 709 [2, 705, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_719_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 719 [708, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_719_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 719 [708, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_727_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 727 [5, 725, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_733_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 733 [727, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_733_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 733 [727, 4, 0, 1]).Irreducible