Documentation

HexConway.Transport.S0_9

theorem Hex.Conway.ofCoeffs_631_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 631 [628, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_631_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 631 [628, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_641_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 641 [3, 635, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_643_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 643 [632, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_643_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 643 [632, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_647_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 647 [5, 645, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_653_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 653 [651, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_653_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 653 [651, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_659_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 659 [2, 655, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_661_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 661 [659, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_661_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 661 [659, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_673_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 673 [5, 672, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_677_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 677 [675, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_677_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 677 [675, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_683_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 683 [5, 682, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_691_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 691 [688, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_691_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 691 [688, 14, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_701_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 701 [2, 697, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_709_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 709 [707, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_709_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 709 [707, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_719_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 719 [11, 715, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_727_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 727 [722, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_727_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 727 [722, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_733_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 733 [6, 732, 1]).Irreducible