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
doc: change example environment
2007-09-10
S
v
en Verdool
a
ege
d
oc: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: ad
d
so
m
e hi
d
den sectio
n
s to t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdo
o
laeg
e
doc: another document refering
t
o
the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoolaege
add some tests
f
or
E
uler-Maclaurin based sum
m
ati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
Eule
r
-Ma
c
laurin based summa
t
i
on for
1
D
p
roblem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
doolae
g
e
E
u
ler-Maclaur
i
n based summ
a
t
i
on for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
decomposer
.
cc: av
o
id use of half-ope
n
c
o
ne
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aeg
e
barvinok
_
summate: v
e
r
ify so
l
ution over w
h
ole
paramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
introduce
b
arv
i
nok_summate as a wrapp
e
r for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
e
ge
add
e
value
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
evalue_
{
div,mu
l
}
:
han
d
le some tri
v
ial
c
ases mo
r
e efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdool
a
ege
l
a
tti
c
e
_point: e
x
port f
r
actional_part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
e
v
alue
.
c:
extract c
o
mm
o
n code for co
n
struction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
volu
m
e
.
c: expor
t
Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
a
d
d evalue_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
fix type of evalue_pol
y
n
o
mia
l
a
r
gum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
laege
suppo
r
t computatio
n
of
Bernoulli p
o
lyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
separate co
m
putatio
n
of Ber
n
ou
l
li coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_poi
n
t
:
use Param_V
e
rtex_C
o
mmo
n
_Denom
i
na
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h
sel
f
-
contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
r
e
d
u
ce_do
m
ain: avoid use o
f
macro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export ev
a
lue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use piplib during
b
asis
red
u
ction if no ot
h
er L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
Use
b
u
ndled
p
i
p
lib
by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
b
u
n
d
l
ed PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polylib s
u
bmodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
bernstein: allow linking against uni
n
stalled
,
but b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoola
e
ge
a
d
d more
m
iss
i
ng
asse
r
t
.
h
#includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoo
l
aege
a
dd dummy implementations of fun
c
t
i
on
s
t
hat
d
epend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olae
g
e
u
p
date
"
Counting with rational generating fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
Verd
o
olaege
ba
r
vino
k
.
c
c
:
s
plit off part cons
t
r
u
cting generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
ool
a
ege
barvino
k
.
cc
:
split
o
f
f part deal
i
ng w
i
th existentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaeg
e
*c
o
unter: avoi
d
recomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
V
erdoolaege
counter
:
r
em
o
v
e r
e
dundant memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of some "sig
n
"s
to int a
s
t
hey can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Ver
d
oolaeg
e
d
o
c:
u
pdat
e
Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven
Verdoolaeg
e
e
va
l
ue
.
c: make p
a
ra
m
e
t
e
r
na
m
es of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n
Ve
r
doolaege
s
ample
.
c: Polyh
e
dron_RemoveFixe
d
Colum
n
s: correc
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Verdool
a
ege
util
.
c
:
r
emov
e
_eq
u
alit
i
es: fix typ
o
commit
|
commitdiff
|
tree
2007-07-30
S
ve
n
Verdo
o
lae
g
e
Param_Polyhedr
o
n_Print: print everything to g
i
ve
n
f
i
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n V
e
rdoolaege
barvi
n
o
k_e
n
umerate_with_o
p
tions: don
'
t add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barv
i
nok
.
cc: don't free P argument
i
n enumer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
r
e
move
_
all_equalit
i
es:
a
l
s
o
remov
e
equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avo
i
d w
a
rnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
exp
o
rt Param_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolaege
barv
i
nok_enumer
a
t
e
.
cc: add minimal
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erdoolaege
more prototype
c
ha
n
ges
t
o const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en V
e
rdoolaege
e
value: print
_
e
v
alue: m
a
ke parameter names c
o
nst
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always c
o
mpile
p
oly
t
ope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
pol
y
tope_scan: use argp for argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
en Verdoolae
g
e
doc: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoolaege
confi
g
u
r
e
.
in: allow sp
e
cificat
i
on of de
f
a
ult pr
e
fix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doola
e
ge
c
onsolidate
c
alls
t
o
Polyhe
d
r
o
n2Param_Do
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makef
i
l
e
.
am
:
add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
a
k
e
file
.
am: forc
e
rebuild libraries
in subdirs
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only
t
est barv
i
nok_maximize if it has been
/
c
a
n b
e
created
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
testlib
.
cc: work around inc
o
mpl
e
t
e
names
p
ace
s
u
pp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Ver
d
oolaege
scale
.
c: enumerate_narr
o
w_flated: don't simpli
f
y cons
t
raint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
ge
declare varia
b
les at start of
co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
d
oolaege
doc: updat
e
documentation o
f
options a
n
d some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
P
o
lyhedron_
S
ample: factor
po
l
yhed
r
on if pos
s
ib
l
e
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ve
r
doolaege
Polyhedron_
S
ampl
e
: compute v
e
rtices o
f
1
D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdo
o
l
a
e
ge
Polyhedr
o
n_Sample: remov
e
al
l
equalities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
add
p
ossibility to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erdoola
e
ge
Polyhedron_Sample: pos
t
pone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doolaeg
e
P
o
lyhed
r
on_Sample: use
l
p
solver for finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
la
e
ge
lexmin: mo
v
e ch
o
ice of
l
p
sol
v
er to use outsid
e
basi
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
doolaege
p
olysign
.
h: use correct
n
ame of PL_polyhedron_af
f
ine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
rvinok_enumerate: plug memory leak in Bernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
doolaege
barvinok_e
n
umerate_e_r: d
o
n't assume Ad
d
C
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
evalue_fra
c
2po
l
yn
o
m
i
al: recheck evalue after evalue_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdo
o
laege
util
.
c:
L
ine_Leng
t
h
: don't get confused by
positivi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
Makefile
.
am: stop after
f
irst
fa
i
led test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
la
e
g
e
b
e
rnstein: carry thro
u
gh variable renamin
g
t
o de
b
uggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
bernstein: don't
assume input polynomial has been expa
n
de
d
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoo
l
aege
evalue_read
.
c:
co
r
rect const
n
e
s
s of
name in parameter_n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
ege
evalue_read: accept const
a
nt multiple of
vari
a
ble
witho
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verd
o
ol
a
ege
evalue
.
c: evalue_sum: better handling of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Ve
r
doolaege
evalue
.
c: reor
d
er_term
s
:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue: dec
l
are first argu
m
ent of emu
l
const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
e
value
.
c: emul: don'
t
use e
x
pl
i
c
it_compleme
n
t on arg
u
m
e
n
ts
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolaege
add a test
f
or e
v
alue_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
f
ind_
f
ra
c
tional_with_m
a
x_periods: initialize
l
ocal
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
e
valu
e
.
c: evalue_split_per
i
ods:
make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verdoola
e
ge
evalue
.
c:
p
o
lynomial
_
projecti
o
n: use
e
value_extrac
t
_affine
commit
|
commitdiff
|
tree
2007-06-10
S
ven
V
erdoolaege
add a test fo
r
bar
v
in
o
k_
m
axim
i
z
e
and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
b
arvinok
_
summat
e
: support
v
er
i
fication of results
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Verdoolae
g
e
evalue
.
c:
eva
l
ue_sum: split into or
t
han
t
s + some re
f
actoring
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
barvinok_unio
n
:
use
argp for argument par
s
ing
commit
|
commitdiff
|
tree
2007-06-09
Sven
V
e
rdo
o
laeg
e
barvinok_en
u
merate_union
_
ser
i
es_wi
t
h_op
t
i
o
ns: fix typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
en V
e
rdoo
l
ae
g
e
basis_redu
c
tion_cdd
.
cc: get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdool
a
ege
b
asis_red
u
ction_glpk
.
c
:
correctly set type
o
f rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
Ve
r
doolae
g
e
basis_reduction_glpk
.
c:
c
h
ec
k
for sanit
y
of so
l
ut
i
on
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdo
o
la
e
ge
options
:
mention def
a
u
l
t a
n
d
avai
l
a
ble
s
olvers f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolae
g
e
polyh
e
d
r
on_sam
p
le: take opt
i
ons
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
do
c
: m
o
r
e
ab
o
u
t power s
u
m
s
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc:
typo
commit
|
commitdiff
|
tree
next