Macaulay2 » Documentation
Packages » LatticePolytopes :: gausskImage
next | previous | forward | backward | up | index | toc

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

Synopsis

Description

gausskImage is a function. It computes the image of the Gauss map of order k embedded via the Plücker embedding as described in the paper A note on higher order Gauss maps
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 
o5 = {x  , x  x  , x  x  , x  , x  x  , x  x  , x , x x  , x  , 1, x  ,
       1    0  1    0  1    1    0  1    0  1    0   0 1    0       0  
     ------------------------------------------------------------------------
        -1   -1         -2     2   2 -2   2 -1         2       2   2 2   2 
     x x  , x  x , x , x  x , x , x x  , x x  , x x , x x , x x , x x , x ,
      0 1    0  1   1   0  1   0   0 1    0 1    0 1   0 1   0 1   0 1   1 
     ------------------------------------------------------------------------
      -1 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

See also

Ways to use gausskImage :

For the programmer

The object gausskImage is a method function.