really only remove redundant constraints when factor==0
[barvinok.git] / barvinok2.h
blob819acc31610f0439d5088b24f9c53775ab5435de
1 #ifndef BARVINOK2_H
2 #define BARVINOK2_H
4 #include <gmp.h>
5 extern "C" {
6 #include <polylib/polylibgmp.h>
8 #include <genfun.h>
10 gen_fun * barvinok_series(Polyhedron *P, Polyhedron* C, unsigned MaxRays);
11 void zz2value(ZZ& z, Value& v);
13 #endif