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
)
barvinok_e.cc: drop unused double_bound
tree
86815550df1eb622ee5c62f19a52cd1109e92e96
-rw-r--r--
231
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
198
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
3235
4coins.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
921
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
11791
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
15008
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
14568
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
654
NTL_5_3_2.patch
blob
|
blame
|
history
|
raw
-rw-r--r--
824
NTL_QQ.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3888
README
blob
|
blame
|
history
|
raw
-rwxr-xr-x
224
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
40908
barvinok.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
barvinok
tree
|
history
-rw-r--r--
724
barvinok_count.c
blob
|
blame
|
history
|
raw
-rw-r--r--
41974
barvinok_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2305
barvinok_ehrhart.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
506
barvinok_ehrhart_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
320
barvinok_ehrhart_options.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12068
barvinok_enumerate.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
6065
barvinok_enumerate_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
965
barvinok_enumerate_e_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
418
barvinok_enumerate_e_options.h
blob
|
blame
|
history
|
raw
-rw-r--r--
659
barvinok_enumerate_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
375
barvinok_enumerate_options.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4561
barvinok_summate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3464
barvinok_union.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
513
barvinok_union_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
291
barvinok_union_options.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1647
basis_reduction.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4507
basis_reduction_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3889
basis_reduction_glpk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4538
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24364
bernoulli.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1155
bernoulli.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10014
bfcounter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3684
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--
8955
bound.c
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--
515
cone_hilbert_basis.c
blob
|
blame
|
history
|
raw
-rw-r--r--
659
cone_integer_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14556
configure.ac
blob
|
blame
|
history
|
raw
-rw-r--r--
3913
conversion.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
525
conversion.h
blob
|
blame
|
history
|
raw
-rw-r--r--
795
count_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7625
counter.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2607
counter.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8960
decomposer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1126
decomposer.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
6726
dpoly.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1854
dpoly.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14548
edomain.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2793
edomain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26716
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--
109970
evalue.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11042
evalue_convert.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
520
evalue_convert.h
blob
|
blame
|
history
|
raw
-rw-r--r--
649
evalue_convert_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11627
evalue_isl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21861
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--
8965
fdstream.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3052
fdstream.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26901
genfun.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2290
genfun_constructor.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2100
genfun_constructor.h
blob
|
blame
|
history
|
raw
-rwxr-xr-x
113
get_submodules.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
8035
hilbert.c
blob
|
blame
|
history
|
raw
-rw-r--r--
289
hilbert.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15488
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
drwxr-xr-x
-
interface
tree
|
history
-rw-r--r--
74338
iscc.c
blob
|
blame
|
history
|
raw
m---------
-
isl
history
-rw-r--r--
2272
isl_aff_polylib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
253
isl_aff_polylib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6796
isl_map_polylib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
789
isl_map_polylib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2827
isl_obj_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
538
isl_obj_list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2087
isl_obj_str.c
blob
|
blame
|
history
|
raw
-rw-r--r--
477
isl_obj_str.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3069
isl_param_util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
239
isl_param_util.h
blob
|
blame
|
history
|
raw
-rw-r--r--
166
isl_polylib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
767
isl_set_polylib.h
blob
|
blame
|
history
|
raw
-rwxr-xr-x
582
latte2polylib.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
19489
lattice_point.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1414
lattice_point.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14605
lattice_width.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1276
lattice_width.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12419
laurent.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
244
laurent.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14099
laurent_old.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
248
laurent_old.h
blob
|
blame
|
history
|
raw
-rw-r--r--
75057
lexmin.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
514
lexmin.h
blob
|
blame
|
history
|
raw
-rw-r--r--
638
lexmin_options.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
871
mat_util.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
199
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_interface
tree
|
history
-rw-r--r--
7418
options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1233
param_polynomial.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
374
param_polynomial.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5892
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---------
-
pet
history
-rw-r--r--
578
polyhedron_integer_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
659
polyhedron_sample.c
blob
|
blame
|
history
|
raw
m---------
-
polylib
history
drwxr-xr-x
-
polymake
tree
|
history
-rw-r--r--
3097
polysign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2034
polysign.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1440
polysign_cdd.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3700
polysign_cdd_template.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1462
polysign_cddf.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4142
polysign_glpk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4335
polysign_isl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2590
polysign_polylib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1676
polytope_lattice_width.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2749
polytope_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
882
polytope_volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
474
power.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1708
randomtest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3209
reduce_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1328
reduce_domain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11022
reducer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
3177
reducer.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5101
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--
817
sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21484
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--
4933
semigroup_holes.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
9059
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--
33419
summate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
521
summate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6606
test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10910
test_approx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8210
test_bound.c
blob
|
blame
|
history
|
raw
-rw-r--r--
22740
testlib.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
drwxr-xr-x
-
testsets
tree
|
history
-rw-r--r--
10975
topcom.c
blob
|
blame
|
history
|
raw
-rw-r--r--
208
topcom.h
blob
|
blame
|
history
|
raw
-rw-r--r--
45158
util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2112
vector_partition_chambers.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3316
verif_ehrhart.c
blob
|
blame
|
history
|
raw
-rw-r--r--
289
verif_ehrhart.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12385
verify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2186
verify.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6728
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--
674
version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2861
vertex_cone.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1134
vertex_cone.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15137
volume.c
blob
|
blame
|
history
|
raw
-rw-r--r--
238
volume.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
zsolve
tree
|
history