Notes on working with simplicial sets in computational geometry