Documentation

HexConway.Transport.S3_12

source
theorem Hex.Conway.ofCoeffs_967_2_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 967 [5, 965, 1])
source
theorem Hex.Conway.ofCoeffs_971_1_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 971 [965, 1])
source
theorem Hex.Conway.ofCoeffs_971_3_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 971 [965, 3, 0, 1])
source
theorem Hex.Conway.ofCoeffs_977_2_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 977 [3, 972, 1])
source
theorem Hex.Conway.ofCoeffs_983_1_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 983 [978, 1])
source
theorem Hex.Conway.ofCoeffs_983_3_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 983 [978, 1, 0, 1])
source
theorem Hex.Conway.ofCoeffs_991_2_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 991 [6, 989, 1])
source
theorem Hex.Conway.ofCoeffs_997_1_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 997 [990, 1])
source
theorem Hex.Conway.ofCoeffs_997_3_monic :
DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 997 [990, 2, 0, 1])