You can specify polyhedra in terms of INEQUALITIES and EQUATIONS.
Asking for VERTICES then triggers a dual convex hull computation.
Please see tutorial.
The web version of polymake runs in a sandbox. So, by design, you cannot read from or write to files.