Simplicial_complexes_and_boolean_functions.Simplicial_complex