LatticePolytopes : Index

• adjointPolytope -- computes the adjoint of a polytope
• adjointPolytope(Matrix,ZZ) -- computes the adjoint of a polytope
• adjointPolytope(Polyhedron,ZZ) -- computes the adjoint of a polytope
• ambientHalfspaces -- gives the defining halfspaces of a polytope
• ambientHalfspaces(Polyhedron) -- gives the defining halfspaces of a polytope
• areIsomorphic -- checks if two smooth polytopes are isomorphic
• areIsomorphic(Matrix,Matrix) -- checks if two smooth polytopes are isomorphic
• areIsomorphic(Polyhedron,Polyhedron) -- checks if two smooth polytopes are isomorphic
• cayley -- constructs the Cayley sum of polytopes
• cayley(List) -- constructs the Cayley sum of polytopes
• cayley(List,ZZ) -- constructs the Cayley sum of polytopes
• cayley(Matrix,Matrix) -- constructs the Cayley sum of polytopes
• cayley(Matrix,Matrix,Matrix) -- constructs the Cayley sum of polytopes
• cayley(Matrix,Matrix,Matrix,ZZ) -- constructs the Cayley sum of polytopes
• cayley(Matrix,Matrix,ZZ) -- constructs the Cayley sum of polytopes
• cayley(Polyhedron,Polyhedron) -- constructs the Cayley sum of polytopes
• cayley(Polyhedron,Polyhedron,Polyhedron) -- constructs the Cayley sum of polytopes
• cayley(Polyhedron,Polyhedron,Polyhedron,ZZ) -- constructs the Cayley sum of polytopes
• cayley(Polyhedron,Polyhedron,ZZ) -- constructs the Cayley sum of polytopes
• codegree -- computes the codegree of a polytope
• codegree(Matrix) -- computes the codegree of a polytope
• codegree(Polyhedron) -- computes the codegree of a polytope
• degreeOfJetSeparation -- computes the degree of jetSeparation at a given point
• degreeOfJetSeparation(List,Matrix) -- computes the degree of jetSeparation at a given point
• degreeOfJetSeparation(Matrix,Matrix) -- computes the degree of jetSeparation at a given point
• epsilonBounds -- computes bounds for the Seshadri constant a general point
• epsilonBounds(Polyhedron,ZZ) -- computes bounds for the Seshadri constant a general point
• gaussFiber -- computes the general fiber of the Gauss map
• gaussFiber(List) -- computes the general fiber of the Gauss map
• gaussFiber(Matrix) -- computes the general fiber of the Gauss map
• gaussImage -- computes the image the Gauss map
• gaussImage(List) -- computes the image the Gauss map
• gaussImage(Matrix) -- computes the image the Gauss map
• gausskFiber -- computes the general fiber of the Gauss map of order k
• gausskFiber(List,ZZ) -- computes the general fiber of the Gauss map of order k
• gausskFiber(Matrix,ZZ) -- computes the general fiber of the Gauss map of order k
• gausskImage -- computes the image of the Gauss map of order k
• gausskImage(List,ZZ) -- computes the image of the Gauss map of order k
• gausskImage(Matrix,ZZ) -- computes the image of the Gauss map of order k
• isCayley -- checks if a polytope is Cayley
• isCayley(Matrix) -- checks if a polytope is Cayley
• isCayley(Polyhedron) -- 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.
• isJetSpanned(List,ZZ,Matrix) -- checks if the polarized toric variety associated to a set of lattice points is k-jet spanned at a given point.
• isJetSpanned(Matrix,ZZ,Matrix) -- 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
• iskCayleykEdges(Polyhedron) -- 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.
• jetMatrix(List,ZZ) -- construct the matrix of k-jets evaluated at a given point.
• jetMatrix(List,ZZ,Matrix) -- construct the matrix of k-jets evaluated at a given point.
• jetMatrix(Matrix,ZZ) -- construct the matrix of k-jets evaluated at a given point.
• jetMatrix(Matrix,ZZ,Matrix) -- construct the matrix of k-jets evaluated at a given point.
• LatticePolytopes -- for computations with lattice polytopes
• 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
• randQPoly(ZZ,ZZ) -- gives a random rational polytope
• randZPoly -- gives a random lattice polytope
• randZPoly(ZZ,ZZ) -- gives a random lattice polytope
• randZPoly(ZZ,ZZ,ZZ) -- gives a random lattice polytope
• smoothTest (missing documentation)
• toricBlowUp -- calculates the stellar subdivision of a polytope at a given face.
• toricBlowUp(Matrix,Matrix) -- calculates the stellar subdivision of a polytope at a given face.
• toricBlowUp(Matrix,Matrix,ZZ) -- calculates the stellar subdivision of a polytope at a given face.
• toricBlowUp(Polyhedron,Polyhedron) -- calculates the stellar subdivision of a polytope at a given face.
• toricBlowUp(Polyhedron,Polyhedron,ZZ) -- calculates the stellar subdivision of a polytope at a given face.
• toricDiv -- constructs the toric Weil divisor associated to a polytope
• toricDiv(Matrix) -- constructs the toric Weil divisor associated to a polytope
• toricDiv(Polyhedron) -- constructs the toric Weil divisor associated to a polytope
• torusEmbedding -- gives the toric embedding corresponding to a set of lattice points
• torusEmbedding(List) -- gives the toric embedding corresponding to a set of lattice points
• torusEmbedding(Matrix) -- gives the toric embedding corresponding to a set of lattice points
• Working with lattice polytopes