131       PresburgerSet(parseIntegerPolyhedron("(x) : (x - 2*(x floordiv 2) == 0)"))  in TEST()
427       parseIntegerPolyhedron("(x) : (x - 2 * (x floordiv 2) == 0)")};  in TEST()
431       parseIntegerPolyhedron("(x) : (x - 2 * (x floordiv 2) - 1 == 0)")};  in TEST()
435       parseIntegerPolyhedron("(x) : (x - 3 * (x floordiv 3) == 0)")};  in TEST()
439       parseIntegerPolyhedron("(x) : (x - 6 * (x floordiv 6) == 0)")};  in TEST()
451   PresburgerSet setA{parseIntegerPolyhedron("(x) : (-x >= 0)")};  in TEST()
452   PresburgerSet setB{parseIntegerPolyhedron("(x) : (x floordiv 2 - 4 >= 0)")};  in TEST()
463   IntegerPolyhedron poly = parseIntegerPolyhedron(str);  in parseIntegerPolyhedronAndMakeLocals()
496       parseIntegerPolyhedron("(x) : (x - 2 * (x floordiv 2) == 0)")};  in TEST()
516       parseIntegerPolyhedron("(x,y) : (y >= 0, 3000 * x - 2999 * y - 1000 >= "  in TEST()
524   IntegerPolyhedron line = parseIntegerPolyhedron("(x) : (x - 1000 == 0)");  in TEST()
537       parseIntegerPolyhedron("(x) : (13 - x >= 0, x >= 0)")};  in TEST()
538   PresburgerSet fifteen{parseIntegerPolyhedron("(x) : (x - 15 == 0)")};  in TEST()
766   PresburgerSet diamond(parseIntegerPolyhedron(  in TEST()
774   PresburgerSet shiftedDiamond(parseIntegerPolyhedron(  in TEST()
782   PresburgerSet biggerDiamond(parseIntegerPolyhedron(  in TEST()
802       parseIntegerPolyhedron("(x, y) : (2*x - y >= 0, y - 3*x >= 0)"));  in TEST()
839   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()
849       parseIntegerPolyhedron("(x, y)[z, w] : (z - (w floordiv 2) == 0)"), {},  in TEST()
854   testComputeRepr(parseIntegerPolyhedron("(x, e, f) : (x - 15*e - 21*f == 0)"),  in TEST()
855                   PresburgerSet(parseIntegerPolyhedron(  in TEST()