Hi Sage Community,

I have what seems like a simple question. Given a lattice polytope, is
it convex? I've tried searching through the documentation but it looks
like there is nothing that performs this check (e.g. isConvex()). As
an example, consider the following lattice polytope: [ [-1,-1],
[-1,0], [0,0], [1,0], [1,-1] ]. This is not convex since there exists
a point on the line between [-1,-1] and [1,-1] that is not in the
interior of the polytope. The convex hull of this set of points is, in
fact,  the rectangle with vertices [ [-1,-1], [-1,0], [1,0], [1,-1] ].
So I'm guessing I'm up against one of these scenarios:

1. I haven't searched thoroughly.
2. It's trivial to check for convexity.
3. It's a very hard problem.

Does anyone have any suggestions or hints? Thanks!

Dmitri

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to