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

summary refs log tree commit diff

path: root/omega/examples/old_test/red1

blob: 1a479b3b96ce3ab3963ea3ec26b3c2c05cbb1fca (plain)

1
2
3

R1 := {[i,j,k] : 17i=12j+170};
R2 :=  {[i,j,k] : k >= 0};
gist R1 given R2;