loki.analyse.tests.test_util_polyhedron module