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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
# 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);
}
}
}
}
}
}
}
#
# 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);
}
}
}
}
}
}
}
#
# 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);
}
}
}
}
}
}
}
#
# 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);
}
}
}
}
}
}
}
#
# 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);
}
}
}
}
}
}
}
#
|
