Documentation

LeanPool.BrillNoetherGraphs.LowGenus.GenusFiveRow03CoverReceipts

Sparse Farkas receipts for the row-03 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.GenusFiveRow03FixedCover.farkasReceipts0 :
List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt entries 0 through 127 for the row-03 cover: sparse rational combinations of active inequalities used to certify cell inclusion or exclude a branch.

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

    Farkas receipt entries 128 through 255 for the row-03 cover: sparse rational combinations of active inequalities used to certify cell inclusion or exclude a branch.

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

      Farkas receipt entries 256 through 383 for the row-03 cover: sparse rational combinations of active inequalities used to certify cell inclusion or exclude a branch.

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

        Farkas receipt entries 384 through 511 for the row-03 cover: sparse rational combinations of active inequalities used to certify cell inclusion or exclude a branch.

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

          Farkas receipt entries 512 through 639 for the row-03 cover: sparse rational combinations of active inequalities used to certify cell inclusion or exclude a branch.

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

            Farkas receipt entries 640 through 767 for the row-03 cover: sparse rational combinations of active inequalities used to certify cell inclusion or exclude a branch.

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

              Farkas receipt entries 768 through 795 for the row-03 cover: sparse rational combinations of active inequalities used to certify cell inclusion or exclude a branch.

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

                The concatenated Farkas receipt table indexed by the compact row-03 cover tree.

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