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 versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolae
g
e
doc: update
options and s
o
me function
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
d
o
c: docume
n
t volu
m
e computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
do
c
:
m
ore repo
r
ts
e
xpl
a
i
ning p
a
rts of
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdool
a
ege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: transformation
o
f pa
r
ameter domai
n
t
o
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: ba
r
vinok_count_f: avoid
warning o
n
r
ecu
r
sive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
util
.
c
:
u
n
im
o
dular_c
o
m
p
l
e
te: handle completion o
f
mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
ba
r
vinok_enum
e
rate
.
cc: handle
a
ll
lines in --ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verd
o
o
l
a
ege
barvino
k
_enumerate
.
cc:
seri
e
s: plug memory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
ege
doc: do
c
u
men
t
lef
t
_invers
e
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
V
erdoolaege
doc: r
e
move referen
c
e
t
o o
l
d barvin
o
k_series
application
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
d
o
c:
u
pdate evalue_
b
ernstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Ver
d
oolaege
barvinok/opti
o
ns
.
h: p
u
t
s
tats first
i
n b
a
rvinok_opti
o
ns
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdool
a
eg
e
barv
i
nok_ma
x
im
i
ze: read_evalue: suppo
r
t relatio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
b
er
n
stein
.
cc: ev
a
lue_bernstein_
c
oefficients
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
doolaege
ba
r
vi
n
ok_maximize: evalu
e
_
read: allo
w
identi
f
ier
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ba
r
vinok_m
a
x
imize: move --
(
be
r
nst
e
in-)recurse opti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
l
i
b/argp: fix
l
ogic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoo
l
aege
ba
r
vinok_
m
aximi
z
e
: allo
w
s
pec
i
fication
of the
v
a
riabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laeg
e
barvinok_m
a
xi
m
ize: bar
f
o
n
unexpec
t
ed firs
t
token
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoo
l
a
e
ge
doc:
m
ore documents refe
r
ing to the li
b
rary
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
o
o
laege
e
v
alue_c
o
n
vert
.
cc: evalue_coset: support rela
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c: print_evalue: always pri
n
t newline at
t
h
e end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc
:
mu
l
tivariate qua
s
i-p
o
ly
n
omials as l
i
s
t
s o
f
p
olynomial
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oo
l
a
e
g
e
ev
a
lu
e
_
c
onvert
.
cc: include "con
f
ig
.
h" to
pick up U
S
E_FDSTR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
d
o
olae
g
e
d
oc: index
add
i
tions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: triangulation in primal space
+ some
t
ypo fixe
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
doc: document in
n
er_point
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ve
r
doola
e
g
e
doc:
r
efer to Koeppe article f
o
r
s
impler motiv
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
m
ore publicat
i
on
s
(i
m
plicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven V
e
r
doolaege
configure
.
in: add
$
(EXEEXT) to opti
o
nal programs
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verd
o
o
l
aege
Mak
e
f
ile
.
am: make
s
u
re distribution co
n
tains r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
e
g
e
w
ork
a
round inc
o
m
p
lete namespace suppo
r
t in
o
ld comp
i
lers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
di
s
ab
l
e som
e
features if fds
t
ream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven V
e
r
d
oolaege
b
arvinok_enumerate
.
cc: avoid u
s
e of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven
Ver
d
oolaege
b
arvinok_
e
numerate: don't print (n
o
n-existin
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoo
l
aege
ed
o
m
ain
.
cc: av
o
id use o
f
fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
confi
g
ur
e
.
i
n
:
c
heck for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
e
clare variable at start of code blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoola
e
ge
Makefi
l
e
.
am: rebuild
libra
r
ies
in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ver
d
oolaege
barvinok
_
enumerate: recheck for equalities after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
Ve
r
d
o
olaege
d
oc:
a voting theory
r
eport t
h
at refer
s
to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolae
g
e
doc:
u
pdate prima
l
Ba
r
vi
n
ok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
en
Verdoo
l
aege
doc: add journa
l
version
of
i
mprov
e
d deri
v
ation
p
ape
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoola
e
ge
volume
.
c: kee
p
track of
n
umber of simplices
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaeg
e
te
s
t_approx:
test volume
c
omputation var
i
ations
commit
|
commitdiff
|
tree
2007-04-13
S
ve
n
Verdo
o
laege
vo
l
ume
.
c: vol
u
me_tria
n
gulate: use vertex ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
volume
.
c:
face_
v
ertices: use
P
aram_Inner_
P
r
oduct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
ol
a
ege
C
a
ll set_program_name
b
efore calling argp_pa
r
se
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain
:
exploit that no caller uses Polyhedron2P
a
ram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
lex
m
in: stop using Polyhedron2
P
a
r
am
_
S
implifiedD
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
barvinok
.
cc:
stop using P
o
lyhedron2Pa
r
am
_
Simplifie
d
Do
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
Require a version of Pol
y
Lib
that computes cor
r
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: n
o
n_emp
t
y
_
p
o
i
n
t: simply
u
se
interna
l
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
onl
y
c
o
mpile barvinok_maxim
i
ze if GiNaC (
a
nd bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
aege
add
a
n
ehrhart e
x
a
mple with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
test
_
approx:
test chamber b
a
sed scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
sc
a
le
.
c:
op
t
ionally
p
erform scaling on indiv
i
dual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
d
o
olaege
barvinok_e
n
umer
a
te: use "var
i
able compression" to
r
emove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
util
.
c: left_inverse: handle constant map
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
eval
u
e
.
c: eva
l
ue_substitute: move from
edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdool
a
ege
evalue
.
c:
af
f
ine2e
v
alue: ex
t
racted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
ge
reduce_doma
i
n:
p
artition c
h
amber complex based on
i
n
ner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaege
reduce_d
o
main
.
c:
extract inner_p
o
int and is
_
internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolaege
reduc
e
_domai
n
:
c
h
eck
for adjacent chamber
s
i
n simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
F
O
RALL_
R
EDUCED_DOMAIN
:
extr
a
c
t
common handli
n
g of
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven V
e
rdoolaege
barv
i
nok_
e
num
e
rate
:
move recursive call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verd
o
olaege
barvinok
.
c
c
: Param_Polyhedron_E
n
umerate: extracte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Ve
r
d
o
o
l
aege
ad
d
some i
n
te
r
esting
t
e
s
t cases
for volume comput
a
tion
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform v
e
ry basic
polynomial
a
pproximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
test_appro
x
: compa
r
e different pol
y
nomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
evalue_co
n
vert
.
cc: partial s
u
p
p
ort for printing
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdo
o
l
aege
P
a
ram_P
o
lyhedron_V
o
lume: perform lifting triangul
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven
Verdoolaege
v
olume
.
c
:
introduce para
m
eter
_
point a
b
st
r
act
i
on
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaege
scale
.
c: export Param_Vertex_Common
_
De
n
o
m
inator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
volume
.
c: dro
p
re
d
u
ndant arguments to volume_si
m
ple
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
opt
i
ons
.
c: sep
a
rate polynomia
l
approximat
i
on relat
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
aege
barvinok_opti
o
ns_new_
w
ith_
d
ef
a
ults:
i
nitialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triang
u
late_cone:
s
kip Delaunay tr
i
a
ngulation by de
f
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
evalue_convert:
p
rint
l
attice wh
e
n p
r
int
i
ng as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
eval
u
e_convert: add
v
erbose argument and
r
eturn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Pol
y
hedron_F
l
ate: inters
e
c
t
inflated po
l
ytope
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Ver
d
o
olae
g
e
doc: bib: fix up name in title of Algorithmic
a
paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoola
e
ge
add miss
i
ng volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoola
e
ge
volume
.
c: delay
computation o
f
point where vol
u
me is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdool
a
e
ge
Para
m
_Polyhe
d
ron_Volume: set polynomial_approxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
v
o
lume
.
c: allow computation of lower and upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolaege
scale: export P
o
lyhedro
n
_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
S
ven
Ver
d
oolaege
bar
v
inok_
e
numer
a
te: o
p
tionally compute "volume"
p
o
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
polytope_volume
:
compute
v
olume
o
f parametric
polytope
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdo
o
la
e
ge
reduce_domain
.
c:
p
l
u
g memor
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
v
e
r
ify
.
c: move
computation of true
c
o
n
t
e
xt into check_pol
y
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
scale
.
c: add
s
implif
i
e
d
m
ethod of computing ti
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
er
d
oolaege
bar
v
inok_enumer
a
te: op
t
ionally compu
t
e tig
h
ter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
l
ae
g
e
polyhe
d
r
o
n_s
a
m
p
le
.
c: remove redun
d
ant
M
AXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
evalue
.
c: evalue_eval
:
s
upport relations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verd
o
olaege
evalue
.
c: evalu
e
_f
r
ac2polynomial:
properly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
barv
i
n
ok_en
u
merate
:
support approximation by mea
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
scale
.
c
:
avoid
simplificat
i
on
of con
s
traints after
.
.
.
commit
|
commitdiff
|
tree
next