Lots of polyhedron-fun in Mathematica