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

Synopsis

• 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   0 1   0   0   1

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