Skip to content

rename_inames does not map domains #726

@isuruf

Description

@isuruf

For eg:

knl = lp.make_kernel(
    [
        "{ [i]: 0<=i<10 }",
        "{ [k]: 0<=k<i }",
    ],
    "out[i, k] = 2*a[i, k]"
)
knl = lp.rename_inames(knl, ["i"], "j")

results in the following domains:

{ [j] : 0 <= j <= 9 }
{ [k] : 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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions