blob: db4b7806f48c6b482e61c70f771e5c28e73ae058 (
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
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# symbolic n,m;
#
# incomingKnown := { [i1,i2] : Exists ( alpha : i1+3alpha = 1+i2 ) &&
# i1 = n && i2 = m};
#
#
#
# codegen incomingKnown;
if (intMod(-n+m+1,3) == 0) {
s1(n,m);
}
#
# incomingKnown := { [i1,i2] : Exists ( alpha : i1+2alpha = 1+i2 ) &&
# i1 = n && i2 = m};
#
#
#
# codegen incomingKnown;
if (intMod(n+m+1,2) == 0) {
s1(n,m);
}
#
|
