Bernoulli_sum_evalue: handle equalities
[barvinok.git] / barvinok / basis_reduction.h
blobb8649852d911d10df44ca3c940e3657220aa4805
1 #ifndef BARVINOK_BASIS_REDUCTION_H
2 #define BARVINOK_BASIS_REDUCTION_H
4 #include <barvinok/polylib.h>
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 struct barvinok_options;
12 Matrix *Polyhedron_Reduced_Basis(Polyhedron *P,
13 struct barvinok_options *options);
15 Matrix *glpk_Polyhedron_Reduced_Basis(Polyhedron *P,
16 struct barvinok_options *options);
17 Matrix *cdd_Polyhedron_Reduced_Basis(Polyhedron *P,
18 struct barvinok_options *options);
19 Matrix *pip_Polyhedron_Reduced_Basis(Polyhedron *P,
20 struct barvinok_options *options);
21 Matrix *pip_dual_Polyhedron_Reduced_Basis(Polyhedron *P,
22 struct barvinok_options *options);
24 #if defined(__cplusplus)
26 #endif
28 #endif