Computer constructions of polyhedra