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

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