Documentation

HexConway.Transport.S3_9

theorem Hex.Conway.ofCoeffs_631_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 631 [3, 629, 1])

theorem Hex.Conway.ofCoeffs_641_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 641 [638, 1])

theorem Hex.Conway.ofCoeffs_641_3_monic :

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

theorem Hex.Conway.ofCoeffs_643_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 643 [11, 641, 1])

theorem Hex.Conway.ofCoeffs_647_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 647 [642, 1])

theorem Hex.Conway.ofCoeffs_647_3_monic :

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

theorem Hex.Conway.ofCoeffs_653_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 653 [2, 649, 1])

theorem Hex.Conway.ofCoeffs_659_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 659 [657, 1])

theorem Hex.Conway.ofCoeffs_659_3_monic :

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

theorem Hex.Conway.ofCoeffs_661_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 661 [2, 660, 1])

theorem Hex.Conway.ofCoeffs_673_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 673 [668, 1])

theorem Hex.Conway.ofCoeffs_673_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 673 [668, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_677_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 677 [2, 672, 1])

theorem Hex.Conway.ofCoeffs_683_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 683 [678, 1])

theorem Hex.Conway.ofCoeffs_683_3_monic :

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

theorem Hex.Conway.ofCoeffs_691_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 691 [3, 686, 1])

theorem Hex.Conway.ofCoeffs_701_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 701 [699, 1])

theorem Hex.Conway.ofCoeffs_701_3_monic :

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

theorem Hex.Conway.ofCoeffs_709_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 709 [2, 705, 1])

theorem Hex.Conway.ofCoeffs_719_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 719 [708, 1])

theorem Hex.Conway.ofCoeffs_719_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 719 [708, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_727_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 727 [5, 725, 1])

theorem Hex.Conway.ofCoeffs_733_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 733 [727, 1])

theorem Hex.Conway.ofCoeffs_733_3_monic :

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