repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git]
/
mat_util.h
blob
31a4ddf02f33f9425c6d3167fd9dd943ba6d393d
1
#include <NTL/vec_ZZ.h>
2
#include <NTL/mat_ZZ.h>
3
4
#ifdef NTL_STD_CXX
5
using namespace
NTL
;
6
#endif
7
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
);