# This example was contributed by Jon Yaggie <jyaggi2@uic.edu>
P :=
6 5
1   1    0    0   -1
1  20   -9   15  -41
1  11   -3   18  -44
1  -8    1   -6   32
1  -4    3   -6   16
1  -1    3   -3    4
;
assert((lattice_width(P)) = { 3 });
