add isl_pw_multi_aff_product
[isl.git] / test_inputs / philippe3vars.pwqp
blob8d074962578d8bb0567ec78c1a5b9fe08aeaf432
1 [N] -> { [i, j, k] -> (((1/2 * i + 1/2 * i^2) + j) + k^3) : i >= 0 and k >= -N + i and k >= -j and j <= i }