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: update voting theory reference
2007-09-10
Sven Verdoolaege
d
oc: update voting the
o
ry re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
d
o
cument barvinok_summate a
n
d barv
i
no
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oo
l
aege
doc: c
o
nsistent use of Bar
v
inok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoola
e
ge
barvinok_s
u
mm
a
te
:
correct options descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
D
o
cu
m
ent Euler-Maclaurin based summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
eg
e
doc: change example e
n
vi
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
e
g
e
doc: add some hidden sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
d
o
c
: another
doc
u
ment refering to the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
add som
e
t
est
s
for
E
uler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
u
ler-
M
aclaurin
b
ased summat
i
on fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler
-
Maclaurin based summati
o
n for
2D
problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
decomp
o
ser
.
cc: avo
i
d use of
h
alf-open co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
barvin
o
k_summate: verify solution
o
ver whole
p
ar
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
introduce barvinok_summat
e
as
a wrap
p
er for evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add evalue
_
m
u
l_di
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div
,
mul}: hand
l
e some
t
rivi
a
l ca
s
es more
efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
o
olaege
lattice_point
:
e
xport fractiona
l
_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
e
v
alue
.
c:
e
x
tract com
m
on code
f
or const
r
u
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
v
olume
.
c
: export
Param_Pol
y
hedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
fix t
y
pe of evalue_pol
y
nomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
do
o
laege
support computation of Bernoul
l
i polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
se
p
arate compu
t
ation of Be
r
no
u
lli coefficients an
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
laege
la
t
tice
_
poin
t
: use Par
a
m_Vertex_Comm
o
n_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
make decom
p
ose
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
reduce_domain: avoid use of macro parameter wi
t
h
n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
export evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
U
se pipl
i
b during basis reduction if
no other L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
U
se bun
d
led
pi
p
lib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
olaege
Use bu
n
dled PolyLib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add p
o
lyli
b
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein: allow linking against uni
n
stalle
d
,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n
Ve
r
doo
l
aege
add more missi
n
g asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoo
l
aege
add d
u
mmy implementations of functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoolaege
u
p
d
a
te "Counting wit
h
r
atio
n
al gene
r
atin
g
func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
e
n
Ve
r
doo
l
a
e
g
e
b
ar
v
inok
.
cc: s
p
lit off part
c
onstructi
n
g ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: split off part dealing w
i
th existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ve
n
Verd
o
olaege
*co
u
nter
:
avoid recompu
t
a
tion of d
e
no
m
in
a
t
o
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
counter: remove redu
n
dan
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
cha
n
ge type of some
"sig
n
"s
t
o int as they can
o
nly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Ve
r
doolaege
doc
:
update A
l
gori
t
hmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sven Ver
d
oolaege
e
v
alue
.
c: make param
e
ter names
o
f type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
samp
l
e
.
c: Polyhedron_Remove
F
i
x
ed
C
olumns: corre
c
tl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n
Verdoo
l
aege
u
t
il
.
c:
remove_equalities
:
fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verd
o
ola
e
ge
Param_Polyhedro
n
_Print:
p
rin
t
everything to give
n
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
ba
r
vinok_enumer
a
te_with_
o
ptions: don'
t
a
d
d contex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n
Verdoo
l
aege
b
a
rvinok
.
cc
:
don't fre
e
P argument i
n
enumerat
e
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verd
o
ol
a
ege
remove_all_equalities
:
als
o
rem
o
v
e
equal
i
ties
i
n
context
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n Verdoolaege
v
o
lume
.
c: avoid w
a
rnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoola
e
g
e
e
x
port
P
a
ram_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdoolaege
barvin
o
k_enumerate
.
cc:
a
dd
m
i
nimal check on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n V
e
rdoolaege
m
ore prototype changes t
o
con
s
t c
h
ar *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
e
value: pri
n
t_evalue: make parameter nam
e
s const
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoolaege
Always compile
polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
aege
polyt
o
pe_sc
a
n
: use argp
f
or argumen
t
parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdool
a
ege
do
c
: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolae
g
e
configure
.
in: allow specification of de
f
au
l
t prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
d
o
olaege
con
s
olidate call
s
to Polyhed
r
on
2
Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdoolaege
volume
.
c: fix
t
y
po in
c
ommen
t
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoola
e
ge
M
a
kefile
.
am
:
a
d
d $(EX
E
EXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolaege
M
a
k
e
f
ile
.
am: for
c
e rebuild librar
i
es in su
b
dirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only
test barvinok_maximize
if it has been/can be creat
e
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
t
e
stlib
.
c
c: work ar
o
und i
n
complete n
a
mespace suppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
sca
l
e
.
c:
enu
m
e
rate_narrow_f
l
ated
:
don't simpli
f
y cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
de
c
lar
e
variables at st
a
rt of code bl
o
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc:
u
p
d
a
te documenta
t
ion of options and
s
ome
f
unc
t
ions
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Ve
r
do
o
laege
Poly
h
edron_Samp
l
e
: fa
c
tor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
d
o
olaege
Poly
h
ed
r
on
_
Sample:
compute verti
c
es of 1D p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
ol
a
ege
Polyhedron_Sample: remove all
equalities
f
r
om pol
y
hed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
add p
o
ssibility to
use G
L
PK
a
s
LP s
o
lv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Polyhedr
o
n_Sample: post
p
one removal of rays u
n
til we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Poly
h
edron_Sam
p
le: use lp so
l
ver for fin
d
ing r
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
e
g
e
lexmin: move choice o
f
lp sol
v
e
r to u
s
e
outsi
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doo
l
a
ege
polysig
n
.
h: use correct name of
PL_polyhe
d
ron
_
affine
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
a
eg
e
bar
v
inok_enumerate:
p
lug memory l
e
ak in
B
erno
u
lli approx
i
m
a
ti
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
b
a
rvinok_enumerate_e_r: d
o
n't as
s
ume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
evalu
e
_fra
c
2polynomial: recheck eva
l
ue after eval
u
e_sp
l
i
t
_
do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
u
ti
l
.
c: Lin
e
_
L
e
n
gth: don't get
confused by po
s
itivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
erd
o
olaege
Makefile
.
am: stop afte
r
first failed te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erd
o
olaege
bernste
i
n: c
a
r
ry
through variabl
e
renaming to debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Ver
d
o
olaege
bernstein:
d
on't assume input p
o
l
y
nomial has bee
n
expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaeg
e
evalu
e
_read
.
c:
c
o
r
rect
constne
s
s of na
m
e in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolae
g
e
evalue_read: accept constant multiple of variab
l
e w
i
thout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n
Verdoolaege
evalue
.
c: e
v
alue_
s
um: better
h
andling of negative value
s
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verdool
a
e
ge
evalue
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Ve
r
doo
l
aege
eva
l
ue:
declare first argument of emul
c
o
n
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdool
a
ege
eval
u
e
.
c:
e
mul: don
'
t use explicit_comple
m
e
n
t on arg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolaege
ad
d
a test
for eval
u
e_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c
:
e
v
alue_split_periods: make
s
u
r
e selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verdoolaege
eva
l
ue
.
c
:
polynomial_proje
c
tion: us
e
e
v
alue_extr
a
ct
_
affi
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdoo
l
aege
add a
test for
barvinok_maximize
an
d
barvinok_summ
a
te
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
barvino
k
_
summate: support verification of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
e
v
al
u
e
.
c
:
evalue_sum: split i
n
t
o
orthants + some re
f
actoring
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Verd
o
o
l
aege
barvinok_union: use
argp fo
r
a
r
gument pa
r
s
i
ng
commit
|
commitdiff
|
tree
2007-06-09
Sven
V
e
rdo
o
la
e
ge
barvinok
_
enumera
t
e_union_series_with_options: fix
typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
olaege
basis_reduction_cdd
.
cc: get correct dual
s
o
lution
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdoolaege
b
asis_redu
c
tion_glpk
.
c:
c
orrectl
y
set type of
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaeg
e
ba
s
is_reducti
o
n_glpk
.
c: ch
e
ck for
s
anity
of so
l
ution
commit
|
commitdiff
|
tree
next