4 #include <NTL/mat_ZZ.h>
6 #include <polylib/polylibgmp.h>
7 #include "ev_operations.h"
11 #include <barvinok2.h>
14 /* The input of this example program is the same as that of testehrhart
15 * in the PolyLib distribution, i.e., a polytope in combined
16 * data and parameter space, a context polytope in parameter space
17 * and (optionally) the names of the parameters.
18 * Both polytopes are in PolyLib notation.
21 #ifdef HAVE_GROWING_CHERNIKOVA
27 int main(int argc
, char **argv
)
36 A
= Constraints2Polyhedron(M
, MAXRAYS
);
39 C
= Constraints2Polyhedron(M
, MAXRAYS
);
41 Polyhedron_Print(stdout
, P_VALUE_FMT
, A
);
42 Polyhedron_Print(stdout
, P_VALUE_FMT
, C
);
43 param_name
= Read_ParamNames(stdin
, C
->Dimension
);
44 gf
= barvinok_series(A
, C
, MAXRAYS
);
45 gf
->print(C
->Dimension
, param_name
);
46 Free_ParamNames(param_name
, C
->Dimension
);