tests/iscc/lattice_width-jon_1

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