repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add some test sets from cases 2004 and cc 2005 papers
2007-09-11
S
ven V
e
rdo
o
la
e
g
e
l
exmin: add (protect
e
d
)
m
i
ssing algorithm
i
n
c
lude
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdo
o
laege
Makefile
.
a
m
: add targe
t
f
o
r
creatin
g
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update voting theory re
f
er
e
nce
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdoolaege
doc
u
ment barv
i
nok_sum
m
a
t
e
a
nd barv
i
nok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
e
rdoolaege
doc: consistent use of Barvinok's i
n
itials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
barvinok_summate: correct o
p
tions descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
g
e
Document Euler-Maclau
r
in base
d
su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: chang
e
e
x
ample envi
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
e
g
e
doc: add s
o
me hidden secti
o
ns to table
of cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdoolaege
doc: anothe
r
document
r
efering to the li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some
te
s
ts for Euler-
M
aclaur
i
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoo
l
aege
Euler-Macl
a
urin based
s
u
mmatio
n
f
or 1D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Euler-Maclaurin ba
s
ed summation
f
or 2D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
dec
o
mposer
.
cc: avoid
use
of half-open co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
a
rvinok_
s
umma
t
e: v
e
rify solu
t
ion ove
r
whole
p
arameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
i
n
t
roduce barvino
k
_summate as a
wrapper for evalue
_
sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
a
d
d evalu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
evalue_{div,mul}:
h
a
ndle some t
r
ivial case
s
m
ore efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: export fractio
n
a
l_part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
r
doolaege
ev
a
l
u
e
.
c: extract common c
o
de for co
n
s
t
r
uction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doo
l
ae
g
e
volume
.
c: ex
p
ort Param_Polyhedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
f
ix type of evalue_
p
olynom
i
a
l
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaeg
e
support c
o
mputation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
doo
l
aege
s
eparate computat
i
on of
B
e
rno
u
lli coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
ol
a
ege
latt
i
ce_point: use
P
aram_Vertex_Co
m
mo
n
_
Denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
make d
e
compose
r
.
h
s
elf-contained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
r
e
du
c
e_doma
i
n: avoid us
e
of m
a
cro
p
arameter
w
ith name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
exp
o
rt e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use pip
l
ib
during bas
i
s reduction if no oth
e
r
L
P
sol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
Use bun
d
led pipli
b
by
default
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolaeg
e
add piplib m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
o
l
aege
Use bundled Pol
y
Lib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add po
l
ylib submod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oo
l
aege
bernstein: allow
l
inkin
g
agai
n
st uninst
a
lled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven V
e
rdoolaege
ad
d
more missing asser
t
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
rdoolaege
a
d
d
du
m
my i
m
p
lementations of
f
unctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
upd
a
te "Counti
n
g with rational generating fun
c
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoolaege
barvinok
.
cc
:
split off part constructing gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoo
l
aege
barvinok
.
cc
:
sp
l
it off part dealing with e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rd
o
olaege
*cou
n
te
r
: avoid r
e
c
omputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
la
e
ge
counter: r
e
m
o
ve
r
edundant m
e
mbe
r
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoola
e
ge
change type of some
"
s
ign
"
s to int
a
s they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
doc: upd
a
te
Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
ev
a
lue
.
c:
m
ake
parameter
n
ames of ty
p
e
c
ons
t
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdool
a
ege
s
ample
.
c
:
Polyhedr
o
n_Re
m
o
v
eFixedC
o
lu
m
ns:
c
or
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
uti
l
.
c
: remove
_
eq
u
alities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdoolaege
Param
_
P
o
lyhedron
_
Print: print e
v
erythi
n
g to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
barv
i
no
k
_enume
r
ate_with_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
V
erdoolaege
b
a
rvinok
.
cc:
d
o
n't free P
a
rgument in enumer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
r
e
move
_
a
ll_equalities: also remove equ
a
lities in c
o
n
t
ext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
vol
u
m
e
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Ve
r
d
o
ol
a
ege
export Pa
r
am_I
n
ner_Prod
u
ct
commit
|
commitdiff
|
tree
2007-07-25
S
ve
n
V
e
r
d
oolaeg
e
barvino
k
_enumerate
.
cc: a
d
d m
i
n
im
a
l ch
e
ck
o
n
input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoo
l
a
ege
more protot
y
pe changes to
const
c
har
*
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdoolaege
evalu
e
:
print_
e
value: make par
a
me
t
er names const
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaeg
e
Always compile poly
t
ope
_
sca
n
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
V
er
d
o
olaege
polytop
e
_
s
can:
use argp
f
or
ar
g
ument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
rd
o
ol
a
e
g
e
doc: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Verdoo
l
aege
configure
.
in: allow specifica
t
ion of default
p
refix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
con
s
olidate calls to Polyhedron
2
Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
e
rdoolaege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Makefile
.
am: add $(EXEEXT)
f
or cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am:
force reb
u
ild librari
e
s
in subdirs i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
on
l
y test
ba
r
vinok_maximize if it has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
a
e
ge
bar
v
inok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdool
a
e
g
e
te
s
tlib
.
cc: work around i
n
complete namespace s
u
p
por
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oola
e
ge
sca
l
e
.
c: enumerate_narrow_flat
e
d: d
o
n't simpl
i
fy cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declare variables at
s
t
art of code blo
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdoolae
g
e
doc: up
d
a
t
e documentation of options and some
functions
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
e
rdoolaege
Polyhedron_
S
ample: factor polyhed
r
on i
f
possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
laege
Polyhedron_Sample: compute v
e
rtices
of 1D
p
olyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
a
ege
Pol
y
hedron_Sample:
remove all equalities
from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add
po
s
sibility to
u
se
GLPK as LP
solve
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aege
Polyhe
d
ron_Samp
l
e: postpone rem
o
val
of rays u
n
til we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoolaege
P
o
lyhed
r
o
n
_Sampl
e
: use lp solver for
findin
g
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
e
rdo
o
la
e
ge
le
x
min
:
move choice of lp sol
v
e
r
to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
ol
a
ege
polysign
.
h: use corr
e
ct name o
f
PL_pol
y
h
e
d
ron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
b
arv
i
nok_
e
numerat
e
: plu
g
memory l
e
ak i
n
Bern
o
ulli
a
p
p
roximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
eg
e
barvinok
_
enumerate_e_r: d
o
n'
t
a
s
sume A
d
dConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
e
rdo
o
laeg
e
e
va
l
ue_frac2polynomial: recheck ev
a
lue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
uti
l
.
c: Line_Length: don't get confused by
positi
v
ity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Make
f
ile
.
am: stop
after first f
a
i
l
ed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
o
laeg
e
bernste
i
n: carr
y
through variab
l
e renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
berns
t
ein: don't assume input polynomial has
b
e
e
n
ex
p
a
nded
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolae
g
e
evalue_read
.
c: c
o
rrect c
o
nst
n
ess of n
a
m
e in paramete
r
_
new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoo
l
aege
evalue_read: acce
p
t
c
on
s
tant
multiple o
f
v
a
riable with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verd
o
olaege
eval
u
e
.
c
:
evalue_sum: bett
e
r handling
of n
e
gative v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoo
l
aege
eval
u
e
.
c:
r
eorder_terms
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en V
e
rdoolaege
evalue: decl
a
r
e
first argument of emul
const
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdool
a
e
ge
eval
u
e
.
c: emul: d
o
n'
t
use
explicit_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test fo
r
e
v
alue_split_perio
d
s
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
find_fract
i
o
n
al_with_max_periods:
i
nitialize loca
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
l
ae
g
e
evalu
e
.
c: evalu
e
_
s
plit_peri
o
ds: make sure
s
el
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdool
a
ege
eva
l
ue
.
c: p
o
ly
n
omial_pr
o
j
e
ction: use evalue_extra
c
t_af
f
ine
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
add a te
s
t f
o
r barvinok_m
a
xim
i
z
e and barvin
o
k_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoola
e
ge
barvin
o
k_summate
:
support
verificati
o
n of
r
esults
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Ve
r
doolaege
eva
l
ue
.
c: e
v
alu
e
_sum
:
split into
o
r
t
hants
+
s
ome
refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
ola
e
ge
barvinok_unio
n
: use argp
f
or arg
u
ment
parsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolae
g
e
barvinok_enumerate_union
_
series_wi
t
h_options
:
fix typo
commit
|
commitdiff
|
tree
next