isl_ast_expr_from_constraint: split off constant term if it avoids operation
[platform/upstream/isl.git] / test_inputs / convex7.polylib
1 1 4
2 0 0 1 0
3
4 2 4
5 1 1 -1 1
6 1 -1 -1 1
7
8 1 4
9 1 0 -1 1