P518: Given an $n$-polytope $F$, find all vertices of $F$.

P518: Given an $n$-polytope $F$, find all vertices of $F$.
Input:
An $n$-polytope $F$.
Output:
All vertices of $F$.
Complexity:
Comment:
Experimental results
Reference:
[Mattheiss1980] (Bibtex)