compute_width_directions: only keep list of distinct directions
[barvinok.git] / conversion.h
blobd783d47377d9e8f288da1f8a3c7213b031e09294
1 #include <gmp.h>
2 #include <NTL/mat_ZZ.h>
3 #include <barvinok/polylib.h>
5 #ifdef NTL_STD_CXX
6 using namespace NTL;
7 #endif
9 void value2zz(Value v, ZZ& z);
10 void zz2value(const ZZ& z, Value& v);
11 void values2zz(Value *p, vec_ZZ& v, int len);
12 void zz2values(const vec_ZZ& v, Value *p);
13 void matrix2zz(Matrix *M, mat_ZZ& m, unsigned nr, unsigned nc);
14 Matrix *rays(Polyhedron *C);
15 Matrix *rays2(Polyhedron *C);
16 Matrix *zz2matrix(const mat_ZZ& rays);
17 void rays(Polyhedron *C, mat_ZZ& rays);
18 void randomvector(Polyhedron *P, vec_ZZ& lambda, int nvar);