degreeOfJetSeparation -- computes the degree of jetSeparation at a given point

Synopsis

• Usage:

  degreeOfJetSeparation(A,pt)

• Inputs:
  • A, a matrix, or a list where the columns are lattice points
  • pt, a matrix, a point as a column vector
• Outputs:
  • k, an integer, the maximal such that the embedding specified by A is k-jet spanned at pt

Description

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

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

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

i4 : pt=matrix{{1},{1}};

              2       1
o4 : Matrix ZZ  <-- ZZ

i5 : degreeOfJetSeparation(A,pt)

o5 = 2

See also

• isJetSpanned -- checks if the polarized toric variety associated to a set of lattice points is k-jet spanned at a given point.