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_maximize: evalue_read: allow identifiers to contain digits
2007-04-25
Sven Verdoolaege
barvinok_maximize
:
evalue_read: allow iden
t
i
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
e
r
doolaege
b
a
rvino
k
_maximize:
m
ove --(bernstein-)recurse opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib
/
argp:
fi
x
logic
in hol_c
l
uster_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ver
d
oolaege
b
a
r
vinok_maximize: allow specification of th
e
varia
b
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvino
k
_m
a
ximize: barf on unexpected first
toke
n
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
do
c
:
m
ore documents refering
t
o the library
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
d
oolae
g
e
ev
a
lue_conve
r
t
.
cc: evalue
_
co
s
et
:
su
p
port rel
a
tions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
evalue
.
c
:
print_evalue: alw
a
ys pri
n
t newline
at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verd
o
ola
e
g
e
doc:
multivariat
e
quasi-
p
olynom
i
als a
s
lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
e
v
alue_convert
.
cc: include
"
config
.
h" to
p
ic
k
up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
rdoolaege
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc:
t
riangulation in primal
s
pace +
s
ome typo f
i
xes
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolae
g
e
doc: document
i
nne
r
_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: refe
r
to
K
oeppe article fo
r
simple
r
m
otivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaeg
e
d
oc: more publications (imp
l
icitl
y
) r
e
fering
t
o the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ve
r
do
o
laege
c
onfigure
.
in: add $(EXEEXT) to optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefi
l
e
.
am: make sure dis
t
ribution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verd
o
olaege
wor
k
ar
o
und inco
m
plete nam
e
space support in o
l
d compilers
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdool
a
ege
disable some feat
u
res if fdstream doe
s
n't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_
e
nu
m
erate
.
cc: avoid use of
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
doolaege
bar
v
inok_enumer
a
te: do
n
't print (no
n
-existing) eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
edom
a
i
n
.
cc: avoid us
e
of
fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
configure
.
i
n
:
c
h
e
c
k
f
or p
o
lylib/
p
olylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoo
l
aege
declare va
r
iable at start of code blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
Verd
o
o
l
aege
Ma
k
efile
.
am
:
rebuild
l
ibrari
e
s in
subd
i
rs
i
f
m
i
ssing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
do
o
laege
barvinok
_
enumer
a
te:
recheck
for
e
qual
i
ties after
"v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoolaeg
e
doc: a voting
t
h
e
o
r
y r
e
port that refers to the li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdool
a
ege
d
oc: update primal Barvinok refe
r
ence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc:
add
jo
u
r
n
al ver
s
ion
of improved deriva
t
ion pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
e
r
d
o
olaege
volu
m
e
.
c: keep track
of number of
s
implices
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoo
l
ae
g
e
test_a
p
prox: test volu
m
e
computation variation
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
volu
m
e
.
c: volume_triangulate:
use v
e
rtex
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
volume
.
c: face_vertices:
u
se Param_Inner_Prod
u
ct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_program_name before
c
al
l
ing argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolae
g
e
r
e
duce_domain: exploit
that no ca
l
ler uses
P
o
l
yhe
d
ron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
l
e
xmin: stop using Polyh
e
dron2Param_S
i
m
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
bar
v
inok
.
cc: stop using
P
olyhedr
o
n2Param_Sim
p
lifie
d
D
omain
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
ge
Require
a version of P
o
lyLib tha
t
computes corr
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoo
l
aege
volume
.
c: n
o
n_empty_p
o
i
n
t: simp
l
y
u
se internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdool
a
ege
o
n
ly c
o
mpile ba
r
vi
n
ok_maximize if GiN
a
C (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoo
l
aege
add an
e
h
rhart examp
l
e with intere
s
ting cha
m
ber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
test_approx:
t
e
st
c
h
amber based scaling
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdoolaege
scal
e
.
c: opti
o
nally perform
s
caling on individua
l
chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
olaege
b
a
rvi
n
ok_enumerate: use "va
r
iable
c
ompression"
to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c: left_
i
nverse: handle co
n
stant map
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoo
l
aeg
e
evalue
.
c: evalu
e
_substitute: move from ed
o
ma
i
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
e
v
al
u
e
.
c
: af
f
ine
2
e
va
l
u
e
: extrac
t
ed from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolae
g
e
reduce_domain: partition cha
m
ber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaeg
e
red
u
ce_doma
i
n
.
c: ext
r
a
ct inner_point and
i
s_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdool
a
ege
reduce_domain: ch
e
c
k
for adjacent
c
hambers in
s
implified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n
Verdoolaege
FORALL_REDUCED_DOMAIN: extract common
h
andling of redu
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaeg
e
barvinok_en
u
merate: move recursive
cal
l
d
uri
n
g scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
barvinok
.
cc: Param_Polyhed
r
on_E
n
umerate: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
ad
d
some inte
r
esti
n
g test cases for volume computat
i
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaeg
e
pe
r
f
o
rm ve
r
y basic polynomial ap
p
roximat
i
on
t
es
t
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
t
est_approx: co
m
pa
r
e d
i
f
f
erent pol
y
nom
i
al approxima
t
io
n
s
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ve
r
doolaege
evalue_convert
.
cc:
p
artial supp
o
rt for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Ver
d
oolaege
Par
a
m_Polyhed
r
on_Vo
l
ume:
per
f
orm lifting
t
r
iangulat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
o
o
laege
volume
.
c:
introdu
c
e par
a
m
e
ter_po
i
nt abstraction
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
erdoolaege
sca
l
e
.
c:
export Param_Vert
e
x
_
Comm
o
n
_
Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volum
e
.
c:
d
rop red
u
ndant arguments to vol
u
m
e
_
simplex
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n Verdoolaege
options
.
c: separ
a
t
e
p
o
ly
n
o
mi
a
l a
p
proximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barvinok
_
options_
n
ew_with_defau
l
ts: initia
l
ize sca
l
e_flag
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_cone: skip
D
elauna
y
trian
g
ulation
b
y default
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdo
o
laege
evalue_convert:
p
r
i
nt lattice when printin
g
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
evalue_convert: add verbose argument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
r
d
o
olaege
P
ol
y
hedr
o
n_Flate: intersect infl
a
ted poly
t
ope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
laege
doc: bib: fix up nam
e
i
n title
of Algor
i
thmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add
m
is
s
i
ng volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdoolaege
v
o
lume
.
c: delay computation of poin
t
where
v
olume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
olaege
P
aram_
P
olyhedron_Volume
:
set pol
y
nomi
a
l_a
p
proxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
vol
u
me
.
c: a
l
low computati
o
n of lower
a
nd upper b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en
V
erdoo
l
ae
g
e
sc
a
le: e
x
po
r
t Polyhedron_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rd
o
ol
a
e
ge
barvinok_enumerate: optionally compu
t
e "volume
"
p
o
lyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Ver
d
oolaege
po
l
y
t
ope_volume: compute volume of
p
a
r
ametric polyt
o
pe
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
redu
c
e_do
m
ain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ver
i
f
y
.
c: move
c
omputa
t
io
n
o
f true
context into
check
_
poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verd
o
o
la
e
ge
scale
.
c
:
a
d
d
simp
l
i
fied method o
f
computing ti
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_
e
numer
a
t
e
: optionally
c
o
mpute
tighter p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
polyhe
d
r
on_
s
ample
.
c: remo
v
e redundant MAXR
A
Y
S
define
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolae
g
e
e
valu
e
.
c: evalue_eval: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c:
e
value_frac
2
polynomial: properly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
barvinok_enume
r
a
t
e
: support app
r
o
x
imation b
y
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ve
n
Verdo
o
laeg
e
scale
.
c: av
o
id
simplification of
c
onstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok/util
.
h
:
add POL
_
U
N
SET
m
a
c
ro f
o
r
unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
e
rdo
o
l
a
ege
s
c
al
e
.
c: P
a
ram_Polyhe
d
ron_Scale_I
n
te
g
er_Fast:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaeg
e
mov
e
Param_Polyhedr
o
n_Scal
e
_
Integ
e
r to
s
cale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoolaege
u
se
separate flags op
t
io
n
for scal
e
approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
barvinok
.
cc: mo
v
e scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Ve
r
doolaege
scale
.
c: corr
e
ct
extract_lattice
i
n cas
e
of redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc:
update CC2005 refere
n
ce
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n
V
e
rd
o
olaege
verif_ehr
h
art
.
c: round
i
nexact evaluation
up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
Ver
d
o
o
laege
verif_ehrhart
.
c: optionally use exac
t
evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
ven Ve
r
d
o
olaege
evalu
e
.
c: add evalue_eval for
e
x
a
c
t
evalua
t
i
o
n of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Ve
r
doolaege
e
v
al
u
e
.
c: fix evalue_frac2polyn
o
mi
a
l for
n
egative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_enume
r
ate: perform s
l
ow s
c
aling a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
V
erdoolaege
fix Param_Polyhe
d
ron
_
Scale_Int
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
barvinok_enu
m
e
r
a
t
e
: m
o
re
a
ccurate polynom
i
al
approximation
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoolaege
re
o
rganize polyn
o
mial approx
i
mation o
p
ti
o
ns
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
lae
g
e
uti
l
.
c: Par
a
m
_Pol
y
hedron_Pri
n
t: actually use output
.
.
.
commit
|
commitdiff
|
tree
next