degreeOfJetSeparation is a function. Given the set of lattice points of
a convex polyhedron and a point
a matrix it computes the maximal k such that the associated line bundle is k-jet spanned at the point
P=convexHull(matrix{{0,2}}); |
Q=convexHull(matrix{{0,4}}); |
A=latticePoints(cayley({P,Q},2)); |
pt=matrix{{1},{1}}; |
degreeOfJetSeparation(A,pt) |