isl_qpolynomial_reset_domain_space: fix memory management annotation
[isl.git] / test_inputs / philippe3vars3pars.pwqp
blobf81b8cc5a68ff1e1b1f5ff4823a133e7f1564f1e
1 [N, M, L] -> { [i, j, k] -> (((1/2 * i + 1/2 * i^2) + j) + k^3) : i >= 0 and k >= -N + i and k >= -M - j and j <= L + i and L >= 0 and L >= -M }