gen_fun::Hadamard_product: don't assume equalities are independent

[barvinok.git] / piputil.h

#include <polylib/polylibgmp.h>

Polyhedron *pip_projectout(Polyhedron *P, int pos, int n, int nparam);