Change the partial domain and range in isl_union_map

[Kelvin Yang]

I have {[A[i]->B[j]] -> C[k]} and I want to get  {A[i]-> [B[j] -> C[k]]}
Is there a built-in function in ISL for this?

Thank you!

[Sven Verdoolaege]

On Thu, Apr 06, 2023 at 07:23:46AM -0700, Kelvin Yang wrote:
> I have {*[*A[i]->B[j]*]* -> C[k]} and I want to get {A[i]-> *[*B[j] -> C[k]
> *]*}

> Is there a built-in function in ISL for this?

It sound like you're looking for "curry".

>>> import isl
>>> isl.map("{ [A[i]->B[j]]->C[k] }").curry()
isl.map("{ A[i] -> [B[j] -> C[k]] }")

skimo

[Kelvin Yang]

Thank you very much!

Sven Verdoolaege 在 2023年4月7日 星期五清晨5:46:32 [UTC+8] 的信中寫道：