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

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

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   -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

See also

Ways to use gausskImage:

  • gausskImage(List,ZZ)
  • gausskImage(Matrix,ZZ)

For the programmer

The object gausskImage is a method function.

The source of this document is in LatticePolytopes.m2:1295:0.