repo.or.cz
/
barvinok
/
uuh.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
barvinok 0.27
barvinok-0.27
tree
f1a768e2f56e1b617e9094b1de2e624e37817f72
-rw-r--r--
144
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
145
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
3925
4coins.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
581
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
9255
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
15008
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
12602
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
654
NTL_5_3_2.patch
blob
|
blame
|
history
|
raw
-rw-r--r--
629
NTL_QQ.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3192
README
blob
|
blame
|
history
|
raw
-rwxr-xr-x
252
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
37193
barvinok.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
barvinok
tree
|
history
-rw-r--r--
785
barvinok_count.c
blob
|
blame
|
history
|
raw
-rw-r--r--
43553
barvinok_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2924
barvinok_ehrhart.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
9773
barvinok_enumerate.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
7478
barvinok_enumerate_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4526
barvinok_summate.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2694
barvinok_union.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
916
basis_reduction.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4507
basis_reduction_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3765
basis_reduction_glpk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5085
basis_reduction_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4855
basis_reduction_pip_dual.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4518
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24397
bernoulli.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1155
bernoulli.h
blob
|
blame
|
history
|
raw
-rw-r--r--
20140
bernstein.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
bernstein
tree
|
history
-rw-r--r--
9979
bfcounter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3706
bfcounter.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1333
binomial.c
blob
|
blame
|
history
|
raw
-rw-r--r--
183
binomial.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10960
bound.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
246
cdd94e-test
blob
|
blame
|
history
|
raw
-rw-r--r--
1281
collect_nonsimple.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
collect_polytopes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1314
collect_polytopes2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2331
combine.c
blob
|
blame
|
history
|
raw
-rw-r--r--
185
combine.h
blob
|
blame
|
history
|
raw
-rw-r--r--
515
cone_hilbert_basis.c
blob
|
blame
|
history
|
raw
-rw-r--r--
720
cone_integer_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16202
configure.in
blob
|
blame
|
history
|
raw
-rw-r--r--
3587
conversion.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
540
conversion.h
blob
|
blame
|
history
|
raw
-rw-r--r--
795
count_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7607
counter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2578
counter.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8987
decomposer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1152
decomposer.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
6693
dpoly.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1880
dpoly.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14545
edomain.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2793
edomain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26657
euler.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
242
euler.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2865
ev_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
108762
evalue.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11444
evalue_convert.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
461
evalue_convert.h
blob
|
blame
|
history
|
raw
-rw-r--r--
21834
evalue_read.c
blob
|
blame
|
history
|
raw
-rw-r--r--
468
evalue_read.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1640
evalue_util.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
124
evalue_util.h
blob
|
blame
|
history
|
raw
-rw-r--r--
943
ex_convert.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
128
ex_convert.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8943
fdstream.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3052
fdstream.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26106
genfun.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2290
genfun_constructor.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2108
genfun_constructor.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8004
hilbert.c
blob
|
blame
|
history
|
raw
-rw-r--r--
289
hilbert.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15457
hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
343
hull.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2128
ilp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
312
ilp.h
blob
|
blame
|
history
|
raw
-rw-r--r--
50
initcdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
214
initcdd.h
blob
|
blame
|
history
|
raw
-rwxr-xr-x
582
latte2polylib.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
19452
lattice_point.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1440
lattice_point.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12865
lattice_width.c
blob
|
blame
|
history
|
raw
-rw-r--r--
947
lattice_width.h
blob
|
blame
|
history
|
raw
-rw-r--r--
19340
laurent.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
244
laurent.h
blob
|
blame
|
history
|
raw
-rw-r--r--
76170
lexmin.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
358
lexmin.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
lib
tree
|
history
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
871
mat_util.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
225
mat_util.h
blob
|
blame
|
history
|
raw
-rw-r--r--
284
matrix_read.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
114
matrix_read.h
blob
|
blame
|
history
|
raw
-rw-r--r--
184
mpz_divisible_p.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9178
normalization.c
blob
|
blame
|
history
|
raw
-rw-r--r--
294
normalization.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
omega
tree
|
history
-rw-r--r--
11496
options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5797
param_util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
732
param_util.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
parker
tree
|
history
m---------
-
piplib
history
-rw-r--r--
1186
piptest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7494
piputil.c
blob
|
blame
|
history
|
raw
-rw-r--r--
183
piputil.h
blob
|
blame
|
history
|
raw
-rw-r--r--
639
polyhedron_integer_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
740
polyhedron_sample.c
blob
|
blame
|
history
|
raw
m---------
-
polylib
history
drwxr-xr-x
-
polymake
tree
|
history
-rw-r--r--
4204
polysign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2856
polysign.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1440
polysign_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4174
polysign_cdd_template.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1519
polysign_cddf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4216
polysign_glpk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2090
polysign_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3230
polysign_polylib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2161
polytope_lattice_width.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1344
polytope_minimize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3263
polytope_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
885
polytope_volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
474
power.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1696
randomtest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9221
range.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
292
range.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3178
reduce_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1328
reduce_domain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10915
reducer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3267
reducer.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5020
remove_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
239
remove_equalities.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1248
remove_redundant_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11538
sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21430
scale.c
blob
|
blame
|
history
|
raw
-rw-r--r--
439
scale.h
blob
|
blame
|
history
|
raw
-rw-r--r--
25902
scarf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
857
section_array.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9996
series.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1524
skewed_genfun.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1036
skewed_genfun.h
blob
|
blame
|
history
|
raw
-rw-r--r--
20038
summate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
521
summate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6793
test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11829
test_approx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8269
test_bound.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
24134
testlib.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
drwxr-xr-x
-
testsets
tree
|
history
-rw-r--r--
10750
topcom.c
blob
|
blame
|
history
|
raw
-rw-r--r--
208
topcom.h
blob
|
blame
|
history
|
raw
-rw-r--r--
47472
util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3292
verif_ehrhart.c
blob
|
blame
|
history
|
raw
-rw-r--r--
289
verif_ehrhart.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11827
verify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1834
verify.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6535
verify_lexsmaller.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1430
verify_series.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
239
verify_series.h
blob
|
blame
|
history
|
raw
-rw-r--r--
735
version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15112
volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
238
volume.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
zsolve
tree
|
history