Documentation

HexConway.Transport.S1_12

source
theorem Hex.Conway.ofCoeffs_967_1_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 967 [962, 1])
source
theorem Hex.Conway.ofCoeffs_967_3_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 967 [962, 1, 0, 1])
source
theorem Hex.Conway.ofCoeffs_971_2_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 971 [6, 970, 1])
source
theorem Hex.Conway.ofCoeffs_977_1_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 977 [974, 1])
source
theorem Hex.Conway.ofCoeffs_977_3_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 977 [974, 1, 0, 1])
source
theorem Hex.Conway.ofCoeffs_983_2_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 983 [5, 981, 1])
source
theorem Hex.Conway.ofCoeffs_991_1_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 991 [985, 1])
source
theorem Hex.Conway.ofCoeffs_991_3_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 991 [985, 4, 0, 1])
source
theorem Hex.Conway.ofCoeffs_997_2_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 997 [7, 995, 1])