Documentation

LeanPool.Erdos97ConvexOctagon.CoverageData18

Coverage certificate data, buckets 144–151 #

source
def Erdos97Octagon.RawIncidence.patternBuckets18 :
Array (List PatternEntry)

Generated monotone-obstruction entries for this hash-bucket group.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Erdos97Octagon.RawIncidence.hardBuckets18 :
    Array (List HardEntry)

    Generated exact-table entries for this hash-bucket group.

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