|
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.
PolyhedronWithInequalities(A,c) : [TorLatElt],[RngIntElt] -> TorPol
The polyhedron defined by the system of inequalities Aiv≥ci for each vector Ai and integer ci.
RandomPolytope(d,n,k) : RngIntElt,RngIntElt,RngIntElt -> TorPol
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, namely
Pstar =
{ u ∈Lv | u.v ≥ - 1 forall v ∈P }.
CrossPolytope(d) : RngIntElt -> TorPol
The maximum dimensional cross-polytope in the lattice L,
or of dimension d for an integer d.
StandardSimplex(d) : RngIntElt -> TorPol
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.
CyclicPolytope(d,n) : RngIntElt,RngIntElt -> TorPol
The cyclic polytope generated by n points in the lattice L,
or by n points in d-dimensional space for an integer d.
PolytopeOfProjectiveSpace(L) : TorLat -> TorPol
PolytopeOfWPS(d) : RngIntElt -> TorPol
A simplex whose spanning fan corresponds to projective space Pd.
PolytopeOfWPS(L,W) : [RngIntElt] -> TorPol
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 }.
FullCone(n): RngIntElt -> TorCon
The cone which is the entire lattice L, or the lattice
of dimension n for a positive integer n.
PositiveQuadrant(n) : RngIntElt -> TorCon
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.
ZeroCone(n): RngIntElt -> TorCon
The cone which consists of only the origin of the lattice L,
or of the lattice of dimension n for a positive integer n.
RandomCone(L,n,k) : TorLat,RngIntElt,RngIntElt -> TorCon
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.
RandomPositiveCone(L,n,k) : TorLat,RngIntElt,RngIntElt -> TorCon
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, namely
Cv =
{ 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.
Polyhedron(C,H,h) : TorCon,TorLatElt,RngIntElt -> 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').
HalfspaceToPolyhedron(Q,h) : [FldRatElt],FldRatElt -> TorPol
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.
HyperplaneToPolyhedron(Q,h) : [FldRatElt],FldRatElt -> TorPol
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.
FixedSubspaceToPolyhedron(L,G) : TorLat,GrpMat -> TorPol
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.
We construct some polyhedra by taking slices of the positive
quadrant in 3-space.
> 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.
P + Q : TorPol,TorPol -> TorPol
The Minkowski sum of the cones C and D or of the polyhedra P and Q.
C + P : TorCon,TorPol -> TorPol
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.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|