Thomas Thank you very much. Following your instructions, I have indeed been able to run ppl_lcdd from the bin folder and link it to test2.txt file you shared. Yes, gawrilow was also right. I had to do sudo make install. I obtain an output that lists: 414 40 integer <<and equations?>> Is there a way ...

Gawrilow and Thomas: Below is the log from ./configure --enable-ppl_lcdd Does anything obvious stand out for you in terms of missing dependencies? I am rather new to ubuntu/linux. I can understand if you don't want to get into this. I will go to ppl website and look through their support files as we...

Thomas, Thanks. But it is not working for me :-( I downloaded ppl from their website, then did configure with the enabling on, make and install. Then, after restarting the machine, ppl_lcdd says "bash: ppl_lcdd command not found" Is there anyway ppl can be run via polymake? In the opening ...

Thomas, I am simply unable to get such results at my end. Could you please share with me the steps you take to get the facetial representation in 20 seconds? At my end, I have the files (within the zip file specified in the OP) containing the lattice points in a folder. From within that folder, I ru...

Thomas, Thanks. I have very rudimentary knowledge about floating point vs exact arithmetic. Due to the excessive time Polymake takes to figure out lattice points, my preferred method thus far has been to use cplex to quickly enumerate the points (using faster but less accurate floating point arithme...

Hello, I am noticing a big difference in the time taken to enumerate integer feasible points for a bounded integer program between CPLEX and Polymake. Attached is an integer program, "problemIP.lp". On running this through the attached "populate.c" cplex code file, I am able to o...

Just a short information regarding ppl: Ubuntu 16.04 provides ppl version 1.1 while polymake 3.2 needs version at least 1.2. So it does make sense that polymake 3.0 can work with the installed ppl but polymake 3.2 cannot. Hello blorenz Could you let me know how on ubuntu I can install ppl version 1...

Hi gawrilow Yes, I did not add the AFFINE_HULL listings. The problem I am solving is not full dimensional. So, it is indeed the case that I might have had to add those. Let me think about this. I will do a check later on. But I think I am beginning to make sense of the output of polymake. In 3 dimen...

Could you please reformulate this claim as a self-contained reproducible task, like this: "Given a system of linear inequalities A*x <= B and objective function C, I expect the optimal solution V attained with x = X, with all A, B, C, V and X specified as rationals or integers." Then we c...

Hmm...that does seem strange. The facets of the convex hull H of an IP's feasible region should suffice to solve the IP with linear objective function. The affine hull, A, is a superset of the feasible integer region. But I am guessing that while A contains H, A need not necessarily contain L, where...