omegalib/examples/old_test/farkas.oc-rt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# 
# symbolic n;
# 
# symbolic c;
# 
# 
# R := {[i,j] : 1 <= i <= 10 && 1 <= j <= n};
# 
# 
# ac := farkas R;
# 
# ac;

{[i,j]: 0 <= constantTerm+n+i+j && 0 <= constantTerm+n+10i+j && 0 <= n+j && 0 <= n}

#