Documentation

HexConway.Transport.S1_10

theorem Hex.Conway.ofCoeffs_739_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 739 [736, 1])

theorem Hex.Conway.ofCoeffs_739_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 739 [736, 11, 0, 1])

theorem Hex.Conway.ofCoeffs_743_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 743 [5, 742, 1])

theorem Hex.Conway.ofCoeffs_751_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 751 [748, 1])

theorem Hex.Conway.ofCoeffs_751_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 751 [748, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_757_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 757 [2, 753, 1])

theorem Hex.Conway.ofCoeffs_761_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 761 [755, 1])

theorem Hex.Conway.ofCoeffs_761_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 761 [755, 12, 0, 1])

theorem Hex.Conway.ofCoeffs_769_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 769 [11, 765, 1])

theorem Hex.Conway.ofCoeffs_773_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 773 [771, 1])

theorem Hex.Conway.ofCoeffs_773_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 773 [771, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_787_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 787 [2, 786, 1])

theorem Hex.Conway.ofCoeffs_797_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 797 [795, 1])

theorem Hex.Conway.ofCoeffs_797_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 797 [795, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_809_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 809 [3, 799, 1])

theorem Hex.Conway.ofCoeffs_811_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 811 [808, 1])

theorem Hex.Conway.ofCoeffs_811_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 811 [808, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_821_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 821 [2, 816, 1])

theorem Hex.Conway.ofCoeffs_823_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 823 [820, 1])

theorem Hex.Conway.ofCoeffs_823_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 823 [820, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_827_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 827 [2, 821, 1])

theorem Hex.Conway.ofCoeffs_829_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 829 [827, 1])

theorem Hex.Conway.ofCoeffs_829_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 829 [827, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_839_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 839 [11, 838, 1])