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

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