loki.analyse.util_polyhedron module