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

# gausskFiber -- computes the general fiber of the Gauss map of order k

- Usage:
    `gausskFiber(A,k)`
- Inputs:
  - A, a matrix, or a a list where the columns are lattice points
  - k, an integer
- Outputs:
  - a list, of monomials giving the torus embedding of an irreducible component of the general fiber of the Gauss map of order k for the generically k-jet spanned toric variety X_A

## Description

gausskFiber is a function. It computes an irreducible component of the general fiber of the Gauss map order k 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 : gausskFiber(A,2)

    o5 = {1}

    o5 : List

    i6 : gausskFiber(B,2)

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

    o6 : List

## See also

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

## Ways to use gausskFiber:

- `gausskFiber(List,ZZ)`
- `gausskFiber(Matrix,ZZ)`

## For the programmer

The object gausskFiber is a method function.

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