After I uninstalled 3.2 and installed 3.0 (by following instruction https://polymake.org/doku.php/howto/install) by simply running "sudo apt-get install polymake", it installs 3.0 with ppl.
Thanks for your help. I was able to uninstall 3.2 and am back with 3.0 where things were working better for me. When I have more time, I will install 3.2 and hopefully get it up and running.
Yes, after installing that, running polymake gives no errors at startup. Regarding ppl, in my earlier post on this forum, I experienced a problem instance of computing facets for a set of points for which ppl ran very quickly as compared to lrs. See https://forum.polymake.org/viewtopic.php?f=8&t...
Hi gawrilow, Based on your suggestion, I did install the packages, but have run into a few further issues now. ./configure gives the following output with certain failed operations: checking C++ compiler ... ok (g++ is GCC 5.4.0) checking C++ library ... ok (GNU libstdc++ 20160609, C++ 201402) deter...
Hello, On the new version, I am running into trouble at the ./configure (with default options) and subsequent steps. user@user-Inspiron-3268:~/Downloads/polymake-3.2$ ./configure checking C++ compiler ... ok (g++ is GCC 5.4.0) checking C++ library ... ok (GNU libstdc++ 20160609, C++ 201402) determin...
Hi joswig, Thanks for your inputs. On the same input file, with the script as specified (call this the original script), (with no preference), I observed that ppl was used (the terminal window displays this) and it took 30 seconds. (RUN1) However, when I insisted on lrs by prefer "lrs"; th...
Dear all, I would like to read in an input file containing points for which I want polymake to compute the facets as inequalities. Using the method prescribed at https://polymake.org/doku.php/tutorial/data, I have come up with the following script that runs to completion on small input file sizes. u...