iscc.c: use isl_stream_get_ctx instead of reading ctx field of isl_stream
[barvinok.git] / cone_hilbert_basis.c
blob71a4a6416a0354ca1f1370d19029744d92a2183c
1 #include <barvinok/polylib.h>
2 #include <barvinok/options.h>
3 #include "hilbert.h"
5 int main(int argc, char **argv)
7 Matrix *M;
8 Polyhedron *C;
9 struct barvinok_options *options = barvinok_options_new_with_defaults();
11 M = Matrix_Read();
12 C = Constraints2Polyhedron(M, options->MaxRays);
13 Matrix_Free(M);
15 M = Cone_Hilbert_Basis(C, options->MaxRays);
17 Polyhedron_Free(C);
19 Matrix_Print(stdout, P_VALUE_FMT, M);
20 Matrix_Free(M);
22 barvinok_options_free(options);
23 return 0;