Postby gawrilow » 28 Oct 2014, 11:44
It's definitely not possible for convex hull computations, as both main engines (cdd and lrslib) do not print any progress information. Most probably, the lattice point enumeration will also be quiescent. You can try running polymake in debug mode: `polymake -d'. You will see a lot of unrelated noise like rules tried and executed, but maybe amidst all that you will discover something interesting.
Presumably, providing progress information would be a useful enhancement, but the implementation would have to be done individually for each and every involved third-party library, all using different message formats and channels; so this would require a non-trivial development effort.