Polyhedra implementation + examples (Contributed by Jan Elias).