cisimplicial.lib
constant Multiple
constant oneDimBelongSemigroup
constant SBelongSemigroup
constant belongSemigroup
constant cardGroup
constant minMult
constant CheckMin
constant SimplicialCheckMin
constant Proportional
constant StimatesMin
constant isCI