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_enumerate.cc: avoid use of fdstream
2007-04-19
Sve
n
Verdoolae
g
e
barvi
n
o
k_enumera
t
e
.
cc: avo
i
d
use
of
f
dstre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
barvinok_enumerate: don'
t
p
r
int
(non-existing)
e
value
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaege
edom
a
in
.
c
c
: avoid use of fds
t
re
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
olaeg
e
configure
.
in: check for po
l
yl
i
b/polylibgm
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
declare va
r
i
ab
l
e
a
t
start
of
c
ode block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoolaege
Makefile
.
am: rebui
l
d
libra
r
ies
in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
bar
v
inok_enum
e
rate: recheck for equalities a
f
t
er "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdoo
l
a
ege
do
c
:
a
voting th
e
ory repo
r
t
t
hat
refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdo
o
l
ae
g
e
doc: update primal Barvinok r
e
fere
n
ce
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolaege
doc: add journal version of improv
e
d de
r
ivation
p
aper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
vo
l
um
e
.
c: kee
p
track o
f
num
b
er of s
i
mplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdool
a
ege
test
_
approx
:
t
est
v
olume computation v
a
riations
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
volume
.
c: volume_t
r
iangulat
e
:
u
se vertex i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoola
e
ge
volume
.
c: face_vertices: use
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Ver
d
o
o
laege
C
a
l
l
se
t
_program_name before c
a
lling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
reduce
_
d
o
main:
e
xploit that no
caller uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoo
l
a
e
ge
lex
m
in:
s
top usin
g
Po
l
y
h
edron2
P
a
r
am_SimplifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
arvinok
.
cc:
s
top u
s
i
ng Polyhedron2Param_Si
m
plifi
e
d
D
o
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erd
o
ol
a
ege
Requi
r
e
a versi
o
n of Pol
y
Lib
t
hat c
o
mputes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
v
o
lume
.
c
:
non_empty
_
point: simply use int
e
rnal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
e
r
doola
e
ge
on
l
y compil
e
b
a
rvinok
_
maximize if GiNaC (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdo
o
laege
add an ehrhart example with interesting
chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven V
e
r
doolaege
test_ap
p
r
ox: t
e
st chamber
base
d
sca
l
ing
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
d
o
o
l
a
e
ge
sc
a
l
e
.
c: opt
i
onally p
e
rfor
m
sca
l
ing on ind
i
v
i
dual chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolae
g
e
barvinok_enumerate:
us
e
"variabl
e
co
m
pression"
t
o
r
e
m
ove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
l
a
e
ge
util
.
c: left_inver
s
e: handle constant
m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoola
e
ge
evalu
e
.
c: evalue_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
evalue
.
c: affine2ev
a
l
ue:
e
xtracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
doolae
g
e
reduce_doma
i
n
:
partition chamber
c
omplex b
a
sed on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolae
g
e
redu
c
e_
d
omain
.
c: extract
inner_p
o
int
a
nd is
_
inter
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
red
u
ce_domain: c
h
e
ck
f
or adjacent chambers i
n
simp
l
i
fied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORALL_REDUCE
D
_D
O
MA
I
N: e
x
tract common handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
barvinok_enumerate: move
r
ecu
r
sive
c
all during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verd
o
olaege
barvi
n
ok
.
c
c
:
Param_Po
l
yhed
r
on_Enumera
t
e: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add
some interesti
n
g test cases
f
or vol
u
me
c
omputation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perform very basic polynomial
appr
o
x
imation te
s
t
commit
|
commitdiff
|
tree
2007-04-09
S
v
en
V
erdoolaege
te
s
t_approx:
c
ompare
d
i
f
fe
r
ent poly
n
omial
a
pproxima
t
ions
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
l
a
e
ge
eval
u
e_convert
.
cc: partial support for p
r
inting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
Par
a
m_Polyhedron
_
Volume: perfo
r
m lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
Verd
o
o
laeg
e
volum
e
.
c: introduce parameter_poin
t
abstraction
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoola
e
g
e
scale
.
c: e
x
p
o
rt
P
a
ram_Vertex_Com
m
o
n_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolae
g
e
volume
.
c: drop redun
d
ant a
r
gumen
t
s to volume_sim
p
lex
commit
|
commitdiff
|
tree
2007-04-08
Sven
Ve
r
doolaege
o
ptions
.
c:
s
eparate polynomial ap
p
r
oximati
o
n re
l
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en
Verdoolaege
barv
i
nok_options_new_with
_
defaults: i
n
i
t
i
a
l
ize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
rdoolaege
triangulate_cone:
s
ki
p
Delaunay triangul
a
tion by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
e
v
a
lue_
c
o
n
vert
:
p
r
i
nt latt
i
ce wh
e
n printing
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
eval
u
e_convert: add ve
r
bo
s
e a
r
g
ument
a
nd
r
eturn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven V
e
r
d
oo
l
ae
g
e
P
o
lyhedron_Flate: intersect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Verdoola
e
ge
doc
:
b
ib: fix up name
i
n tit
l
e
of Algorithmica pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven V
e
rdoolaeg
e
add
m
is
s
ing
volume
.
h fil
e
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoo
l
aege
v
olum
e
.
c: de
l
ay computati
o
n
of point where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Polyhe
d
ron_
V
o
l
ume: set polynom
i
al_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volu
m
e
.
c
: allow
computation of lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
e
rdoolaege
scale:
e
x
port Polyhedr
o
n_
F
la
t
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
barvinok_enumerate: op
t
i
o
na
l
ly co
m
pute "
v
olume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
pol
y
to
p
e_volu
m
e: compute volume of parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
reduce_domain
.
c
: plug memory
l
eak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
l
aege
v
erify
.
c: move computation of
t
ru
e
context into ch
e
ck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
ege
scale
.
c: add simplified me
t
hod
o
f
com
p
ut
i
n
g tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
b
a
rvin
o
k_enumerat
e
:
option
a
l
l
y compu
t
e tighter p
o
lyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhedron_samp
l
e
.
c:
r
emove redundant
MA
X
RAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
ool
a
ege
evalue
.
c: evalue_eval
:
support relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
evalue
.
c: evalue_
f
r
ac2p
o
lynomi
a
l: properly
handle
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoolaege
barvinok_enumerate: s
u
pport
a
p
p
roximation by
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
scale
.
c: avo
i
d simplif
i
cation
o
f constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ve
r
doolaege
barvinok/util
.
h: add POL_UNSET macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolae
g
e
sca
l
e
.
c: Param_Polyhedron_Scale_Int
e
ge
r
_F
a
st: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verd
o
olaege
move Param_Pol
y
he
d
ron_
S
cale_Integer
to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ver
d
ool
a
ege
use separat
e
flags opti
o
n for
scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verd
o
olaege
b
arvinok
.
c
c
: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
ege
sca
l
e
.
c:
c
orrect extract_
l
attice
in case o
f
redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olaege
d
o
c
: up
d
ate CC20
0
5
r
e
ference
commit
|
commitdiff
|
tree
2007-03-26
Sven Ve
r
d
o
olaege
verif
_
ehrha
r
t
.
c:
round inex
a
c
t
evaluation up
o
r
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
ve
n
Verdoo
l
aege
v
e
rif_ehrhart
.
c
:
optio
n
a
l
ly use exact eva
l
uation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: add evalue_eval for ex
a
c
t eva
l
uation of evalu
e
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Verdool
a
e
g
e
evalue
.
c: fix evalue_fra
c
2polynomial for negativ
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
V
erdo
o
l
aege
barvinok_enumerate:
p
e
r
form sl
o
w scaling approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix Param
_
P
o
lyhedron_Scale_I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
barvin
o
k_
e
numerate
:
m
ore accurate polyn
o
mial appr
o
ximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdool
a
ege
reor
g
anize
pol
y
nomial approximation options
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
la
e
ge
util
.
c
: Param_Pol
y
he
d
ron
_
Print: actuall
y
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoola
e
g
e
fix merge o
f
check_poly from
ve
r
if_ehrhar
t
.
c and le
x
min
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaeg
e
d
oc
:
update Koeppe-
V
er
d
oolaege re
f
er
e
n
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
barvinok_ma
x
imize: supp
o
rt veri
f
ication
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
merge che
c
k_pol
y
from verif_e
h
r
ha
r
t
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
o
laeg
e
evalue
.
c
: mak
e
some e
v
alue argum
e
n
t
s const
commit
|
commitdiff
|
tree
2007-03-17
Sven
Ver
d
oolaege
evalue_frac2floor2: a
l
so conver
t
non-partitio
n
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verif
y
.
c
:
change veri
f
y_o
p
tions_se
t
_rang
e
pr
o
totype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
berns
t
ein
:
piecewise_lst:
:
evaluate: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
verif
y
.
c
: t
u
rn off con
t
i
n
ue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdo
o
laege
ber
n
stein: exp
o
rt
n
u
m
e
ric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc:
p
roof of existence of
sui
t
able y f
o
r prima
l
d
ecompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdoo
l
a
ege
doc: fix p
r
oof of existe
n
ce
of
s
u
i
table y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en V
e
rdoolaege
b
e
rnstein
.
cc: bernstein_coeffi
c
ien
t
s
: cr
e
ate si
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
b
arvinok_maximize: optionally
us
e
recursive bernste
i
n_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
bernstein
.
cc: b
e
rnstein
_
coeffi
c
ients: support g
e
ne
r
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
b
ernstein
.
cc: refact
o
r bernste
i
n_
c
oefficien
t
s_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
ernstein: piece
w
ise_lst: add
sign and remove redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
dool
a
ege
bernstein: add remove
_
redu
n
d
a
nts method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
doc: primal d
e
c
o
mp
o
sit
i
on: typo fixes
+
c
larif
i
cations
commit
|
commitdiff
|
tree
next