44. Algorithms and worked nonlinear filters

Every finite criterion in the paper can be checked directly from coordinates. The reference code uses dense arrays so that each contraction can be inspected. A sparse implementation would loop only over the active hyperedges.