A small cover is represented by a simplicial complex K and matrix which is characteristic for K.
The object SmallCover is a type, with ancestor classes HashTable < Thing.