isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git] / mat_util.h
blob31a4ddf02f33f9425c6d3167fd9dd943ba6d393d
1 #include <NTL/vec_ZZ.h>
2 #include <NTL/mat_ZZ.h>
4 #ifdef NTL_STD_CXX
5 using namespace NTL;
6 #endif
8 int lex_cmp(const vec_ZZ& a, const vec_ZZ& b);
9 void lex_order_rows(mat_ZZ& mat);
10 int lex_cmp(const mat_ZZ& a, const mat_ZZ& b);