rename_inames does not map domains
Open
- Dominant language
- Python
- Stars
- 636
- Forks
- 81
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 7
Description
For eg:
```python
knl = lp.make_kernel(
[
"{ [i]: 0<=i<10 }",
"{ [k]: 0<=k= 0 }
```
Looking at the intermediate domains before unused inames are removed we see the issue.
```
{ [i, j] : 0 <= i <= 9 and 0 <= j <= 9 }
[i] -> { [k] : 0 <= k < i }
```
Note that the domain with `k` does not have `j` in it.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.