a convex polyhedron, The adjoint Polytope of X corresponding to the line bundle kK+L, see the article Polyhedral adjunction theory by Sandra Di Rocco, Christian Haase, Benjamin Nill and Andreas Paffenholz.
Description
adjointPolytope is a function that compute the k:th adjoint of a polytope
i1 : adjointPolytope(hypercube(2),1)
o1 = {ambient dimension => 2 }
dimension of lineality space => 0
dimension of polyhedron => 0
number of facets => 0
number of rays => 0
number of vertices => 1
o1 : Polyhedron