3 #include <NTL/vec_ZZ.h>
4 #include <NTL/mat_ZZ.h>
5 #include <barvinok/polylib.h>
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
, int n_try
);