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

• Usage:

  isJetSpanned(A,k,pt)

• Inputs:
  • A, a matrix,
  • k, an integer,
  • pt, a matrix,
• Outputs:
  • a Boolean value,

i1 : A=latticePoints(convexHull(matrix{{0,0,2},{0,2,0}}))

o1 = {0, | 0 |, | 0 |, | 1 |, | 1 |, | 2 |}
         | 1 |  | 2 |  | 0 |  | 1 |  | 0 |

o1 : List

i2 : pt=matrix{{1},{1}}

o2 = | 1 |
     | 1 |

              2       1
o2 : Matrix ZZ  <-- ZZ

i3 : isJetSpanned(A,2,pt)

o3 = true