gausskImage -- computes the image of the Gauss map of order k

i1 : P=hypercube(2,1);

i2 : Q=convexHull(matrix{{0}});

i3 : A=latticePoints(P);

i4 : B=latticePoints(cayley({Q,Q,Q},2));

i5 : gausskImage(A,2)

       -2 -2   -2 -1   -2   -1 -2   -1 -1   -1   -2     -1     -2   -1    
o5 = {x  x  , x  x  , x  , x  x  , x  x  , x  , x  x , x  x , x  , x  , 1,
       0  1    0  1    0    0  1    0  1    0    0  1   0  1   1    1     
     ------------------------------------------------------------------------
            -2     -1       -2 2   -1 2   2           2   2 -2   2 -1   2 
     x , x x  , x x  , x , x  x , x  x , x , x x , x x , x x  , x x  , x ,
      1   0 1    0 1    0   0  1   0  1   1   0 1   0 1   0 1    0 1    0 
     ------------------------------------------------------------------------
      2     2 2
     x x , x x }
      0 1   0 1

o5 : List

i6 : gausskImage(B,2)

       4 4
o6 = {x x }
       0 1

o6 : List