code for a library in CoCoALib for dealing with simplicial complexes