Documentation

HexConway.Transport.S3_7

theorem Hex.Conway.ofCoeffs_431_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 431 [7, 430, 1])

theorem Hex.Conway.ofCoeffs_433_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 433 [428, 1])

theorem Hex.Conway.ofCoeffs_433_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 433 [428, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_439_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 439 [15, 436, 1])

theorem Hex.Conway.ofCoeffs_443_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 443 [441, 1])

theorem Hex.Conway.ofCoeffs_443_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 443 [441, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_449_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 449 [3, 444, 1])

theorem Hex.Conway.ofCoeffs_457_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 457 [444, 1])

theorem Hex.Conway.ofCoeffs_457_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 457 [444, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_461_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 461 [2, 460, 1])

theorem Hex.Conway.ofCoeffs_463_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 463 [460, 1])

theorem Hex.Conway.ofCoeffs_463_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 463 [460, 10, 0, 1])

theorem Hex.Conway.ofCoeffs_467_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 467 [2, 463, 1])

theorem Hex.Conway.ofCoeffs_479_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 479 [466, 1])

theorem Hex.Conway.ofCoeffs_479_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 479 [466, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_487_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 487 [3, 485, 1])

theorem Hex.Conway.ofCoeffs_491_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 491 [489, 1])

theorem Hex.Conway.ofCoeffs_491_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 491 [489, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_499_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 499 [7, 493, 1])

theorem Hex.Conway.ofCoeffs_503_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 503 [498, 1])

theorem Hex.Conway.ofCoeffs_503_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 503 [498, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_509_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 509 [2, 508, 1])

theorem Hex.Conway.ofCoeffs_521_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 521 [518, 1])

theorem Hex.Conway.ofCoeffs_521_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 521 [518, 4, 0, 1])