repo.or.cz
/
barvinok.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
evalue.c: extract common code for construction based on (domain,evalue) list
tree
0bfacded1f78a1796ef5b3368849ecc8c252309d
-rw-r--r--
144
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
145
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
3907
4coins.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
461
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
7945
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
15008
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
9356
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--
3014
README
blob
|
blame
|
history
|
raw
-rwxr-xr-x
252
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
40451
barvinok.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
barvinok
tree
|
history
-rw-r--r--
1611
barvinok_count.c
blob
|
blame
|
history
|
raw
-rw-r--r--
43931
barvinok_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2934
barvinok_ehrhart.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
14658
barvinok_enumerate.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
6445
barvinok_enumerate_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2704
barvinok_union.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
794
basis_reduction.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4218
basis_reduction_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3765
basis_reduction_glpk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4728
basis_reduction_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4881
basis_reduction_pip_dual.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3848
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13955
bernoulli.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1165
bernoulli.h
blob
|
blame
|
history
|
raw
-rw-r--r--
19856
bernstein.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
bernstein
tree
|
history
-rw-r--r--
10000
bfcounter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3719
bfcounter.h
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--
12535
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--
1555
counter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
958
counter.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9222
decomposer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1336
decomposer.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
6469
dpoly.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1880
dpoly.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14657
edomain.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2793
edomain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2865
ev_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
105754
evalue.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11397
evalue_convert.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
455
evalue_convert.h
blob
|
blame
|
history
|
raw
-rw-r--r--
20981
evalue_read.c
blob
|
blame
|
history
|
raw
-rw-r--r--
439
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--
8943
fdstream.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3052
fdstream.h
blob
|
blame
|
history
|
raw
-rw-r--r--
24014
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--
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--
19627
lattice_point.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1153
lattice_point.h
blob
|
blame
|
history
|
raw
-rw-r--r--
76284
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--
9245
maximize.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
184
mpz_divisible_p.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
omega
tree
|
history
-rw-r--r--
9428
options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3147
param_util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
502
param_util.h
blob
|
blame
|
history
|
raw
m---------
-
piplib
history
-rw-r--r--
1180
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--
720
polyhedron_sample.c
blob
|
blame
|
history
|
raw
m---------
-
polylib
history
drwxr-xr-x
-
polymake
tree
|
history
-rw-r--r--
2193
polysign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1730
polysign.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1440
polysign_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3695
polysign_cdd_template.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1466
polysign_cddf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3914
polysign_glpk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1875
polysign_polylib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3391
polytope_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
832
polytope_volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1696
randomtest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3179
reduce_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1328
reduce_domain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11418
reducer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4174
reducer.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3558
remove_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
239
remove_equalities.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1242
remove_redundant_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11598
sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20420
scale.c
blob
|
blame
|
history
|
raw
-rw-r--r--
439
scale.h
blob
|
blame
|
history
|
raw
-rw-r--r--
25909
scarf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
5212
series.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
7305
summate.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2909
tcounter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1212
tcounter.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6216
test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11870
test_approx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10883
testlib.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
-rw-r--r--
44464
util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4006
verif_ehrhart.c
blob
|
blame
|
history
|
raw
-rw-r--r--
289
verif_ehrhart.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4916
verify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1125
verify.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6545
verify_lexsmaller.c
blob
|
blame
|
history
|
raw
-rw-r--r--
561
version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15407
volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
238
volume.h
blob
|
blame
|
history
|
raw