diff options
Diffstat (limited to 'omegalib/examples/old_test/iter6.oc-rt')
| -rw-r--r-- | omegalib/examples/old_test/iter6.oc-rt | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/omegalib/examples/old_test/iter6.oc-rt b/omegalib/examples/old_test/iter6.oc-rt deleted file mode 100644 index 74f06da..0000000 --- a/omegalib/examples/old_test/iter6.oc-rt +++ /dev/null @@ -1,22 +0,0 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): -# Y := { [i,j] : 1 <= i <= 5 and 12 <= j <= 17}; -# -# codegen Y; -for(t1 = 1; t1 <= 5; t1++) { - for(t2 = 12; t2 <= 17; t2++) { - s1(t1,t2); - } -} - -# -# -# X := { [i,j] : 17i-153 = 12j+17 and 1 <= i <= 100 and 1 <= j <= 100 and i < j}; -# -# codegen X; -for(t1 = 46; t1 <= 70; t1 += 12) { - t2=intDiv((17*t1+11),12); - s1(t1,intDiv(17*t1+-170,12)); -} - -# -# |