diff options
author | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-19 11:52:51 -0600 |
---|---|---|
committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-19 11:52:51 -0600 |
commit | 372c92e7c1901dd7bdd1d2fd48bff205c31dca2d (patch) | |
tree | 439073a6481f50b26e2e881999cc568619628987 /omegalib/examples/old_test/lefur03.oc-rt | |
parent | 62f7acd88465f4f20b9b25c3f7edd4e3b7ce453b (diff) | |
download | chill-372c92e7c1901dd7bdd1d2fd48bff205c31dca2d.tar.gz chill-372c92e7c1901dd7bdd1d2fd48bff205c31dca2d.tar.bz2 chill-372c92e7c1901dd7bdd1d2fd48bff205c31dca2d.zip |
remove omegacalc as subproject
Diffstat (limited to 'omegalib/examples/old_test/lefur03.oc-rt')
-rw-r--r-- | omegalib/examples/old_test/lefur03.oc-rt | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/omegalib/examples/old_test/lefur03.oc-rt b/omegalib/examples/old_test/lefur03.oc-rt deleted file mode 100644 index 3fbb8cb..0000000 --- a/omegalib/examples/old_test/lefur03.oc-rt +++ /dev/null @@ -1,35 +0,0 @@ -# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): -# # From Fabien Coelho -# -# R := { [i,j,k,l,m,n] : -# 0 <= i <= 3 && -# 0 <= j <= 3 && -# 0 <= k <= 3 && -# 0 <= l <= 3 && -# 1 <= m <= 1000 && -# -1 <= 3 m - 1000 k <= 998 && -# m <= n <= 2 m + 1 && -# 0 <= m + n - 1000 i <= 999 && -# 0 <= 2 n - m - 1000 j <= 999 && -# 2 <= n + 2 m - 1000 l <= 1001 -# } ; -# -# -# codegen R; -for(t1 = 0; t1 <= 3; t1++) { - for(t2 = max(2*t1-3,0); t2 <= min(t1+1,3); t2++) { - for(t3 = t1; t3 <= min(2*t1-t2+1,3*t2+2,3); t3++) { - for(t4 = max(intDiv(t3+3*t1-3+2,3),intDiv(5*t3+3*t2-6+5,6),intDiv(4*t2-3+2,3),0); t4 <= min(intDiv(-t2+5*t1+4,3),intDiv(5*t3+3*t2+7,6),3); t4++) { - if (t1 <= t4+1) { - for(t5 = max(intDiv(1000*t3-1+2,3),250*t4+1,intDiv(-1000*t2+2000*t1-999+2,3),intDiv(1000*t2-2+2,3),-200*t2+400*t4-199); t5 <= min(intDiv(1000*t4+1001,3),-200*t2+400*t4+400,intDiv(1000*t3+998,3),500*t1+499,1000); t5++) { - for(t6 = max(t5,intDiv(t5+1000*t2+1,2),-2*t5+1000*t4+2,-t5+1000*t1); t6 <= min(-2*t5+1000*t4+1001,2*t5+1,intDiv(t5+1000*t2+999,2),-t5+1000*t1+999); t6++) { - s1(t1,t2,t3,t4,t5,t6); - } - } - } - } - } - } -} - -# |