blob: 74f06da34c1bd17c5bb9cb2f5a0a753ac5661c8c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# 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));
}
#
#
|
