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 Algorithmica publication
2007-08-16
Sv
e
n Verdoolaege
d
o
c
: updat
e
Algorithmica pub
l
i
c
at
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdool
a
e
g
e
evalue
.
c: mak
e
pa
r
ameter na
m
es of
t
ype co
n
st
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdo
o
l
a
ege
sample
.
c
: Poly
h
edron_RemoveFixedColumns
:
c
orrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
uti
l
.
c: remove_equalities:
f
ix t
y
po
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolae
g
e
Param_Polyhedron_Print
:
pri
n
t everything to give
n
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolae
g
e
barvinok_e
n
umerate
_
with_options:
don't add con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
a
e
ge
barvinok
.
cc: don
'
t free P argum
e
nt in e
n
umera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erd
o
olaege
remove_all
_
equa
l
it
i
es: also r
e
move equalities in
context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
exp
o
rt Param
_
Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
ven Verdo
o
laege
barvinok_enumerate
.
cc: add
m
inim
a
l che
c
k
on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more p
r
ot
o
type changes
t
o
c
o
nst
c
har
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Ver
d
oolaege
evalue:
p
rin
t
_evalu
e
: mak
e
pa
r
ameter names const
cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoolaege
A
lways compi
l
e p
o
ly
t
o
p
e
_
sca
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
o
o
l
a
e
ge
p
o
l
y
tope_scan: use
a
rgp
f
or
argument parsin
g
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolae
g
e
do
c
: fix t
y
po
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configure
.
in
:
allo
w
specificatio
n
of def
a
ult prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consol
i
da
t
e calls to Pol
y
h
e
dr
o
n2P
a
ram_
D
o
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Verdoola
e
ge
volum
e
.
c: fix ty
p
o in
comment
commit
|
commitdiff
|
tree
2007-07-01
S
ven
V
erdoolaege
Make
f
ile
.
am: add $(EX
E
EXT) f
o
r cygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
Mak
e
f
i
le
.
am
:
f
o
rce rebuild li
b
r
a
ries in subdir
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ve
n
V
e
rdoo
l
aege
only test barvino
k
_maxim
i
ze if it has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
ege
testlib
.
cc: work arou
n
d incom
p
lete nam
e
space supp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
scale
.
c: enu
m
erate_
n
ar
r
ow_
f
l
a
ted: don't
s
implify constraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdo
o
la
e
ge
declare variable
s
at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
doc: upda
t
e documentati
o
n
of
o
ptions
a
nd some functions
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoo
l
aege
Polyhe
d
ron_Sa
m
ple: factor polyhedron if possibl
e
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaege
Polyhedron
_
Sample:
comput
e
vertices
of 1D p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sa
m
ple: remove all equalitie
s
from polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
add pos
s
ibility
t
o use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
do
o
l
a
ege
P
o
l
yhedron_Sample: postpone removal of ray
s
un
t
il we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhedron
_
Sample: u
s
e
l
p
s
olver
for finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
l
e
xm
i
n
:
move choic
e
of lp solver to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h
:
use c
o
r
r
ect
name of PL_
p
oly
h
e
d
r
on_affine
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laeg
e
barv
i
nok_enumerate: plu
g
m
emory leak i
n
Bernoulli a
p
pro
x
imation
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
b
arvi
n
ok_enumerate_e_r: don't assume AddConstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
evalue_frac2polyno
m
i
al: rechec
k
evalue
a
f
ter eval
u
e_sp
l
it_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
util
.
c: Line_Length: don't get confused by posi
t
ivi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
M
a
k
ef
i
le
.
am: stop after firs
t
f
a
il
e
d test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstei
n
:
c
a
r
ry
through variable renam
i
ng
t
o debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
rdool
a
ege
ber
n
stein: don't as
s
ume
i
nput polynom
i
al has b
e
en expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read
.
c: corre
c
t constnes
s
of name i
n
p
a
r
ame
t
er_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
evalue_read: accept constant mult
i
ple of
v
ariable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
ven Verdoolaege
ev
a
lue
.
c: evalue
_
su
m
: better
h
andling
o
f negative values
commit
|
commitdiff
|
tree
2007-06-15
S
ven Verdoolae
g
e
e
value
.
c: r
e
order_
t
erms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
evalue: declare
f
irst ar
g
ume
n
t of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
evalue
.
c: emul: d
o
n
'
t
u
se explicit_comp
l
ement o
n
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
laege
add
a
test
for evalue_spl
i
t
_
periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
fin
d
_f
r
act
i
onal_with
_
max_periods: initi
a
li
z
e
l
o
c
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
d
o
ol
a
eg
e
ev
a
lue
.
c: eval
u
e_
s
p
l
it_periods:
m
a
k
e sure select
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
e
value
.
c: po
l
ynomia
l
_pro
j
ection: use
evalue_e
x
t
r
act_affine
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Ver
d
oolaege
ad
d
a test for barvi
n
ok_maximize and
barvinok_su
m
m
ate
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaeg
e
barv
i
nok
_
summat
e
: sup
p
ort v
e
ri
f
ication of resu
l
ts
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Ve
r
d
oolaege
evalue
.
c: ev
a
lue_sum: sp
l
it i
n
to orthants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
rdo
o
laege
ba
r
vinok_union:
u
se argp for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdo
o
laege
barv
i
n
o
k_enumera
t
e_union_series
_
wi
t
h_options:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2007-06-07
S
v
e
n
V
e
rdool
a
ege
basis_reduction_cdd
.
cc:
g
e
t
c
orrect
dual solutio
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
basis_reduction_glpk
.
c: correctl
y
s
e
t
type of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n
V
e
r
doolaege
basis_redu
c
tion_glpk
.
c:
c
hec
k
for sanity o
f
so
l
utio
n
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verdoolaege
o
ptions: m
e
ntion
d
efa
u
l
t
and
a
vailable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdoolaeg
e
pol
y
hedron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
d
oc: more about power
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven V
e
rdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven
V
e
r
do
o
l
a
e
ge
doc
:
re
p
eat Matthias' sto
p
ped Ba
r
v
i
n
ok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdoolaege
add barvino
k
_s
u
mma
t
e
to sum a quas
i
-polyno
m
i
al over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verd
o
olaege
e
v
a
l
ue_rea
d
:
fi
x
for top-
l
evel fracti
o
n
a
l part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: Berno
u
l
li_sum_evalu
e
:
re
d
uce resu
l
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bern
o
ulli
.
c: perform
nested
s
ums approxi
m
a
t
ion
d
epth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Verdoolaege
a
dd polyno
m
ial approximation based on ne
s
ted sums
commit
|
commitdiff
|
tree
2007-05-13
S
ven
Verdoolaege
u
t
i
l
.
c: extract for_each_l
o
wer_upper
_
bound fro
m
ParamLine_Len
g
th
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
decomposer: use NT
L
to invert matrix rat
h
e
r th
a
n convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
lattice_point
.
cc: allow rays and vertex to have b
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
counter: opt
i
mize summ
i
ng
o
ver points in fund
a
piped
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdo
o
laege
latt
i
c
e
_point
.
cc: avoid
conversion b
e
tween NTL an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdo
o
laege
co
n
v
e
rsion
.
cc: re
m
o
v
e ray
s
2
m
a
tri
x
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdoolaege
evalue
.
c: evalue_pol
y
nomial extracted
from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Verdoo
l
ae
g
e
evalue
.
c:
ad
d
evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaeg
e
doc
:
a
note on the conne
c
tion betw
e
en Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
doc: poin
t
s in fundapiped:
fix typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Ver
d
oolaege
ba
r
vi
n
ok
.
cc:
simplif
y
dpoly_
n
constructor
commit
|
commitdiff
|
tree
2007-05-10
S
ven Verd
o
ola
e
g
e
Remo
v
e
"normalizatio
n
" o
r
power
s
in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
decomposer
.
c
c: pass options to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolae
g
e
barvinok_co
u
nt:
optionally
u
s
e
exponential substi
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counte
r
.
cc: ex
t
racted from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Ver
d
oolaege
d
p
oly::div: avo
i
d
c
omputation
w
ith
r
ation
a
l numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
d
poly:
u
s
e
V
al
u
e
instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Ve
r
doolaeg
e
doc: fi
x
t
ypo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add test for lattice point
computat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
_read
.
c: add evalue_read_fr
o
m_str fo
r
readi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doola
e
ge
evalue_read_f
r
om_file: don't m
o
di
f
y
v
ar_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
eval
u
e_read: read more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
evalue_con
v
e
rt
.
cc
:
add missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
conver
s
i
on
.
h: generali
z
e ray
s
2matrix
2
to
zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_poi
n
t
.
h:
make se
l
f-c
o
ntained
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
e
r
d
oolaege
evalue_r
e
a
d: extract from maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoola
e
ge
e
n
u
mer
a
tor: sup
p
ort primal (half
-
open) decompos
i
tions
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
enumerator: hand
l
e (
d
ual) stopped
Barvinok decomp
o
si
t
io
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
lattice_poin
t
.
cc: remove u
n
used
P
D
a
r
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olaege
lattice_point
.
cc: extract coset ge
n
eration
commit
|
commitdiff
|
tree
next