gen_fun::Hadamard_product: don't assume equalities are independent
[barvinok.git] / lattice_point.h
blob978ab27a01b980475ce0e314e461f110551c4db3
1 #include <gmp.h>
2 #include <NTL/vec_ZZ.h>
3 extern "C" {
4 #include <polylib/polylibgmp.h>
7 #ifdef NTL_STD_CXX
8 using namespace NTL;
9 #endif
11 evalue *multi_monom(vec_ZZ& p);
12 int normal_mod(Value *coef, int len, Value *m);
13 void lattice_point(Value* values, Polyhedron *i, vec_ZZ& vertex);
14 evalue* lattice_point(
15 Polyhedron *i, vec_ZZ& lambda, Matrix *W, Value lcm, Polyhedron *PD);
16 void lattice_point(Param_Vertices *V, Polyhedron *C, vec_ZZ& num,
17 evalue **E_vertex);