Documentation

HexConway.Transport.S3_10

theorem Hex.Conway.ofCoeffs_739_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 739 [3, 734, 1])

theorem Hex.Conway.ofCoeffs_743_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 743 [738, 1])

theorem Hex.Conway.ofCoeffs_743_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 743 [738, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_751_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 751 [3, 749, 1])

theorem Hex.Conway.ofCoeffs_757_1_monic :

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

theorem Hex.Conway.ofCoeffs_757_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 757 [755, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_761_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 761 [6, 758, 1])

theorem Hex.Conway.ofCoeffs_769_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 769 [758, 1])

theorem Hex.Conway.ofCoeffs_769_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 769 [758, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_773_2_monic :

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

theorem Hex.Conway.ofCoeffs_787_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 787 [785, 1])

theorem Hex.Conway.ofCoeffs_787_3_monic :

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

theorem Hex.Conway.ofCoeffs_797_2_monic :

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

theorem Hex.Conway.ofCoeffs_809_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 809 [806, 1])

theorem Hex.Conway.ofCoeffs_809_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 809 [806, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_811_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 811 [3, 806, 1])

theorem Hex.Conway.ofCoeffs_821_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 821 [819, 1])

theorem Hex.Conway.ofCoeffs_821_3_monic :

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

theorem Hex.Conway.ofCoeffs_823_2_monic :

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

theorem Hex.Conway.ofCoeffs_827_1_monic :

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

theorem Hex.Conway.ofCoeffs_827_3_monic :

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

theorem Hex.Conway.ofCoeffs_829_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 829 [2, 828, 1])

theorem Hex.Conway.ofCoeffs_839_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 839 [828, 1])

theorem Hex.Conway.ofCoeffs_839_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 839 [828, 4, 0, 1])