Documentation

HexConway.Transport.S1_6

theorem Hex.Conway.ofCoeffs_331_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 331 [328, 1])

theorem Hex.Conway.ofCoeffs_331_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 331 [328, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_337_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 337 [10, 332, 1])

theorem Hex.Conway.ofCoeffs_347_1_monic :

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

theorem Hex.Conway.ofCoeffs_347_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 347 [345, 9, 0, 1])

theorem Hex.Conway.ofCoeffs_349_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 349 [2, 348, 1])

theorem Hex.Conway.ofCoeffs_353_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 353 [350, 1])

theorem Hex.Conway.ofCoeffs_353_3_monic :

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

theorem Hex.Conway.ofCoeffs_359_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 359 [7, 358, 1])

theorem Hex.Conway.ofCoeffs_367_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 367 [361, 1])

theorem Hex.Conway.ofCoeffs_367_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 367 [361, 10, 0, 1])

theorem Hex.Conway.ofCoeffs_373_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 373 [2, 369, 1])

theorem Hex.Conway.ofCoeffs_379_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 379 [377, 1])

theorem Hex.Conway.ofCoeffs_379_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 379 [377, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_383_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 383 [5, 382, 1])

theorem Hex.Conway.ofCoeffs_389_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 389 [387, 1])

theorem Hex.Conway.ofCoeffs_389_3_monic :

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

theorem Hex.Conway.ofCoeffs_397_2_monic :

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

theorem Hex.Conway.ofCoeffs_401_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 401 [398, 1])

theorem Hex.Conway.ofCoeffs_401_3_monic :

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

theorem Hex.Conway.ofCoeffs_409_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 409 [21, 404, 1])

theorem Hex.Conway.ofCoeffs_419_1_monic :

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

theorem Hex.Conway.ofCoeffs_419_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 419 [417, 11, 0, 1])

theorem Hex.Conway.ofCoeffs_421_2_monic :

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