Hi all! I am facing some troubles in doing a simple thing with polymake: What I would like to do is, from the command line, load a polytope in polymake, expressed through H-Description - equalities and inequalities -, print vertices, and have them saved on a file. I have done a web search and I foun...