polytope-algebra