update isl to version 0.11
[barvinok.git] / polymake / convert.h
blob5db44ede401a57ecd86020a207067f59ceac70fb
1 #include <gmp.h>
2 #include <cstdlib>
3 #include <Rational.h>
4 #include <Poly.h>
5 #include <Matrix.h>
6 #include <barvinok/polylib.h>
8 namespace polymake { namespace polytope {
10 ::Matrix *polymake_constraints2polylib(Matrix<Rational> &F);
12 } }