2 #include <NTL/mat_ZZ.h>
4 #include <polylib/polylibgmp.h>
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(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
);