Documentation

HexConway.Transport.S1_9

theorem Hex.Conway.ofCoeffs_631_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 631 [628, 1])

theorem Hex.Conway.ofCoeffs_631_3_monic :

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

theorem Hex.Conway.ofCoeffs_641_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 641 [3, 635, 1])

theorem Hex.Conway.ofCoeffs_643_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 643 [632, 1])

theorem Hex.Conway.ofCoeffs_643_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 643 [632, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_647_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 647 [5, 645, 1])

theorem Hex.Conway.ofCoeffs_653_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 653 [651, 1])

theorem Hex.Conway.ofCoeffs_653_3_monic :

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

theorem Hex.Conway.ofCoeffs_659_2_monic :

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

theorem Hex.Conway.ofCoeffs_661_1_monic :

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

theorem Hex.Conway.ofCoeffs_661_3_monic :

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

theorem Hex.Conway.ofCoeffs_673_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 673 [5, 672, 1])

theorem Hex.Conway.ofCoeffs_677_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 677 [675, 1])

theorem Hex.Conway.ofCoeffs_677_3_monic :

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

theorem Hex.Conway.ofCoeffs_683_2_monic :

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

theorem Hex.Conway.ofCoeffs_691_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 691 [688, 1])

theorem Hex.Conway.ofCoeffs_691_3_monic :

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

theorem Hex.Conway.ofCoeffs_701_2_monic :

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

theorem Hex.Conway.ofCoeffs_709_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 709 [707, 1])

theorem Hex.Conway.ofCoeffs_709_3_monic :

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

theorem Hex.Conway.ofCoeffs_719_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 719 [11, 715, 1])

theorem Hex.Conway.ofCoeffs_727_1_monic :

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

theorem Hex.Conway.ofCoeffs_727_3_monic :

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

theorem Hex.Conway.ofCoeffs_733_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 733 [6, 732, 1])