colorfulPresentation -- A presentation of the Stanley-Reisner ring of the barycentric subdivision of a simplicial complex over its colorful parameter ring
colorfulSOP -- Colorful System of Parameters (KSOP)
equalBettiTally -- Computes the Betti table of two modules and compares for equality