tests/iscc/lattice_width-jon_3

   1 # This example was contributed by Jon Yaggie <jyaggi2@uic.edu>
   2 P :=
   3 6 7
   4 1   1    1   -2   -1   -1    4
   5 1   0    0    1    1    1   -4
   6 1   0    0   -2   -1   -1    6
   7 1   2    0   -4   -3   -2   10
   8 1  -1    0    2    1    1   -4
   9 1  -3   -1    6    4    2  -12
  10 ;
  11 assert((lattice_width(P)) = { 1 });