conversion.h

   1 #include <gmp.h>
   2 #include <NTL/mat_ZZ.h>
   3 #include <barvinok/polylib.h>
   4
   5 #ifdef NTL_STD_CXX
   6 using namespace NTL;
   7 #endif
   8
   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 *rays2matrix(const mat_ZZ& rays);
  17 Matrix *rays2matrix2(const mat_ZZ& rays);
  18 void rays(Polyhedron *C, mat_ZZ& rays);
  19 void randomvector(Polyhedron *P, vec_ZZ& lambda, int nvar);