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

# gaussImage -- computes the image the Gauss map

- Usage:
    `gaussImage(A)`
- Inputs:
  - A, a matrix, or a list where the columns are lattice points
- Outputs:
  - a list, of monomials giving the torus embedding via the Plücker embedding of the image of the Gauss map of the toric variety X_A

## Description

gaussImage is a function. It computes the image of the Gauss map embedded via the Plücker embedding as described in the paper Gauss Maps of Toric Varieties

    i1 : P=convexHull(matrix{{0,1}});

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

    i3 : A=latticePoints(cayley({P,Q}));

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

    i5 : gaussImage(A)

    o5 = {x x }
           0 1

    o5 : List

    i6 : gaussImage(B)

                   2   2     2 2
    o6 = {x x , x x , x x , x x }
           0 1   0 1   0 1   0 1

    o6 : List

## See also

- gaussFiber -- computes the general fiber of the Gauss map
- gausskFiber -- computes the general fiber of the Gauss map of order k
- gausskImage -- computes the image of the Gauss map of order k

## Ways to use gaussImage:

- `gaussImage(List)`
- `gaussImage(Matrix)`

## For the programmer

The object gaussImage is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/LatticePolytopes.m2:1271:0.