colorfulPresentation -- A presentation of the Stanley-Reisner ring of the barycentric subdivision of a simplicial complex over its colorful parameter ring
colorfulPresentation(List) -- A presentation of the Stanley-Reisner ring of the barycentric subdivision of a simplicial complex over its colorful parameter ring
colorfulPresentation(SimplicialComplex) -- 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)