Documentation

HexConway.Transport.S3_6

theorem Hex.Conway.ofCoeffs_331_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 331 [3, 326, 1])

theorem Hex.Conway.ofCoeffs_337_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 337 [327, 1])

theorem Hex.Conway.ofCoeffs_337_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 337 [327, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_347_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 347 [2, 343, 1])

theorem Hex.Conway.ofCoeffs_349_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 349 [347, 1])

theorem Hex.Conway.ofCoeffs_349_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 349 [347, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_353_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 353 [3, 348, 1])

theorem Hex.Conway.ofCoeffs_359_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 359 [352, 1])

theorem Hex.Conway.ofCoeffs_359_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 359 [352, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_367_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 367 [6, 366, 1])

theorem Hex.Conway.ofCoeffs_373_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 373 [371, 1])

theorem Hex.Conway.ofCoeffs_373_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 373 [371, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_379_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 379 [2, 374, 1])

theorem Hex.Conway.ofCoeffs_383_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 383 [378, 1])

theorem Hex.Conway.ofCoeffs_383_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 383 [378, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_389_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 389 [2, 379, 1])

theorem Hex.Conway.ofCoeffs_397_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 397 [392, 1])

theorem Hex.Conway.ofCoeffs_397_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 397 [392, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_401_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 401 [3, 396, 1])

theorem Hex.Conway.ofCoeffs_409_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 409 [388, 1])

theorem Hex.Conway.ofCoeffs_409_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 409 [388, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_419_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 419 [2, 418, 1])

theorem Hex.Conway.ofCoeffs_421_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 421 [419, 1])

theorem Hex.Conway.ofCoeffs_421_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 421 [419, 2, 0, 1])