barvinok 0.41.5

[barvinok.git] / tests / iscc / lattice_width-jon_2

P :=
5 6
1   0    1    0    0   -1
1   6   -7   -2    0   -1
1   0   -5   -1   -3   16
1  -6   25    2   18  -53
1   0    1    2    0   -5
;
assert((lattice_width(P)) = { 1 });