documentation:master:polytope:dequivalence