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 });
