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: multivariate quasi-polynomials as lists of polynomials
2007-04-23
Sven Verdoolaege
doc: multiva
r
iate qu
a
si-polynomials
as lis
t
s of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
eval
u
e_conve
r
t
.
c
c
: inclu
d
e "config
.
h
"
to pic
k
up US
E
_
FDSTRE
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
d
oc: inde
x
additions
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdoolaege
doc: triang
u
l
ation in primal
s
pace + some typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: documen
t
inner_po
i
nt
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: refer to Koep
p
e article
f
or
simp
l
er mo
t
ivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
rdoolaege
doc:
more
pub
l
ications (implicitl
y
) refe
r
ing to th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
configure
.
in
:
add $(
E
XEEXT)
t
o optional prog
r
ams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdo
o
laege
Makefil
e
.
am: mak
e
su
r
e
distri
b
utio
n
con
t
ains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
work aro
u
nd inc
o
mplete namespace sup
p
ort in old
compilers
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
disable some features if
f
dstream
doesn't co
m
pile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
barvinok_enu
m
erate
.
c
c
: avo
i
d use of
f
dstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
o
olae
g
e
barvinok_
e
numerate: don't print (non-e
x
isti
n
g) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
V
erdoolaege
edomain
.
c
c: avoid use
o
f fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ver
d
o
o
l
a
ege
conf
i
g
u
re
.
in: check
f
or
p
olylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en V
e
rdoolaege
de
c
lare
v
a
r
iab
l
e
at start o
f
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdo
o
laege
Makefile
.
am: rebuil
d
libraries in subdir
s
i
f
missing
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoo
l
aege
barvinok_en
u
merate: rec
h
eck for equ
a
lit
i
e
s
after
"
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
laege
doc:
a
v
oting theory report that refers to the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: updat
e
p
r
imal Barvinok refere
n
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdo
o
laege
d
oc: a
d
d journal ver
s
ion of im
p
r
o
ved derivation
paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
laege
volu
m
e
.
c: keep track
of n
u
mb
e
r o
f
simplices in
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoola
e
g
e
test_approx: test volu
m
e computation varia
t
i
ons
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdool
a
e
g
e
v
olume
.
c: volume_triangulate: use vert
e
x
i
nstead o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c
:
f
a
ce_vertices: use Param_Inner_Pr
o
duc
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
C
all set_
p
rogram_name before
c
allin
g
arg
p
_pa
r
se
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
reduce_domain:
explo
i
t that no ca
l
ler uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
lexmin: stop using Polyhedron2
P
aram_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
olaege
b
a
r
vin
o
k
.
cc
:
stop
usin
g
Polyhedro
n
2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaege
Require a version of Poly
L
i
b
that computes corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
volume
.
c: non_empty_point: simp
l
y use
internal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
onl
y
c
ompi
l
e barvinok_
m
axim
i
ze if
G
iNaC (an
d
bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoo
l
ae
g
e
add an
e
hrhart exa
m
p
l
e with interes
t
ing
c
ham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
t
e
st_approx: test ch
a
mber
b
a
s
e
d sc
a
l
i
ng
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
e
g
e
s
c
a
le
.
c: optionally perfo
r
m scal
i
ng o
n
individual
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok_enumerate: use "var
i
ab
l
e co
m
pr
e
s
s
ion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
uti
l
.
c: lef
t
_inverse: h
a
n
dle constan
t
map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verd
o
ol
a
ege
evalue
.
c: evalue_su
b
stitute: move
f
rom ed
o
main
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
e
v
a
lue
.
c: affine
2
e
value: extracted
from volum
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
e
r
d
o
o
laege
r
e
d
u
ce_
d
omain: p
a
rti
t
i
on chamber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verd
o
olaege
re
d
u
ce_
d
omain
.
c: extrac
t
inner_point a
n
d is_in
t
erna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
l
a
ege
reduce_dom
a
in:
check for
a
djacent c
h
ambers in
simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ve
r
doola
e
ge
FORALL_REDUCED_DOMAIN:
e
xtract common handling
o
f
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
bar
v
i
nok_enumerate: move recurs
i
ve call
d
urin
g
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
barvinok
.
cc:
P
aram_P
o
lyhedron_Enum
e
r
ate: ext
r
acted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoola
e
ge
add some interesting test cases for
v
olume co
m
putation
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolae
g
e
perf
o
rm very basic polynomial approximation
test
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
V
e
rdoolaege
test_approx:
c
ompare diffe
r
ent
p
olynomial approxim
a
tions
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
evalue_co
n
vert
.
cc: p
a
rtial support
f
or printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyh
e
dron_Volume: perform lifti
n
g
triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
ool
a
ege
volu
m
e
.
c
:
in
t
roduce par
a
meter_p
o
i
n
t
a
bstractio
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
d
o
o
l
aeg
e
scal
e
.
c
:
export Par
a
m_V
e
r
tex_Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ve
r
doolaege
vo
l
ume
.
c
:
drop redundant arguments to volume_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doo
l
aege
op
t
i
o
ns
.
c: separate pol
y
nomial approxima
t
ion related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdo
o
laege
b
a
rvino
k
_
o
p
t
io
n
s_new
_
w
i
th_defaults: initialize
s
cale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
er
d
oolaege
t
r
iangulate
_
c
o
ne: skip Delaunay triangulat
i
on by defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
r
doo
l
a
e
g
e
evalue_convert: print lattic
e
when pr
i
nting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoolaege
eva
l
ue_convert:
a
dd verb
o
se ar
g
ume
n
t and retu
r
n 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdool
a
ege
Polyhedron_Flate: int
e
r
s
e
c
t inflat
e
d polytope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en
Verdoolaege
doc: bib: f
i
x up
n
am
e
in ti
t
l
e of Alg
o
rithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdool
a
ege
add missi
n
g volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdoola
e
ge
volume
.
c:
delay comp
u
t
ation of poin
t
whe
r
e volum
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Para
m
_Polyhedron_Volume:
s
et polynomial_
a
pproxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verd
o
olae
g
e
volume
.
c: a
l
low comp
u
t
a
tion of lower and u
p
p
e
r bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: expor
t
Polyhed
r
on_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ve
r
do
o
laege
barvino
k
_
enume
r
ate
:
optiona
l
ly compute "volum
e
" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Ver
d
oolaege
p
o
l
y
top
e
_volume: compu
t
e vo
l
ume
of para
m
etr
i
c polytop
e
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
Verdoolaege
re
d
uce_d
o
m
a
in
.
c:
plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c: mo
v
e
com
p
utation of tru
e
context into
c
heck
_
poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolae
g
e
sc
a
le
.
c: a
d
d simpl
i
f
i
ed method
o
f comput
i
ng tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
ba
r
vin
o
k_enumerat
e
: option
a
l
ly compute ti
g
h
ter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaeg
e
p
olyhedro
n
_samp
l
e
.
c: remove
redun
d
a
nt M
A
X
RA
Y
S
defin
e
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
val
u
e
.
c: evalue_eval: supp
o
rt relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdool
a
eg
e
e
v
a
lue
.
c:
evalue
_
fra
c
2po
l
ynomial: proper
l
y handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barv
i
nok_enumera
t
e:
support approx
i
mation by mea
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaeg
e
scale
.
c:
a
void simplification of con
s
traints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok/u
t
il
.
h: a
d
d
P
OL_UNSET macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
sc
a
le
.
c: Param_Poly
h
edron_Scale
_
Integer_Fast: ignor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
move
Para
m
_Polyhedron_Scale_Inte
g
er to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use separate flags op
t
i
o
n for
s
c
ale app
r
oximation method
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Ve
r
d
ool
a
ege
barvinok
.
cc:
move scal
i
ng to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdo
o
l
a
ege
s
cale
.
c: correct
extrac
t
_
latt
i
ce in
c
ase of redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
en Verdoola
e
ge
doc: update
C
C20
0
5 r
e
ference
commit
|
commitdiff
|
tree
2007-03-26
Sven V
e
rdoolaege
verif_ehrha
r
t
.
c: round
i
nexact evaluation up or
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven V
e
r
doo
l
aege
v
e
rif_ehrhart
.
c:
optionally use exact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaeg
e
evalue
.
c: add evalue_eva
l
for exact evaluatio
n
of
evalu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolae
g
e
e
v
alue
.
c
: fix
e
value_fra
c
2polynom
i
al for negative valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
V
erdoolae
g
e
barvi
n
ok_enume
r
ate: perform slow scaling appr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven Ve
r
doola
e
ge
fix Para
m
_
P
olyhedr
o
n_Scal
e
_In
t
eger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
la
e
ge
barvinok_enumerate: more accurate
p
olynomial
a
p
proxima
t
ion
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoo
l
aege
r
e
organiz
e
polynomial approximation o
p
tions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
u
t
il
.
c: Pa
r
am_Polyhed
r
o
n
_
P
r
int:
a
c
t
ually
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoo
l
ae
g
e
fix m
e
rg
e
of c
h
eck_p
o
l
y
from verif_
e
h
rha
r
t
.
c
a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sve
n
Verdo
o
laege
doc: u
p
date Koe
p
pe-Verdo
o
la
e
ge ref
e
r
e
n
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
e
g
e
barv
i
nok
_
maxim
i
ze
:
support verification
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
merge check_poly from
v
erif_ehrhart
.
c and lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Verdoolaege
evalue
.
c: make s
o
me evalue a
r
guments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doola
e
ge
evalue_frac2f
l
oor2: also convert
n
o
n-
p
artition if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
ool
a
ege
verify
.
c
: chang
e
ver
i
fy_options
_
set_ra
n
ge pr
o
t
otype
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolae
g
e
bernst
e
in
:
piec
e
wis
e
_lst:
:
evalu
a
te: support dif
f
erent
.
.
.
commit
|
commitdiff
|
tree
next