extra functions to compute support of facets, string representations of facets