A (rational) polytope (in a lattice L=Qn) is the convex hull of finitely many points in L. (The points do not need to be integral points.)
A cone C (in a lattice L) is the convex hull of finitely many rays (or zero). Precisely, a ray is a half line emanating from the origin, but, as is common, we treat rays synonymously with the first integral lattice point on the ray outside the origin---thus, for example, an intrinsic that returns a ray will actually return an primitive integral point of the ambient lattice. Rays that are the intersection of a linear hyperplane with C are called extreme rays of C---these are the corner edges of C. A cone is regular if it is generated (as a semigroup in the (Z)-module Zn⊂L) by its extreme rays (in other words, by the integral vectors on its extreme rays).
Combining all concepts so far, a (rational) polyhedron is the Minkowski sum of a polytope and a cone---the latter is the tail cone and is unique; the smallest possible polytope is unique but seems not to be used in the theory. We also use the expressions compact part and infinite part to indicate the polytope and the cone used to define a polyhedron.
The polytope defined by taking the convex hull of the sequence of points Q, where the points can be specified as sequences of integers of rational numbers (of some fixed length) or as points of a common lattice.
The polyhedron defined by the system of inequalities Aiv≥ci for each vector Ai and integer ci.
A polytope in the toric lattice L (or a toric lattice of dimension d) generated by n random integral points with coefficients of modulus at most the non-negative integer k.
The smallest box Q containing the polytope P. Also gives the bottom-left and top-right corners of Q.
The polar dual polyhedron to the polyhedron P, namelyPstar = { u ∈Lv | u.v ≥ - 1 forall v ∈P }.
The maximum dimensional cross-polytope in the lattice L, or of dimension d for an integer d.
The simplex given by the standard basis and the origin of the lattice L, or the d-dimensional simplex given by the standard basis and the origin for an integer d.
The cyclic polytope generated by n points in the lattice L, or by n points in d-dimensional space for an integer d.
A simplex whose spanning fan corresponds to projective space Pd.
A simplex whose spanning fan corresponds to weighted projective space P(W).
Cones in lattices are of type TorCon.
The cone in a lattice generated by a sequence A of its elements (or simply of sequences of integer or rational coefficients).
The cone in a lattice generated by a single element v of that lattice; namely the single ray Q^ + v.
The cone in a lattice L defined by the set B of elements of the dual lattice Lv (or simply by a set of sequences of integer or rational coefficients). The cone is the intersection of half-spaces v.u ≥0 as v runs through B:bigcapv ∈B { u ∈L | v.u ≥0 }.
The cone which is the entire lattice L, or the lattice of dimension n for a positive integer n.
The cone in the lattice L generated by the standard basis vectors of L, or that of the lattice of dimension n for a positive integer n.
The cone which consists of only the origin of the lattice L, or of the lattice of dimension n for a positive integer n.
A random cone in a d-dimensional toric lattice -- or in the toric lattice L -- generated by n points whose coefficients lies between -k and k.
A random cone in a d-dimensional toric lattice -- or in the toric lattice L -- generated by n points whose coefficients lies between 0 and k.
The dual cone to the cone C, namelyCv = { u ∈Lv | v.u ≥0 for all v ∈C }.
where C lies in the lattice L.
A cone C such that the polyhedron P is the intersection of C with a hyperplane at height one, together with the embedding of the ambient lattice of P into the ambient lattice of C.
The cone of maximal dimension given by the intersection of the cone C with its linear span. Also gives the embedding of the sublattice in the ambient toric lattice.
The strictly convex cone given by the quotient of the cone C by its maximal linear subspace. Also gives the quotient map.
A simplicial cone of dimension equal to the dimension of C, contained in C.
Given a cone C of maximum dimension in the lattice L, returns a basis for L using elements which lie in C.
Polytopes and polyhedra in lattices are of type TorPol.
The polyhedron constructed as the slice of the cone C by the hyperplane determined by the primitive dual vector H at height given by the integer or rational number h.
level: RngIntElt Default: 1
The polyhedron arising as the intersection of the cone C with the hyperplane at height one (can be changed via `level').
The halfspace { u | v.u ≥h } as a polyhedron, where v is a point of a toric lattice (or a sequence of integral or rational numbers that are its coefficients) and h∈Q.
The hyperplane { u | v.u = h } as a polyhedron, where v is a point of a toric lattice (or a sequence of integral or rational numbers that are its coefficients) and h∈Q.
The polyhedron arising as the preimage of the cone C under the affine map f + v.
The empty polyhedron in the toric lattice L.
The cone C as a polyhedron.
The polyhedron of maximal dimension given by the intersection of the toric lattice containing the polyhedron P with an affine sublattice of dimension equal to the dimension of P. Also gives the affine embedding as a lattice embedding and translation.
The subspace (realised as a polyhedron) fixed by the action of the matrix group G on the toric lattice L. G should be a subgroup of either GL(n, (Z)) or of SL(n, (Z)), where n is the dimension of L.
> C := PositiveQuadrant(3);
> C;
3-dimensional simplicial cone C with 3 minimal generators:
(1, 0, 0),
(0, 1, 0),
(0, 0, 1)
We slice using dual vectors, so we recover the dual lattice M
to the ambient lattice of C.
Some slices are compact, some are not.
> M := Dual(Ambient(C));
> P := Polyhedron(C, M ! [1,2,3], 1);
> IsPolytope(P);
true
> Q := Polyhedron(C, M ! [1,-2,3], 1 );
> IsPolytope(Q);
false
> Q;
2-dimensional polyhedron Q with 1-dimensional finite part with 2 vertices:
( 1, -1),
( 0, -1/3)
and 2-dimensional infinite part given by a cone with 2 minimal generators:
( 2, -1),
( 0, 1)
We can change the level, or height, at which the slice is taken.
> R := Polyhedron(C, M ! [1,2,3], -5); > R; Empty polyhedron
Return true if and only if the cones C and D are equal, that is, they lie in the same toric lattice and have identical supports.
Return true if and only if the polyhedra P and Q are equal, that is, they lie in the same toric lattice and have identical supports.
The intersection of the cones C and D; the cones must lie in the same toric lattice otherwise an error is reported.
The intersection of the polyhedra P and Q; the polyhedra must lie in the same toric lattice otherwise an error is reported.
Return true if and only if the support of the polyhedron P is contained in that of the polyhedron Q; the polyhedra must lie in the same toric lattice otherwise an error is reported.
The Minkowski sum of the cones C and D or of the polyhedra P and Q.
The polyhedron constructed as the Minkowski sum of the polytope P and the cone C.
The convex hull of the Cartesian product of the polyhedra P and Q.
The dilation of the polyhedron P by the rational number k.
The negation of the polyhedron P.