Polymake software for studying convex polytopes and polyhedra.