Searched refs:testComputeReprAtPoints (Results 1 – 1 of 1) sorted by relevance
814 void testComputeReprAtPoints(IntegerPolyhedron poly, in testComputeReprAtPoints() function839 testComputeReprAtPoints(parseIntegerPolyhedron("(x, y) : (x - 2*y == 0)"), in TEST()842 testComputeReprAtPoints(parseIntegerPolyhedron("(x, e) : (x - 2*e == 0)"), in TEST()846 testComputeReprAtPoints(parseIntegerPolyhedron("(x, y)[z, w] : ()"), {}, in TEST()848 testComputeReprAtPoints( in TEST()