tests/iscc/lattice_width-jon_2

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