polymake does not use ppl in the floating-point mode yet, rather for rational numbers only. There was simply no demand for that, until you came across :)

So if you want to use ppl with floats, you should indeed run it standalone,as Thomas proposes. I have no idea why ppl_lcdd was not built on ...

I want to compute the inequality description from the V-representation of a polyhedron and then test if the matrix is TU.
From the examples i was able to arrive at this code. What is missing is the step ??? from computing the inequalities to populating the inequalities section of the polytop. So how ...

yes i want to use nmz.

in my personal script i wrote prefer "nmz";

is this not correct? how can i tell polymake to use the nmz algorithm?

i think the error comes from that the algorithm is not called "nmz" (instead i need to say "normaliz", but in the paper where the algorithms are compared it is ...

polymake: WARNING: stored preference statements for label nmz
are not in effect - probably excluded by auto-configuration
polymake: used package ppl
The Parma Polyhedra Library (PPL): A C++ library for convex polyhedra
and other numerical abstractions.
http://www.cs.unipr.it/ppl/

What should you ...

Thank you very much for your answer.

If you have an server with multiple cores (like 20), which algorithm can make use of this? Where do i find information on this?

1. When i calculate the H-representation from the V-representation,
can i get some output from polymake on the progress, while it is computing to estimate how long it takes?

2. What is the fastest method of the available algorithms for doing this?