Macaulay2
»
Documentation
Packages
»
LatticePolytopes
::
Index
next | previous | forward | backward | up |
index
|
toc
LatticePolytopes : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
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