Yes, perhaps I should look at projecting out the continuous variables. Some of these variables are /implicitly/ binary though. Will there a performance gain in polymake if I explicitly declare in the .lp file variables to be binary (that are implicitly so)? Also, I note that the projection command t...