Hello,

Hopefully there's someone out there who can help me with this. I want to be able to answer the following question:

"F is a set of vectors in the semigroup N^d (d copies of the the non-negative integers). Define P = conv(F) i.e. the convex hull of F. Given u_1 and u_2 in F, is [u_1, u_2] an edge of P?"

I have thousands of sets F that I must analyse in this fashion e.g see attached file for a sample F. Is there a fast way to answer this question in general? I have used the commands print $p->VERTICES, print $p->GRAPH->EDGES etc in polymake but this method is too slow and cumbersome.

Thanks in advance,

Isaac