p8 « old_test « examples « omega - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omega/examples/old_test/p8

blob: d6031ad031744c76d2e4078bcaf28c560b68e0e1 (plain)

R1 := {[i] -> [j] : i < j};
R2 := {[x] -> [y] : x < y};
inverse R2;
R1 union R2;
R2(R1);