Ok Thank you for the help! This worked for some of my medium sized examples as well!

I see, well I would appreciate it if you could let me know when projection is fixed! I'm sure I understand what you are suggesting. My first 3 equations only involve the variables being eliminated. So i need to eliminate both all of the inequalities and those equalities. All for larger examples ther...

Sure, here is one of the smaller examples I've tried. $C = new Cone(INEQUALITIES =>[[1,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0]], EQUATIONS => [[1,-1,-1,0,1,0,0,0,0,0,0,0],[1,0,-1,1,0,1,0,...

I am trying to eliminate 7 variables using Fourier-Motzkin elimination. I have a cone in 17 total variables with the first 7 variables greater or equal to 0 and then 14 equalities, some involving just the first 7 variables and some involving one of the last 10 variables and the first 7 variables. I ...

Yeah i got it to download with the instructions to compile from the sources. I got a weird error where it says "Loading applications now...Can't locate object method "new" via package "Term::ReadLine::Gnu" at /usr/local/share/polymake/perllib/Polymake/Core/Shell.pm line 54.&...

Hello, I m trying to follow the download instructions but I am having a lot of trouble. I am not that familiar with Mac OS so that may be the issue. I downloaded the 11.3 bundle (This was the most recent bundle I could find but this itself may be the issue) and I moved it to applications and got the...