Documentation

LeanPool.BrillNoetherGraphs.LowGenus.GenusFiveRow14CoverReceipts

Sparse Farkas receipts for the row-14 closed cover #

These passive row multipliers are replayed by the corresponding fixed-cover module. The ordered blocks and their concatenation retain the global receipt indices used by its tree.

source
def AtanasovRanganathan.GenusFiveRow14FixedCover.farkasReceipts0 :
List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 0 for the row-14 tree, providing global indices 0 through 127. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def AtanasovRanganathan.GenusFiveRow14FixedCover.farkasReceipts1 :
    List Utilities.Certificate.AffineCover.FarkasData

    Farkas receipt block 1 for the row-14 tree, providing global indices 128 through 255. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def AtanasovRanganathan.GenusFiveRow14FixedCover.farkasReceipts2 :
      List Utilities.Certificate.AffineCover.FarkasData

      Farkas receipt block 2 for the row-14 tree, providing global indices 256 through 346. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def AtanasovRanganathan.GenusFiveRow14FixedCover.farkasReceipts :
        List Utilities.Certificate.AffineCover.FarkasData

        The complete table of 347 row-14 Farkas receipts, concatenated in the global order referenced by decision-tree leaves.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For