How to find the vertices a a polyhedron define by inequalities ,
I would like to know if there is a way to obtain the v-representation of a polyhedron from its definition by inequalities like
${x \geq 0, y \geq 0, y + x \leq 10}$
I find the opposite in the documentation. (If possible in higher dimension, because i can always solve for the solution.