gen_fun::read: read gen_fun from file descriptor

[barvinok.git] / bernstein / examples / basicTest.matrix

3 5

#s  n  m  p  cte
 1  1  0  0   -1  # n >= 1
 1 -1  1  0    0  # m >= n  
 1  0 -1  1    0  # p >= m

0 3

n m p

n^2+n