Documentation

LeanPool.HadwigerNelsonBounds.PartsGadgetHardCasesData

Generated aggregation and routing for the hard normalized cases.

source
def HadwigerNelsonBounds.partsGadgetHardCertificates (index : Fin 31) :
PartsGadgetCertificate

All independently checked hard-case certificates.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def HadwigerNelsonBounds.partsGadgetHardCaseNodes :
    Array (PartsGadgetCaseNode 31)

    Routing nodes covering every unblocked hard normalized coloring.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def HadwigerNelsonBounds.partsGadgetHardCaseTree :
      PartsGadgetCaseTree 31

      The complete hard-case routing tree.

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