• LatticePolytopes -- for computations with lattice polytopes
• ambientHalfspaces -- gives the defining halfspaces of a polytope
• areIsomorphic -- checks if two smooth polytopes are isomorphic
• cayley -- constructs the Cayley sum of polytopes
• codegree -- computes the codegree of a polytope
• degreeOfJetSeparation -- computes the degree of jetSeperation at a given point
• epsilonBounds -- computes bounds for the Seshadri constant a general point
• gaussFiber -- computes the general fiber of the Gauss map
• gaussImage -- computes the image the Gauss map
• gausskFiber -- computes the general fiber of the Gauss map of order k
• gausskImage -- computes the image of the Gauss map of order k
• isCayley -- checks if a polytope is Cayley
• isJetSpanned -- checks if the polarized toric variety associated to a set of lattice points is k-jet spanned at a given point.
• iskCayleykEdges -- Checks if a polytope is Cayley of type [P_0*P_1]^k and has every edge of length k
• jetMatrix -- construct the matrix of k-jets evaluated at a given point.
• listSmooth2D -- gives the list of all smooth 2-polytopes with up to 12 lattice points
• listSmooth3D -- gives the list of all smooth 3-polytopes with up to 16 lattice points
• randQPoly -- gives a random rational polytope
• randZPoly -- gives a random lattice polytope
• smoothTest (missing documentation)
• toricBlowUp -- calculates the stellar subdivision of a polytope at a given face.
• toricDiv -- constructs the toric Weil divisor associated to a polytope
• torusEmbedding -- gives the toric embedding corresponding to a set of lattice points