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
barvinok_summate: support verification of results
2007-04-18
Sven Verdool
a
ege
bar
v
inok_enumerate
:
reche
c
k
for
e
qualit
i
es
a
fter "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
do
c
: a voting theory
report that refers
to the librar
y
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verd
o
olaege
doc:
u
pdat
e
prim
a
l Ba
r
v
i
nok re
f
erence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: ad
d
journal version of improved de
r
ivation
p
aper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoo
l
aege
v
o
l
ume
.
c
:
keep track of number of s
i
mpli
c
es in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
o
laege
test_approx:
te
s
t volume computation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oola
e
ge
vol
u
me
.
c: vol
u
me_triangulat
e
: use vertex
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
volume
.
c: face_vertices: use Pa
r
am_Inner_Pr
o
duct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
C
all
s
et_program_name before calli
n
g ar
g
p
_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
reduce_domain: exploit that no c
a
ll
e
r uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
erd
o
ola
e
g
e
lexmin: stop using Polyhedron2Param_S
i
m
plifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaege
barvi
n
ok
.
cc:
stop using Polyhedron2Par
a
m_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
Require a ver
s
i
on of P
o
lyL
i
b
t
hat computes
c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
volum
e
.
c: n
o
n_e
m
pty_po
i
nt: simply use internal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
add
a
n ehrhart exam
p
le with in
t
eresting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdool
a
ege
test_approx
:
test
cham
b
er ba
s
ed scali
n
g
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
scale
.
c: optionall
y
perform s
c
aling
on indiv
i
d
ual ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
barvin
o
k_enumerate: u
s
e
"variable compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolae
g
e
u
til
.
c: left_invers
e
: handle cons
t
ant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
evalue
.
c: evalue_
s
u
b
stitute: move from edom
a
i
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
evalue
.
c: affine
2
ev
a
l
ue: e
x
tracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdo
o
laege
r
e
duce_domain: part
i
tion cha
m
ber complex based on i
n
ner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
e
r
doolaege
reduce_dom
a
i
n
.
c: extract inner_point and
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n
Verd
o
o
l
aege
re
d
uce_d
o
ma
i
n:
c
h
e
ck for adjacent chambers i
n
simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verd
o
olaege
FORAL
L
_RED
U
CE
D
_DOMAIN:
e
xtract com
m
o
n ha
n
dling of re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
b
ar
v
ino
k
_
e
numerate:
m
ove recursive cal
l
du
r
ing scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en V
e
r
d
ool
a
ege
ba
r
vinok
.
cc: Param_Pol
y
hedron_Enum
e
ra
t
e: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
a
d
d so
m
e interesting test cases
for volu
m
e computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
p
e
rfor
m
very
b
asic poly
n
omial appro
x
i
m
ation
test
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
test_
a
pp
r
ox: co
m
pare different pol
y
nomial
a
pproximations
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ver
d
oolaege
evalue_convert
.
cc: partial
s
up
p
ort for prin
t
in
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
Param
_
Polyhedr
o
n_Volume: perform
l
ifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
volume
.
c: i
n
troduce para
m
eter_point abs
t
r
a
ct
i
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdo
o
laege
scale
.
c: export Param_Vert
e
x_Com
m
on_
D
enominat
o
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vo
l
ume
.
c:
d
rop redundant
a
rguments t
o
volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ver
d
ool
a
ege
options
.
c: separat
e
pol
y
nomial
app
r
oximation re
l
ated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
barvinok_
o
ptions
_
new_with_de
f
a
u
lts:
initialize sc
a
le_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_cone: skip Delaunay tr
i
angulation by
default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
evalue_convert: p
r
int lattice when prin
t
ing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n
Verdoolaege
evalue_convert:
add v
e
rb
o
se arg
u
ment and return 1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
r
doolaege
Polyhedron_Flate: intersect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
d
oc: bib: fix
u
p
name in title of
Al
g
orith
m
ica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdo
o
laeg
e
add m
i
ssi
n
g volume
.
h
f
il
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
olaege
volume
.
c: delay
c
omputa
t
i
on
o
f
point
w
h
e
re
volu
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoolaege
P
a
r
a
m_P
o
lyhedron_Volume: set polynomial_appro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
volume
.
c:
a
llow compu
t
ati
o
n of lower and upper
bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdo
o
l
a
e
g
e
s
c
ale: export Polyhedron_Flat
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
laege
barvinok_enumerate: optionall
y
c
o
mpute "volume" pol
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
l
aege
polytope
_
vo
l
ume
:
co
m
pute v
o
lume of parametric pol
y
tope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
a
e
g
e
re
d
uce_do
m
ain
.
c: pl
u
g memory lea
k
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolae
g
e
ver
i
fy
.
c
:
mov
e
computation o
f
true
con
t
ext into che
c
k_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
scale
.
c: add simp
l
i
fied method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ola
e
ge
bar
v
inok_
e
numerate: optio
n
ally compute
t
igh
t
e
r
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
p
oly
h
edron_sample
.
c: remove redu
n
dan
t
MAXR
A
YS d
e
fine
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdo
o
laege
evalue
.
c:
e
value_eval: support relatio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
eva
l
ue
.
c:
e
value_frac2polynomial: prope
r
ly handle relation
s
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
barvi
n
ok_enumerate
:
s
u
pport approximatio
n
by m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
s
cale
.
c
: avoid simplification of const
r
a
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok/util
.
h:
a
d
d POL_UNSET m
a
cro fo
r
unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: Param_Polyhedron_Scale
_
Integer_
F
a
s
t: ignor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdo
o
l
a
e
g
e
move Param_Polyhed
r
on_Sc
a
l
e_I
n
tege
r
to
sca
l
e
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
use se
p
arate flags
o
ption for scale approximation met
h
od
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olaege
b
arv
i
n
ok
.
c
c
:
move sc
a
ling
t
o scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven V
e
rdoolaege
scale
.
c: correct
ex
t
r
a
ct_lattice
in case
of
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
en Verdoolaege
doc: upda
t
e C
C
2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaeg
e
verif_ehrh
a
rt
.
c
:
round ine
x
act evaluation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
Verdoolaege
verif_eh
r
hart
.
c: optionally u
s
e exact evaluation
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
en
Verd
o
olaege
eva
l
ue
.
c: a
d
d evalu
e
_eval for exact
ev
a
luation of
ev
a
lue
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n V
e
rdoo
l
a
e
ge
evalue
.
c
: fix evalue_f
r
ac2po
l
ynomial
f
or negative v
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
v
en Verd
o
ola
e
ge
b
a
rvinok_enumerate: p
e
rfor
m
s
l
ow
scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
l
a
eg
e
fix Param_
P
o
lyhedron_Scal
e
_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verd
o
olaege
barvin
o
k
_en
u
mer
a
te:
m
o
r
e acc
u
r
a
te polynomia
l
app
r
oxi
m
ation
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
reor
g
anize
p
olyno
m
i
al approximation options
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
util
.
c: Param_Polyhedron_Print: actually use
o
u
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ve
n
Verdoolaege
f
i
x
merge of c
h
e
ck_poly from v
e
r
if_ehr
h
art
.
c and lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en
V
erdoolaeg
e
doc: upda
t
e Koeppe-Verdoolaege reference
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n Ve
r
doolaege
barvinok_maxi
m
iz
e
: supp
o
rt verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
merge check_poly fro
m
verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
o
ol
a
ege
evalu
e
.
c:
make some evalu
e
arguments c
o
n
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoola
e
g
e
e
v
a
lue_
f
rac
2
floor2
:
a
l
so convert no
n
-parti
t
ion if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Ve
r
doolaeg
e
verify
.
c: c
h
ange veri
f
y_o
p
tions
_
s
e
t_ran
g
e pr
o
tot
y
p
e
commit
|
commitdiff
|
tree
2007-03-17
S
ve
n
Verdoolaege
be
r
nst
e
i
n: pi
e
c
ewise_lst::evaluate: s
u
pport diffe
r
ent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
verify
.
c: turn off continu
e
_on_
e
r
r
or
b
y default
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
bernstein: export
numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
ve
n
Verdoolaege
doc: p
r
oof of existence of suitable y for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoo
l
aeg
e
doc: fix proof of existen
c
e of suitable y
f
o
r
p
rimal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
b
e
r
nst
e
in
.
cc: bern
s
tein_coeffic
i
ents: create s
i
gned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ver
d
oolaege
barvinok_maximize:
o
p
tional
l
y use r
e
cursive ber
n
stein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: bernste
i
n_coeffi
c
ients: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
e
r
do
o
laege
ber
n
stein
.
cc: refactor berns
t
ein_coeffici
e
nts_pro
d
u
c
t
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ver
d
oolaege
bernstei
n
:
p
i
ecewis
e
_lst: add s
i
gn and remove re
d
und
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaege
ber
n
stein: add remove_redundants
m
ethod
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaeg
e
do
c
: pri
m
al decomposition: typo
fixes + cla
r
ifications
commit
|
commitdiff
|
tree
2007-03-11
S
v
en
Ver
d
oolaege
d
oc: fix primal
decomp
o
sit
i
on examp
l
e
+ cl
e
an-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
Do
c
u
m
e
n
t primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdoolaege
barvino
k
.
cc: barvinok_enum
e
rate: fix lower
b
ound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
evalue_spl
i
t_periods:
gr
a
c
e
fully ha
n
dle ze
r
o e
v
a
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoola
e
ge
barv
i
nok_maximize: handle zero
i
n
put
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_e
n
umerate_e: cle
a
n
up allo
c
atio
n
of op
t
ions
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
barvinok
.
cc: handle case where nothing is
left after
.
.
.
commit
|
commitdiff
|
tree
next