Corrected the first exercise: now it contains the construction of the polytope in Polymake