conversion.h

   1 #include <NTL/ZZ.h>
   2 #include <NTL/vec_ZZ.h>
   3 #include <NTL/mat_ZZ.h>
   4 #include <barvinok/polylib.h>
   5
   6 using namespace NTL;
   7
   8 void value2zz(Value v, ZZ& z);
   9 void zz2value(const ZZ& z, Value& v);
  10 void values2zz(Value *p, vec_ZZ& v, int len);
  11 void zz2values(const vec_ZZ& v, Value *p);
  12 void matrix2zz(Matrix *M, mat_ZZ& m, unsigned nr, unsigned nc);
  13 Matrix *rays(Polyhedron *C);
  14 Matrix *rays2(Polyhedron *C);
  15 Matrix *zz2matrix(const mat_ZZ& rays);
  16 void rays(Polyhedron *C, mat_ZZ& rays);
  17 void randomvector(Polyhedron *P, vec_ZZ& lambda, int nvar, int n_try);