faddeev.pwqp (revision 52a25237d894fd5736a90f11df2c5c9391d13fd5) - OpenGrok cross reference for /llvm-project/polly/lib/External/isl/test_inputs/faddeev.pwqp

[N] -> { [i, j, k] -> (((4 + 6 * N + 2 * N^2) + (-2 - 2 * N) * j) + ((-2 - N) + j) * k) : j = 1 + i and k = 1 + i and i >= 3 and N <= 100 and i <= N and N >= 10 }