blob: 85e95513795d1a8da229ac5d2fc310cc29c1a3f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# Sym n;
#
# R := {[i,j]: i >= 1 && i <= 101 && exists (alpha : i = 2 alpha) &&
# j >= i+2n && j <=401 && exists (alpha : j = 2 alpha)};
#
# codegen R;
for(t1 = 2; t1 <= min(-2*n+400,100); t1 += 2) {
for(t2 = 2*n+t1; t2 <= 400; t2 += 2) {
s1(t1,t2);
}
}
#
|
