conversion.h

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