blob: eeb242f68477a1509f494fff453d46529dee11ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# Sym n;
#
# R := {[i,j]: i >= 1 && i <= 101 &&
# j >= i && j <=401 && exists (alpha : j = 2 alpha)};
#
# codegen R;
for(t1 = 1; t1 <= 101; t1++) {
for(t2 = 2*intDiv(t1+1,2); t2 <= 400; t2 += 2) {
s1(t1,t2);
}
}
#
# S := {[i,j]: i >= 1 && i <= 101 && exists (alpha : i = 2 alpha) &&
# j >= i && j <=401 && exists (alpha : j = 2 alpha)};
#
# codegen S;
for(t1 = 2; t1 <= 100; t1 += 2) {
for(t2 = t1; t2 <= 400; t2 += 2) {
s1(t1,t2);
}
}
#
# T := {[i,j]: i >= 1 && i <= 101 && exists (alpha : i = 2 alpha) &&
# j >= i && j <=401 && exists (alpha : 2j = 4 alpha)};
#
# codegen T;
for(t1 = 2; t1 <= 100; t1 += 2) {
for(t2 = t1; t2 <= 400; t2 += 2) {
s1(t1,t2);
}
}
#
|
