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
bump version
2007-04-28
Sven Verdoolaeg
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoola
e
g
e
doc: update o
p
tions and
s
ome fu
n
ction
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
doc:
d
oc
u
ment volume com
p
utation
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Ve
r
doo
l
a
e
ge
doc: more reports
exp
l
aining
p
arts of barvin
o
k
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
bern
s
tein: bump versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
doc: trans
f
ormation
o
f para
m
e
t
er domai
n
t
o
ha
v
e re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
barvinok
.
cc: barvin
o
k_
c
ount_f: avoid warni
n
g
on recu
r
siv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
util
.
c:
u
ni
m
od
u
lar_complete:
h
and
l
e comp
l
etion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
ba
r
vin
o
k_enumerate
.
cc: handle all
l
ines
in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
do
o
l
aege
barvinok_enumer
a
t
e
.
cc: ser
i
es: pl
u
g m
e
mor
y
l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
doc: docu
m
ent left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
l
aege
doc: rem
o
ve reference to old barvinok_series applicati
o
n
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Ve
r
do
o
laege
doc: update evalu
e
_bernstein_coef
f
icients
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doola
e
ge
ba
r
vinok/options
.
h: put st
a
ts first
in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
ba
r
v
i
nok_
m
aximize
:
re
a
d_evalue: support
r
elat
i
ons
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
bern
s
t
ein
.
c
c
: evalue_
b
ernstein_coeff
i
cients: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven
V
e
rdoola
e
ge
b
arvino
k
_max
i
mize:
evalue_read:
allow identi
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
barvinok_maxi
m
i
z
e
:
m
o
ve --(
b
e
rnst
e
in-)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoo
l
aege
lib/argp: fix logic in hol_
c
luste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
ba
r
vinok
_
m
a
ximize: allow
s
pecification of the var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
barvin
o
k_maximize: barf on unexpected
first to
k
en
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: more documen
t
s re
f
ering to th
e
library
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
evalue_convert
.
cc: eva
l
ue_cos
e
t: support relati
o
ns
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
e
value
.
c: print_eva
l
ue: always print ne
w
li
n
e at the end
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolae
g
e
d
oc: multivariat
e
quasi-polynomials as lists of polyn
o
mials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
evalue_c
o
n
v
ert
.
cc: includ
e
"conf
i
g
.
h" t
o
pick up USE_FDST
R
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc: index additi
o
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
er
d
o
olaege
doc
:
t
r
iangu
l
ation in p
r
imal s
p
ace +
some typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ve
r
doolaege
do
c
:
docu
m
en
t
i
n
ner_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolae
g
e
d
o
c: refer to
Ko
e
ppe ar
t
i
cle for si
m
pler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolae
g
e
doc: more pub
l
icati
o
ns (i
m
plicitly) refering to th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ver
d
oolaege
configu
r
e
.
i
n
: add $(EXEEXT) to opt
i
ona
l
prog
r
ams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n Verdo
o
l
a
ege
Makefile
.
am: make sure distributio
n
contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
barvin
o
k_enu
m
erate
:
d
o
n't print
(no
n
-exist
i
ng) eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doola
e
ge
edomain
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rdoolaege
configur
e
.
in: check f
o
r
polylib/polylibg
m
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
declare va
r
iable a
t
start o
f
c
ode block
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n
V
erdoo
l
aege
Makefile
.
am:
r
ebuild li
b
rarie
s
i
n
subdirs i
f
missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
do
o
la
e
ge
bar
v
inok_enumerate: recheck
for equalities a
f
t
e
r "var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdoolaege
doc: a voting theo
r
y report tha
t
refers
to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdo
o
laege
doc
:
update pr
i
mal Barvino
k
referen
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
aege
doc:
add journal version o
f
i
m
proved deriv
a
t
ion p
a
p
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
volu
m
e
.
c: keep track
o
f
numb
e
r
of simplices in
vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_ap
p
rox:
t
es
t
v
olume computation variati
o
ns
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaege
vol
u
m
e
.
c
:
v
olume_triangula
t
e
: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
volum
e
.
c
:
face_vertices: use Pa
r
am_Inner_
P
roduct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain: expl
o
i
t
that no calle
r
uses Polyhedron2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoo
l
a
e
ge
lexm
i
n: sto
p
using
P
olyhe
d
ron2Param_Simplifi
e
dDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
rvinok
.
cc: sto
p
using Polyhed
r
o
n2Param
_
Sim
p
lifiedD
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
R
equire a ver
s
ion of PolyLib that compute
s
correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
volume
.
c
:
n
o
n_e
m
pty_point: simply
use i
n
t
e
r
nal poin
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ad
d
an
e
hrh
a
r
t
e
xample with inter
e
sti
n
g cham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
test_ap
p
rox: test c
h
ambe
r
based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
sca
l
e
.
c: opti
o
n
ally pe
r
f
o
rm scalin
g
o
n
individual cham
b
er
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvi
n
o
k_
e
numerate:
u
se "variable compression"
t
o remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ut
i
l
.
c:
left_inverse: handl
e
con
s
tan
t
map
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaeg
e
evalu
e
.
c: evalue_su
b
stitut
e
: mo
v
e from edoma
i
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
olaege
evalue
.
c: af
f
ine
2
e
v
alue: extracted from
v
olume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
reduce_domai
n
:
p
a
r
tition chamber complex
b
a
s
ed on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verd
o
olae
g
e
redu
c
e_domain
.
c:
e
xtract inner_point and is
_
internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
reduce_
d
o
main:
c
hec
k
for adjacent chamb
e
rs in simplifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
FORA
L
L_R
E
DUCED_DOM
A
I
N
: ext
r
act c
o
mm
o
n
h
andl
i
ng of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
b
arv
i
nok_enumerate:
move recursive call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
cc: Param_Pol
y
hedron_Enumerate: extrac
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdo
o
laege
a
d
d som
e
intere
s
ting t
e
st cases for volume compu
t
a
ti
o
n
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
perf
o
rm very basic p
o
lynomial approximation
t
e
st
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
test_appro
x
:
compare different poly
n
om
i
al a
p
proximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olae
g
e
e
v
a
l
ue
_
con
v
e
r
t
.
cc: partial supp
o
rt for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdo
o
laege
P
a
r
am_Polyhe
d
ron_
V
o
l
u
m
e: pe
r
form lift
i
ng triangul
a
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
g
e
volume
.
c: introduce p
a
rameter_point ab
s
t
r
a
c
t
ion
commit
|
commitdiff
|
tree
2007-04-08
Sven
Ver
d
oo
l
a
ege
scale
.
c: export Param_Vertex_Common_Denomina
t
o
r
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
V
erdoolaege
volume
.
c: drop redu
n
d
ant arguments
to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
r
d
o
o
lae
g
e
opt
i
ons
.
c: separate
pol
y
n
o
mial
a
p
prox
i
m
atio
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
doo
l
aege
b
a
rv
i
nok_
o
ptions_new_wi
t
h_defaults
:
i
ni
t
ialize
s
c
ale_f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
a
ege
triang
u
late_cone: skip Delaunay t
r
iangulation b
y
defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue
_
convert
:
print lattice when printing as li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
evalue
_
convert: add verbose argument and return
1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoola
e
ge
Polyhedron_Flate: intersec
t
inflated
poly
t
ope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
rdoolaege
d
o
c
:
bib: fix up name i
n
title of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdo
o
laege
add missin
g
volu
m
e
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sven
Verdoolaege
vol
u
me
.
c: delay com
p
utation of point wh
e
r
e volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven
Verdool
a
e
ge
P
a
ram
_
Polyhedro
n
_V
o
lume: set polynomial_appro
x
im
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
volume
.
c
:
a
l
l
ow computation of lower and upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Polyhedr
o
n
_
Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
barvi
n
ok_enumerate: optio
n
al
l
y compu
t
e "volume
"
polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
o
lae
g
e
polytope_vo
l
ume: compute volume o
f
parametric po
l
ytope
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdo
o
laege
re
d
uce_
d
o
main
.
c:
p
lug
m
emory leak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
verify
.
c
:
move computation
o
f true context into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
sc
a
l
e
.
c: add simpl
i
f
ied method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok_enumerate:
optionally compute tighte
r
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
poly
h
edron_s
a
mple
.
c: remove re
d
u
ndant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
evalue
.
c: e
v
a
l
ue
_
eval:
support re
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ve
r
d
oolaege
ev
a
lu
e
.
c: evalue
_
frac2polynomial:
properl
y
hand
l
e rel
a
t
ions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olae
g
e
bar
v
inok_enumerate: suppo
r
t approximation
b
y
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
scale
.
c: avoid s
i
mplific
a
tion o
f
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
do
o
laege
barvinok/
u
t
i
l
.
h: ad
d
POL
_
UNSET macro for unse
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
scale
.
c
: Param_
P
olyhedr
o
n_Sc
a
le_Integer_Fast: ign
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move
P
aram_Polyhedron_Scale
_
Integer to
s
cale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
use
s
eparate
flags
opti
o
n for sca
l
e approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvinok
.
cc: mo
v
e
s
caling to sca
l
e
.
c
commit
|
commitdiff
|
tree
next