129   EXPECT_TRUE(PresburgerSet(parsePoly("(x) : (x - 2*(x floordiv 2) == 0)"))  in TEST()
442   PresburgerSet evens{parsePoly("(x) : (x - 2 * (x floordiv 2) == 0)")};  in TEST()
445   PresburgerSet odds{parsePoly("(x) : (x - 2 * (x floordiv 2) - 1 == 0)")};  in TEST()
448   PresburgerSet multiples3{parsePoly("(x) : (x - 3 * (x floordiv 3) == 0)")};  in TEST()
451   PresburgerSet multiples6{parsePoly("(x) : (x - 6 * (x floordiv 6) == 0)")};  in TEST()
463   PresburgerSet setA{parsePoly("(x) : (-x >= 0)")};  in TEST()
464   PresburgerSet setB{parsePoly("(x) : (x floordiv 2 - 4 >= 0)")};  in TEST()
475   IntegerPolyhedron poly = parsePoly(str);  in parsePolyAndMakeLocals()
508       parsePoly("(x) : (x - 2 * (x floordiv 2) == 0)")};  in TEST()
527   IntegerPolyhedron triangle = parsePoly("(x,y) : (y >= 0, "  in TEST()
535   IntegerPolyhedron line = parsePoly("(x) : (x - 1000 == 0)");  in TEST()
546   PresburgerSet zeroToThirteen{parsePoly("(x) : (13 - x >= 0, x >= 0)")};  in TEST()
547   PresburgerSet fifteen{parsePoly("(x) : (x - 15 == 0)")};  in TEST()
792       parsePoly("(x, y) : (x + y >= 0, -x - y + 10 >= 0, x - y >= 0, -x + y + "  in TEST()
799   PresburgerSet shiftedDiamond(parsePoly(  in TEST()
807   PresburgerSet biggerDiamond(parsePoly(  in TEST()
826   PresburgerSet unbounded(parsePoly("(x, y) : (2*x - y >= 0, y - 3*x >= 0)"));  in TEST()
863   testComputeReprAtPoints(parsePoly("(x, y) : (x - 2*y == 0)"),  in TEST()
866   testComputeReprAtPoints(parsePoly("(x, e) : (x - 2*e == 0)"),  in TEST()
870   testComputeReprAtPoints(parsePoly("(x, y)[z, w] : ()"), {},  in TEST()
872   testComputeReprAtPoints(parsePoly("(x, y)[z, w] : (z - (w floordiv 2) == 0)"),  in TEST()
879       parsePoly("(x, e, f) : (x - 15*e - 21*f == 0)"),  in TEST()
880       PresburgerSet(parsePoly({"(x) : (x - 3*(x floordiv 3) == 0)"})),  in TEST()