loopy
loopy copied to clipboard
Domain parsing fail
knl = lp.make_kernel(
[
"{[i,j]: 0<=i,j<n}"
"{[k,l]: 0<=i,j<n}"
],
"""
a[i,j] = 2*a[i,j]
a[k,l] = 2*a[k,l]
""")
Note the missing comma. Something (isl?) just ignores the second part.
cc @a-alveyblanc
Yep, that's an ISL bug:
>>> import islpy as isl
>>> isl.BasicSet("{[i]: 0<=i<10}{[j]: 0<=j<10}")
BasicSet("{ [i] : 0 <= i <= 9 }")