Documentation

HexConway.Transport.S1_8

theorem Hex.Conway.ofCoeffs_523_1_monic :

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

theorem Hex.Conway.ofCoeffs_523_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 523 [521, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_541_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 541 [2, 537, 1])

theorem Hex.Conway.ofCoeffs_547_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 547 [545, 1])

theorem Hex.Conway.ofCoeffs_547_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 547 [545, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_557_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 557 [2, 553, 1])

theorem Hex.Conway.ofCoeffs_563_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 563 [561, 1])

theorem Hex.Conway.ofCoeffs_563_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 563 [561, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_569_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 569 [3, 568, 1])

theorem Hex.Conway.ofCoeffs_571_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 571 [568, 1])

theorem Hex.Conway.ofCoeffs_571_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 571 [568, 8, 0, 1])

theorem Hex.Conway.ofCoeffs_577_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 577 [5, 572, 1])

theorem Hex.Conway.ofCoeffs_587_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 587 [585, 1])

theorem Hex.Conway.ofCoeffs_587_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 587 [585, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_593_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 593 [3, 592, 1])

theorem Hex.Conway.ofCoeffs_599_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 599 [592, 1])

theorem Hex.Conway.ofCoeffs_599_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 599 [592, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_601_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 601 [7, 598, 1])

theorem Hex.Conway.ofCoeffs_607_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 607 [604, 1])

theorem Hex.Conway.ofCoeffs_607_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 607 [604, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_613_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 613 [2, 609, 1])

theorem Hex.Conway.ofCoeffs_617_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 617 [614, 1])

theorem Hex.Conway.ofCoeffs_617_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 617 [614, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_619_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 619 [2, 618, 1])