omega/examples/old_test/p13.oc-rt


1
2
3
4
5
6
7
8
9
10
11
12
13

# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# T := { [d1, -1] : d1 > 0 };
# 
# T;

{[d1,-1]: 1 <= d1}

# 
# farkas T;

{[d1,In_2]: 0 <= d1 && In_2 <= constantTerm+d1}

#