Documentation

LeanPool.HadwigerNelsonBounds.PartsRootDecisionData0

Generated root-decision chunks 0 through 3.

source
def HadwigerNelsonBounds.partsRootDecisionChunk0 :
Array PartsRootNode

Root-decision data chunk 0.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def HadwigerNelsonBounds.partsRootDecisionChunk1 :
    Array PartsRootNode

    Root-decision data chunk 1.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def HadwigerNelsonBounds.partsRootDecisionChunk2 :
      Array PartsRootNode

      Root-decision data chunk 2.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def HadwigerNelsonBounds.partsRootDecisionChunk3 :
        Array PartsRootNode

        Root-decision data chunk 3.

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