Test/Zpolytest/LatInc1.in

   1 #inculsion between the  affine lattices
   2 M 3
   3 4 4
   4 2 18 4 0
   5 5 60 10 0
   6 1 2 3 0
   7 0 0 0 1
   8 4 4
   9 4 18 4 0
  10 5 60 10 0
  11 1 2 3 0
  12 0 0 0 1
  13 4 4
  14 2 18 4 0
  15 5 60 10 0
  16 1 2 3 0
  17 0 0 0 1
  18 4 4
  19 2 0 0 0
  20 0 5 0 0
  21 0 0 1 0
  22 0 0 0 1
  23 D 0
  24 F 4
  25
  26 2 \in 1
  27 1 \in 3
  28 1 \notIn 2