Polyhedra : Index
- addCone -- adds cones to a Fan
- addCone(Cone,Fan) -- adds cones to a Fan
- addCone(List,Fan) -- adds cones to a Fan
- addPolyhedron -- adds Polyhedra to a PolyhedralComplex
- addPolyhedron(List,PolyhedralComplex) -- adds Polyhedra to a PolyhedralComplex
- addPolyhedron(Polyhedron,PolyhedralComplex) -- adds Polyhedra to a PolyhedralComplex
- affineHull -- computes the affine hull of a polyhedron
- affineHull(Polyhedron) -- computes the affine hull of a polyhedron
- affineImage -- computes the affine image of a cone or polyhedron
- affineImage(Cone,Matrix) -- computes the affine image of a cone
- affineImage(Matrix,Cone) -- computes the affine image of a cone
- affineImage(Matrix,Cone,Matrix) -- computes the affine image of a cone
- affineImage(Matrix,Polyhedron) -- computes the affine image of a polyhedron
- affineImage(Matrix,Polyhedron,Matrix) -- computes the affine image of a polyhedron
- affineImage(Polyhedron,Matrix) -- computes the affine image of a polyhedron
- affinePreimage -- computes the affine preimage of a cone or polyhedron
- affinePreimage(Cone,Matrix) -- computes the affine preimage of a cone
- affinePreimage(Matrix,Cone) -- computes the affine preimage of a cone
- affinePreimage(Matrix,Cone,Matrix) -- computes the affine preimage of a cone
- affinePreimage(Matrix,Polyhedron) -- computes the affine preimage of a polyhedron
- affinePreimage(Matrix,Polyhedron,Matrix) -- computes the affine preimage of a polyhedron
- affinePreimage(Polyhedron,Matrix) -- computes the affine preimage of a polyhedron
- ambDim -- ambient dimension of a Polyhedron, Cone or Fan
- ambDim(PolyhedralObject) -- ambient dimension of a Polyhedron, Cone or Fan
- areCompatible -- checks if the intersection of two cones/polyhedra is a face of each
- areCompatible(Cone,Cone) -- checks if the intersection of two cones/polyhedra is a face of each
- areCompatible(Polyhedron,Polyhedron) -- checks if the intersection of two cones/polyhedra is a face of each
- barycentricTriangulation -- computes a triangulation of a polytope
- barycentricTriangulation(Polyhedron) -- computes a triangulation of a polytope
- bipyramid -- computes the bipyramid over a polyhedron
- bipyramid(Polyhedron) -- computes the bipyramid over a polyhedron
- ccRefinement -- computes the coarsest common refinement of a set of rays
- ccRefinement(Matrix) -- computes the coarsest common refinement of a set of rays
- cellDecompose -- Deprecated variant of {\tt regularSubdivision}
- cellDecompose(Polyhedron,Matrix) -- Deprecated variant of {\tt regularSubdivision}
- commonFace -- checks if the intersection is a face of both Cones or Polyhedra, or of cones with fans
- commonFace(Cone,Cone) -- checks if the intersection is a face of both Cones or Polyhedra, or of cones with fans
- commonFace(Cone,Fan) -- checks if the intersection is a face of both Cones or Polyhedra, or of cones with fans
- commonFace(Fan,Cone) -- checks if the intersection is a face of both Cones or Polyhedra, or of cones with fans
- commonFace(Fan,Fan) -- checks if the intersection is a face of both Cones or Polyhedra, or of cones with fans
- commonFace(List) -- checks if the intersection is a face of both Cones or Polyhedra, or of cones with fans
- commonFace(Polyhedron,Polyhedron) -- checks if the intersection is a face of both Cones or Polyhedra, or of cones with fans
- Cone -- the class of all rational convex polyhedral cones
- Cone * Cone -- computes the direct product of two cones
- Cone * Polyhedron -- computes the direct product of a cone and a polyhedron
- Cone + Cone -- computes the Minkowski sum of two cones
- Cone + Polyhedron -- computes the Minkowski sum of a cone and a polyhedron
- Cone == Cone -- equality
- Cone ? Cone -- compares the Cones
- cone(Polyhedron) -- Take the cone over a polyhedron
- coneFromHData -- Constructing a polyhedral cone as intersection of halfspaces.
- coneFromHData(Matrix) -- Constructing a polyhedral cone as intersection of halfspaces.
- coneFromHData(Matrix,Matrix) -- Constructing a polyhedral cone as intersection of halfspaces.
- coneFromVData -- computes the positive hull of rays, cones, and the cone over a polyhedron
- coneFromVData(Cone,Cone) -- computes the positive hull of rays, cones, and the cone over a polyhedron
- coneFromVData(List) -- computes the positive hull of rays, cones, and the cone over a polyhedron
- coneFromVData(Matrix) -- computes the positive hull of rays, cones, and the cone over a polyhedron
- coneFromVData(Matrix,Matrix) -- computes the positive hull of rays, cones, and the cone over a polyhedron
- coneFromVData(Polyhedron) -- computes the positive hull of rays, cones, and the cone over a polyhedron
- cones -- computes all cones of a fan of a certain dimension
- cones(ZZ,Fan) -- computes all cones of a fan of a certain dimension
- contains -- checks if the first argument contains the second argument
- contains(Cone,Cone) -- checks if the first argument contains the second argument
- contains(Cone,Matrix) -- checks if the first argument contains the second argument
- contains(Cone,Polyhedron) -- checks if the first argument contains the second argument
- contains(Fan,Cone) -- checks if the first argument contains the second argument
- contains(List,Cone) -- checks if the first argument contains the second argument
- contains(List,Polyhedron) -- checks if the first argument contains the second argument
- contains(Polyhedron,Cone) -- checks if the first argument contains the second argument
- contains(Polyhedron,Matrix) -- checks if the first argument contains the second argument
- contains(Polyhedron,Polyhedron) -- checks if the first argument contains the second argument
- convexHull -- computing the convex hull of points, rays and polyhedra
- convexHull(List) -- computing the convex hull of points, rays and polyhedra
- convexHull(Matrix) -- computing the convex hull of points, rays and polyhedra
- convexHull(Matrix,Matrix) -- computing the convex hull of points, rays and polyhedra
- convexHull(Matrix,Matrix,Matrix) -- computing the convex hull of points, rays and polyhedra
- convexHull(Polyhedron,Polyhedron) -- computing the convex hull of points, rays and polyhedra
- crossPolytope -- computes the d-dimensional crosspolytope with diameter 2s
- crossPolytope(ZZ) -- computes the d-dimensional crosspolytope with diameter 2s
- crossPolytope(ZZ,QQ) -- computes the d-dimensional crosspolytope with diameter 2s
- crossPolytope(ZZ,ZZ) -- computes the d-dimensional crosspolytope with diameter 2s
- cyclicPolytope -- computes the d dimensional cyclic polytope with n vertices
- cyclicPolytope(ZZ,ZZ) -- computes the d dimensional cyclic polytope with n vertices
- dim(PolyhedralObject) -- computes the dimension of a cone, polyhedron, fan or polyhedral complex
- directProduct -- computes the direct product of two convex objects
- directProduct(Cone,Cone) -- computes the direct product of polyhedra and cones
- directProduct(Cone,Polyhedron) -- computes the direct product of polyhedra and cones
- directProduct(Fan,Fan) -- computes the direct product of two fans
- directProduct(Polyhedron,Cone) -- computes the direct product of polyhedra and cones
- directProduct(Polyhedron,Polyhedron) -- computes the direct product of polyhedra and cones
- dualCone -- computes the dual Cone
- dualCone(Cone) -- computes the dual Cone
- dualFaceRepresentationMap (missing documentation)
- ehrhart -- calculates the Ehrhart polynomial of a polytope
- ehrhart(Polyhedron) -- calculates the Ehrhart polynomial of a polytope
- emptyPolyhedron -- generates the empty polyhedron in n-space
- emptyPolyhedron(ZZ) -- generates the empty polyhedron in n-space
- faceFan -- computes the fan generated by the cones over the faces
- faceFan(Polyhedron) -- computes the fan generated by the cones over the faces
- faces -- computes all faces of a certain codimension of a Cone or Polyhedron
- faces(PolyhedralObject) -- Giving the faces of a polyhedral object.
- faces(ZZ,PolyhedralObject) -- computes all faces of a certain codimension of a Cone or Polyhedron
- facesAsCones -- Returns the faces of a cone as actual cones.
- facesAsCones(ZZ,Cone) -- Returns the faces of a cone as actual cones.
- facesAsCones(ZZ,Fan) -- Returns the faces of a cone as actual cones.
- facesAsPolyhedra -- Returns the faces of a polyhedron as actual polyhedra.
- facesAsPolyhedra(ZZ,Polyhedron) -- Returns the faces of a polyhedron as actual polyhedra.
- facets -- Giving the facet inequalities of a cone or polyhedron.
- facets(Cone) -- Giving the facet inequalities of a cone or polyhedron.
- facets(Polyhedron) -- Giving the facet inequalities of a cone or polyhedron.
- Fan -- the class of all fans
- fan -- generates a Fan
- Fan * Fan -- computes the direct product
- Fan == Fan -- equality
- fan(Cone) -- generates a Fan
- fan(List) -- generates a Fan
- fan(Matrix,List) -- Constructing a fan.
- fan(Matrix,Matrix,List) -- Constructing a fan.
- fan(Matrix,Matrix,Sequence) -- Constructing a fan.
- fan(Matrix,Sequence) -- Constructing a fan.
- fan(PolyhedralComplex) -- Take the fan over a polyhedral complex
- fanFromGfan -- Construct a fan from output data of {\tt Gfan}
- fanFromGfan(List) -- Construct a fan from output data of {\tt Gfan}
- fVector -- computes the f-vector of a Cone, Polyhedron, Fan or PolyhedralComplex
- fVector(PolyhedralObject) -- computes the f-vector of a Cone, Polyhedron, Fan or PolyhedralComplex
- halfspaces -- computes the defining half-spaces of a Cone or a Polyhedron
- halfspaces(Cone) -- computes the defining half-spaces of a Cone or a Polyhedron
- halfspaces(Polyhedron) -- computes the defining half-spaces of a Cone or a Polyhedron
- hilbertBasis(Cone) -- computes the Hilbert basis of a Cone
- hirzebruch -- computes the fan of the r-th Hirzebruch surface
- hirzebruch(ZZ) -- computes the fan of the r-th Hirzebruch surface
- hypercube -- Returns the d-dimensional hypercube
- hypercube(ZZ) -- Returns the d-dimensional hypercube
- hypercube(ZZ,QQ) -- Returns the d-dimensional hypercube
- hypercube(ZZ,QQ,QQ) -- Returns the d-dimensional hypercube
- hypercube(ZZ,QQ,ZZ) -- Returns the d-dimensional hypercube
- hypercube(ZZ,ZZ) -- Returns the d-dimensional hypercube
- hypercube(ZZ,ZZ,QQ) -- Returns the d-dimensional hypercube
- hypercube(ZZ,ZZ,ZZ) -- Returns the d-dimensional hypercube
- hyperplanes -- computes the defining hyperplanes of a Cone or a Polyhedron
- hyperplanes(Cone) -- computes the defining hyperplanes of a Cone or a Polyhedron
- hyperplanes(Polyhedron) -- computes the defining hyperplanes of a Cone or a Polyhedron
- imageFan -- computes the fan of the image
- imageFan(Matrix,Cone) -- computes the fan of the image
- incompCones -- returns the pairs of incompatible cones
- incompCones(Cone,Fan) -- returns the pairs of incompatible cones
- incompCones(Fan,Cone) -- returns the pairs of incompatible cones
- incompCones(Fan,Fan) -- returns the pairs of incompatible cones
- incompCones(List) -- returns the pairs of incompatible cones
- incompPolyhedra -- returns the pairs of incompatible polyhedra
- incompPolyhedra(List) -- returns the pairs of incompatible polyhedra
- incompPolyhedra(PolyhedralComplex,PolyhedralComplex) -- returns the pairs of incompatible polyhedra
- incompPolyhedra(PolyhedralComplex,Polyhedron) -- returns the pairs of incompatible polyhedra
- incompPolyhedra(Polyhedron,PolyhedralComplex) -- returns the pairs of incompatible polyhedra
- inInterior -- checks if a point lies in the relative interior of a Cone/Polyhedron
- inInterior(Matrix,Cone) -- checks if a point lies in the relative interior of a Cone/Polyhedron
- inInterior(Matrix,Polyhedron) -- checks if a point lies in the relative interior of a Cone/Polyhedron
- interiorLatticePoints -- computes the lattice points in the relative interior of a polytope
- interiorLatticePoints(Polyhedron) -- computes the lattice points in the relative interior of a polytope
- interiorPoint -- computes a point in the relative interior of the Polyhedron
- interiorPoint(Polyhedron) -- computes a point in the relative interior of the Polyhedron
- interiorVector -- computes a vector in the relative interior of a Cone
- interiorVector(Cone) -- computes a vector in the relative interior of a Cone
- intersection -- computes the intersection of cones, and polyhedra
- intersection(Cone,Cone) -- computes the intersection of cones, and polyhedra
- intersection(Cone,Polyhedron) -- computes the intersection of cones, and polyhedra
- intersection(List) -- computes the intersection of cones, and polyhedra
- intersection(Matrix) -- Deprecated variant of {\tt coneFromHData}
- intersection(Matrix,Matrix) -- Deprecated variants of {\tt polyhedronFromHData} and {\tt coneFromHData}
- intersection(Matrix,Matrix,Matrix,Matrix) -- Deprecated variants of {\tt polyhedronFromHData} and {\tt coneFromHData}
- intersection(Polyhedron,Cone) -- computes the intersection of cones, and polyhedra
- intersection(Polyhedron,Polyhedron) -- computes the intersection of cones, and polyhedra
- isCompact -- checks compactness of a Polyhedron
- isCompact(Polyhedron) -- checks compactness of a Polyhedron
- isComplete -- checks completeness of a Fan or PolyhedralComplex
- isComplete(Fan) -- checks completeness of a Fan or PolyhedralComplex
- isComplete(PolyhedralComplex) -- checks completeness of a Fan or PolyhedralComplex
- isEmpty -- checks if a Polyhedron is empty
- isEmpty(Polyhedron) -- checks if a Polyhedron is empty
- isFace -- tests if the first argument is a face of the second
- isFace(Cone,Cone) -- tests if the first argument is a face of the second
- isFace(Polyhedron,Polyhedron) -- tests if the first argument is a face of the second
- isFullDimensional -- Determine whether a polyhedral object is full-dimensional
- isFullDimensional(PolyhedralObject) -- Determine whether a polyhedral object is full-dimensional
- isLatticePolytope -- checks if a polyhedron is a lattice polytope
- isLatticePolytope(Polyhedron) -- checks if a polyhedron is a lattice polytope
- isNormal(Polyhedron) -- checks if a polytope is normal in the ambient lattice
- isPointed -- checks if a Cone or Fan is pointed
- isPointed(Cone) -- checks if a Cone or Fan is pointed
- isPointed(Fan) -- checks if a Cone or Fan is pointed
- isPolytopal -- checks if a Fan is polytopal
- isPolytopal(Fan) -- checks if a Fan is polytopal
- isPure -- checks if a Fan or PolyhedralComplex is of pure dimension
- isPure(Fan) -- checks if a Fan or PolyhedralComplex is of pure dimension
- isPure(PolyhedralComplex) -- checks if a Fan or PolyhedralComplex is of pure dimension
- isReflexive -- checks if a Polytope is reflexive
- isReflexive(Polyhedron) -- checks if a Polytope is reflexive
- isSimplicial -- checks if a polyhedral object is simplicial
- isSimplicial(PolyhedralObject) -- checks if a polyhedral object is simplicial
- isSmooth -- checks if a Cone or Fan is smooth
- isSmooth(Cone) -- checks if a Cone or Fan is smooth
- isSmooth(Fan) -- checks if a Cone or Fan is smooth
- isVeryAmple -- checks if the Polyhedron is very ample
- isVeryAmple(Polyhedron) -- checks if the Polyhedron is very ample
- isWellDefined(Cone) -- Checks whether a polyhedral object is well-defined.
- isWellDefined(Fan) -- Checks whether a polyhedral object is well-defined.
- isWellDefined(PolyhedralComplex) -- Checks whether a polyhedral object is well-defined.
- isWellDefined(PolyhedralObject) -- Checks whether a polyhedral object is well-defined.
- isWellDefined(Polyhedron) -- Checks whether a polyhedral object is well-defined.
- latticePoints -- computes the lattice points of a polytope
- latticePoints(Polyhedron) -- computes the lattice points of a polytope
- latticeVolume -- Returning the lattice volume of a polyhedron.
- latticeVolume(Polyhedron) -- Returning the lattice volume of a polyhedron.
- linealitySpace -- computes a basis of the lineality space
- linealitySpace(PolyhedralObject) -- computes a basis of the lineality space
- linearTransform (missing documentation)
- linSpace -- Deprecated version of @TO "linealitySpace"@
- linSpace(Cone) -- Deprecated version of @TO "linealitySpace"@
- linSpace(Fan) -- Deprecated version of @TO "linealitySpace"@
- linSpace(Polyhedron) -- Deprecated version of @TO "linealitySpace"@
- maxCones -- displays the generating Cones of a Fan
- maxCones(Fan) -- displays the generating Cones of a Fan
- maxFace -- computes the face of a Polyhedron or Cone where a weight attains its maximum
- maxFace(Matrix,Cone) -- computes the face of a Polyhedron or Cone where a weight attains its maximum
- maxFace(Matrix,Polyhedron) -- computes the face of a Polyhedron or Cone where a weight attains its maximum
- maxPolyhedra -- displays the generating Polyhedra of a PolyhedralComplex
- maxPolyhedra(PolyhedralComplex) -- displays the generating Polyhedra of a PolyhedralComplex
- minFace -- computes the face of a Polyhedron or Cone where a weight attains its minimum
- minFace(Matrix,Cone) -- computes the face of a Polyhedron or Cone where a weight attains its minimum
- minFace(Matrix,Polyhedron) -- computes the face of a Polyhedron or Cone where a weight attains its minimum
- minimalNonFaces (missing documentation)
- minimalNonFaces(Fan) -- Giving the minimal non-faces of a fan..
- minkowskiSum -- computes the Minkowski sum of two convex objects
- minkowskiSum(Cone,Cone) -- computes the Minkowski sum of two convex objects
- minkowskiSum(Cone,Polyhedron) -- computes the Minkowski sum of two convex objects
- minkowskiSum(Polyhedron,Cone) -- computes the Minkowski sum of two convex objects
- minkowskiSum(Polyhedron,Polyhedron) -- computes the Minkowski sum of two convex objects
- minkSummandCone -- computes the Cone of all Minkowski summands and the minimal decompositions
- minkSummandCone(Polyhedron) -- computes the Cone of all Minkowski summands and the minimal decompositions
- mixedVolume -- computes the mixed volume of a list of polytope
- mixedVolume(List) -- computes the mixed volume of a list of polytope
- newtonPolytope -- computes the Newton polytope of a polynomial
- newtonPolytope(RingElement) -- computes the Newton polytope of a polynomial
- normalCone(Polyhedron,Polyhedron) -- computes the normal cone of a face of a polyhedron
- normalFan -- computes the normalFan of a polyhedron
- normalFan(Polyhedron) -- computes the normalFan of a polyhedron
- nVertices -- Returns the number of vertices of a polyhedron
- nVertices(Polyhedron) -- Returns the number of vertices of a polyhedron
- objectiveVector -- computes an objective vector of a face of a polyhedron
- objectiveVector(Polyhedron,Polyhedron) -- computes an objective vector of a face of a polyhedron
- polar -- computes the polar of a polyhedron
- polar(Polyhedron) -- computes the polar of a polyhedron
- polarFace -- computes the dual face of the polar polyhedron
- polarFace(Polyhedron,Polyhedron) -- computes the dual face of the polar polyhedron
- Polyhedra -- for computations with convex polyhedra, cones, and fans
- polyhedra -- computes all polyhedra of a polyhedral complex of a certain dimension
- polyhedra(ZZ,PolyhedralComplex) -- computes all polyhedra of a polyhedral complex of a certain dimension
- PolyhedralComplex -- the class of all polyhedral complexes
- polyhedralComplex -- generates a PolyhedralComplex
- polyhedralComplex(Fan) -- Turn a fan into a polyhedral complex
- polyhedralComplex(List) -- generates a PolyhedralComplex
- polyhedralComplex(Matrix,List) -- Constructing a polyhedral complex.
- polyhedralComplex(Matrix,Matrix,List) -- Constructing a polyhedral complex.
- polyhedralComplex(Matrix,Matrix,Matrix,List) -- Constructing a polyhedral complex.
- polyhedralComplex(Polyhedron) -- generates a PolyhedralComplex
- PolyhedralObject -- the class of all polyhedral objects in Polyhedra
- Polyhedron -- the class of all convex polyhedra
- polyhedron -- Turn a cone into a polyhedron
- Polyhedron * Cone -- computes the direct product of a polyhedron and a cone
- Polyhedron * Polyhedron -- computes the direct product of two polyhedra
- Polyhedron + Cone -- computes the Minkowski sum of a polyhedron and a cone
- Polyhedron + Polyhedron -- computes the Minkowski sum of two polyhedra
- Polyhedron == Polyhedron -- equality
- polyhedron(Cone) -- Turn a cone into a polyhedron
- polyhedronFromHData -- Constructing a polyhedron from its H-representation, i.e. inequalities and equations
- polyhedronFromHData(Matrix,Matrix) -- Constructing a polyhedron from its H-representation, i.e. inequalities and equations
- polyhedronFromHData(Matrix,Matrix,Matrix,Matrix) -- Constructing a polyhedron from its H-representation, i.e. inequalities and equations
- polytope -- returns a polytope of which the fan is the normal fan if it is polytopal
- polytope(Fan) -- returns a polytope of which the fan is the normal fan if it is polytopal
- posOrthant -- generates the positive orthant in n-space
- posOrthant(ZZ) -- generates the positive orthant in n-space
- proximum -- computes the proximum of the Polyhedron/Cone to a point in euclidian metric
- proximum(Matrix,Cone) -- computes the proximum of the Polyhedron/Cone to a point in euclidian metric
- proximum(Matrix,Polyhedron) -- computes the proximum of the Polyhedron/Cone to a point in euclidian metric
- pyramid -- computes the pyramid over a polyhedron
- pyramid(Polyhedron) -- computes the pyramid over a polyhedron
- QQ * Polyhedron -- rescales a polyhedron by a given positive factor
- rays(PolyhedralObject) -- displays all rays of a Cone, a Fan, or a Polyhedron
- regularSubdivision -- Computes the regular cell decomposition
- regularSubdivision(Matrix,Matrix) -- Computes the regular cell decomposition
- regularSubdivision(Polyhedron,Matrix) -- Computes the regular cell decomposition
- regularTriangulation -- Computes a regular triangulation of a given polytope.
- regularTriangulation(Polyhedron) -- Computes a regular triangulation of a given polytope.
- saveSession -- save the actual Polyhedra session to a file
- saveSession(String) -- save the actual Polyhedra session to a file
- secondaryPolytope -- computes the secondary polytope of a compact polyhedron
- secondaryPolytope(Polyhedron) -- computes the secondary polytope of a compact polyhedron
- simplex -- Produces a full-dimensional simplex
- simplex(ZZ) -- Produces a full-dimensional simplex
- simplex(ZZ,QQ) -- Produces a full-dimensional simplex
- simplex(ZZ,ZZ) -- Produces a full-dimensional simplex
- skeleton -- computes the k-skeleton of a Fan or PolyhedralComplex
- skeleton(ZZ,Fan) -- computes the k-skeleton of a Fan or PolyhedralComplex
- skeleton(ZZ,PolyhedralComplex) -- computes the k-skeleton of a Fan or PolyhedralComplex
- smallestFace -- determines the smallest face of the Cone/Polyhedron containing a point
- smallestFace(Matrix,Cone) -- determines the smallest face of the Cone/Polyhedron containing a point
- smallestFace(Matrix,Polyhedron) -- determines the smallest face of the Cone/Polyhedron containing a point
- smoothSubfan -- computes the subfan of all smooth cones
- smoothSubfan(Fan) -- computes the subfan of all smooth cones
- stanleyReisnerRing (missing documentation)
- stanleyReisnerRing(Fan) -- Give the Stanley–Reisner ring of a fan.
- statePolytope -- computes the state polytope of a homogeneous ideal
- statePolytope(Ideal) -- computes the state polytope of a homogeneous ideal
- stdSimplex -- generates the d-dimensional standard simplex
- stdSimplex(ZZ) -- generates the d-dimensional standard simplex
- stellarSubdivision -- computes the stellar subdivision of the fan by a ray
- stellarSubdivision(Fan,Matrix) -- computes the stellar subdivision of the fan by a ray
- sublatticeBasis -- computes a basis for the sublattice generated by integral vectors or the lattice points of a polytope
- sublatticeBasis(Matrix) -- computes a basis for the sublattice generated by integral vectors or the lattice points of a polytope
- sublatticeBasis(Polyhedron) -- computes a basis for the sublattice generated by integral vectors or the lattice points of a polytope
- tailCone -- computes the tail/recession cone of a polyhedron
- tailCone(Polyhedron) -- computes the tail/recession cone of a polyhedron
- toSublattice -- calculates the preimage of a polytope in the sublattice generated by its lattice points
- toSublattice(Polyhedron) -- calculates the preimage of a polytope in the sublattice generated by its lattice points
- triangulate -- Deprecated name for {\tt barycentricTriangulation}
- triangulate(Polyhedron) -- Deprecated name for {\tt barycentricTriangulation}
- V- and H-representation
- vertexEdgeMatrix -- computes the vertex-edge-relations matrix
- vertexEdgeMatrix(Polyhedron) -- computes the vertex-edge-relations matrix
- vertexFacetMatrix -- computes the vertex-facet-relations matrix
- vertexFacetMatrix(Polyhedron) -- computes the vertex-facet-relations matrix
- vertices -- displays the vertices of a Polyhedron or a PolyhedralComplex
- vertices(PolyhedralComplex) -- displays the vertices of a Polyhedron or a PolyhedralComplex
- vertices(Polyhedron) -- displays the vertices of a Polyhedron or a PolyhedralComplex
- volume -- computes the volume of a polytope
- volume(Polyhedron) -- computes the volume of a polytope
- Working with cones
- Working with fans
- Working with fans - Part 2
- Working with polyhedra
- ZZ * Polyhedron -- rescales a polyhedron by a given positive factor