Well, I have to admit that I don't know whether there is an algorithm for calculating mixed-integer polytopes in polymake. We will have to ask my colleagues. In the tutorial that you mentioned, the continuous variables are projected out. Do you want to keep them or do you want to project them out? B...