Hi Andreas,
Thank you so much for your answer! It turns out that compiling works if you put the j first (i.e. I entered "tar -jxvf polymake-4.9.tar.bz2"). I did install gmp (and I tried reinstalling it, but to no avail). Instead I've been trying the following things:
- I tried installing it though ...

