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/options.h: put stats first in barvinok_options
2007-04-26
Sven
V
e
r
doolaege
barvi
n
ok/
o
ptions
.
h: put stats first in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
bar
v
inok_maximize: rea
d
_
e
value: support re
l
ation
s
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
berns
t
ein
.
cc:
e
valu
e
_berns
t
ein_co
e
f
fic
i
ents: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
barvino
k
_maxim
i
ze: evalue_read: all
o
w
i
d
e
n
t
ifie
r
s to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdo
o
l
a
e
g
e
barvino
k
_maximize
:
move -
-
(
b
ern
s
tei
n
-
)recurse optio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
lib/
a
rgp: fix l
o
gic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
er
d
oolae
g
e
barvinok_ma
x
imize: all
o
w specification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
e
rd
o
olaege
barvin
o
k_m
a
ximize
:
barf
o
n
u
n
expected f
i
rst toke
n
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolaege
doc: more document
s
r
eferi
n
g to
the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
eval
u
e_conver
t
.
cc: evalue
_
coset: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
e
value
.
c: print_eval
u
e: alwa
y
s
print newline
at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
er
d
oolaege
doc
:
m
ul
t
iva
r
iat
e
quasi
-
polynomials
as lists of pol
y
no
m
ials
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdo
o
laege
eva
l
ue_co
n
v
e
rt
.
cc:
i
n
c
lude "co
n
fig
.
h" to p
i
ck up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
lae
g
e
d
o
c: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
ola
e
ge
do
c
: triangulation
i
n
primal
s
pace + some t
y
po fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolaege
d
o
c: docume
n
t
inner
_
point
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoo
l
aege
doc:
r
efer t
o
Koepp
e
a
rticle for simple
r
m
otivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdoolaege
doc: mor
e
publi
c
ations (implicitl
y
)
refering
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven V
e
rd
o
o
l
a
ege
configure
.
in: a
d
d $(EXEEXT)
to optio
n
al programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Ver
d
oolaege
Ma
k
e
f
ile
.
am: make sure dist
r
i
but
i
on
c
o
n
t
ains requ
i
red
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
w
o
rk around incomp
l
ete namespace supp
o
rt in old
c
om
p
ilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
la
e
ge
disab
l
e som
e
featur
e
s
i
f
fdstream
d
o
e
sn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barv
i
nok_e
n
umerate
.
cc:
avoid use of fdstre
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumerat
e
: don't print (non
-
existing
)
eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
o
lae
g
e
e
d
o
main
.
cc: avoi
d
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
configure
.
in:
check for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
V
er
d
oola
e
ge
d
ecla
r
e variable at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
e
rdoolaege
M
akefile
.
am: rebuild lib
r
ar
i
es
i
n sub
d
irs if missin
g
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoolaege
barvi
n
ok_en
u
merate: recheck for equali
t
ies
after "v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
o
o
laege
doc: a voting theo
r
y
report that refers to
t
h
e
l
ibrary
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verd
o
ol
a
ege
doc: up
d
ate primal
Barvinok re
f
e
rence
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
V
er
d
oolaege
doc: add journal ve
r
sion of improve
d
der
i
vation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
e
r
dool
a
ege
vol
u
m
e
.
c: keep track of number of simplices
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verdoolaege
t
e
st_approx:
t
est v
o
l
u
me
c
omputat
i
o
n variation
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volum
e
.
c: volume_triangulate
:
use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
e
r
doolaege
volume
.
c: face_vertices: use Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
o
la
e
ge
Call set_p
r
ogram_na
m
e
befor
e
call
i
ng argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
reduce_domain: exploit
t
hat no
caller uses
P
o
l
yhedron2Par
a
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdo
o
lae
g
e
lexm
i
n: st
o
p usi
n
g Polyhedro
n
2Param_SimplifiedDo
m
a
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
b
a
rvi
n
o
k
.
cc: stop u
s
ing Polyhedron2Param_Simpli
f
iedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolae
g
e
Requ
i
re a vers
i
o
n of PolyL
i
b
that
comp
u
tes
c
o
r
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
volume
.
c: no
n
_empt
y
_point: simp
l
y
use interna
l
p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdoolaege
only compile bar
v
in
o
k
_maximize if G
i
NaC (an
d
b
ernste
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Verdool
a
ege
add an
e
h
rhart example with interesti
n
g
chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaege
test_approx: test cham
b
er based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
scale
.
c: opt
i
onally perform scaling on
i
nd
i
vidual
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
barvinok_en
u
mer
a
t
e: use "variable compression"
t
o re
m
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
util
.
c
:
le
f
t_in
v
e
rse: h
a
n
d
le c
o
ns
t
ant
m
ap
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oola
e
ge
e
value
.
c: e
v
alue_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
evalue
.
c: af
f
ine2
e
val
u
e: extracted
from v
o
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain: partition c
h
amb
e
r com
p
lex based on inn
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Ve
r
doolaege
r
e
d
uce_
d
omain
.
c
:
extract inner_poi
n
t
a
nd is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaege
reduce_domain: check for adjace
n
t
c
ham
b
ers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORALL_REDUCED_DOMAIN: extract common
handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
barvinok_enumerate:
m
o
ve recu
r
sive c
a
ll du
r
i
n
g s
c
aling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdool
a
ege
barvi
n
ok
.
cc: Pa
r
am_Po
l
yh
e
dro
n
_Enumerate: extr
a
cted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
add some
i
nt
e
resting test cases for volume computation
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verd
o
o
l
aege
per
f
orm very
b
a
s
ic poly
n
omia
l
approxima
t
i
o
n
test
commit
|
commitdiff
|
tree
2007-04-09
S
v
en
V
erdoolaege
t
est_approx: com
p
a
re di
f
f
e
re
n
t polynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
e
v
alue_conve
r
t
.
cc:
partial
support for
p
r
inting
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyh
e
dron_V
o
l
ume: perform lifti
n
g triangul
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ve
r
doola
e
ge
volume
.
c: intro
d
uce parameter_point abstra
c
tion
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
scale
.
c: export Param_Vertex
_
Common_D
e
nominator
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Ve
r
doolaeg
e
volume
.
c
:
drop red
u
ndant arguments
t
o volume
_
simplex
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
opt
i
o
ns
.
c: separate po
l
ynomial a
p
proximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
la
e
ge
ba
r
vino
k
_optio
n
s_n
e
w_wi
t
h
_
d
efau
l
ts:
initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaeg
e
triangulate_
c
one: sk
i
p
Delaunay triangulation by
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
rdoolaege
e
value_conv
e
r
t
:
p
r
i
n
t lattice when pri
n
t
i
n
g
a
s li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n Verdoolaege
ev
a
lue_conver
t
:
a
dd verbose
a
r
g
u
ment and return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
rdool
a
ege
P
olyhed
r
on_Fla
t
e: intersect i
n
fl
a
ted pol
y
t
o
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc
:
bib: fix up name
in tit
l
e
o
f
A
lgor
i
thmica p
a
per
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
a
d
d missin
g
volume
.
h fil
e
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdo
o
la
e
g
e
v
o
l
ume
.
c: delay co
m
put
a
tion o
f
poi
n
t where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolae
g
e
Param_P
o
lyhed
r
o
n_V
o
lu
m
e: set
poly
n
omial_a
p
p
r
oxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
volume
.
c:
a
llow computat
i
on of
lo
w
er and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Ve
r
doolaege
scale: expor
t
Polyhedron_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvinok_enume
r
ate: optionally compute "volu
m
e" poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
Verdoolae
g
e
p
olytope_v
o
lume
:
c
ompute
v
olume of
p
arametric poly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolae
g
e
r
e
d
uce_domain
.
c: plug me
m
o
ry
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
verify
.
c: move comp
u
tation of t
r
ue context
into check_pol
y
_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
e
r
doola
e
ge
scal
e
.
c
:
a
d
d simplif
i
e
d method of c
o
mp
u
t
i
ng tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
bar
v
inok_enume
r
ate: option
a
l
ly com
p
ute tigh
t
er
p
ol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
polyh
e
d
ron_sample
.
c: remove redund
a
nt MAXRAYS
define
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
evalue
.
c: evalue_eval: support
r
elat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
evalue
.
c: evalue
_
frac2polynomial:
p
r
o
p
e
r
ly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barv
i
nok_enumerat
e
: suppor
t
approxim
a
tion by mean
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sca
l
e
.
c: avoid simplification of
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaeg
e
barvinok/uti
l
.
h
:
add
POL_UNSET macro for unse
t
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaeg
e
sca
l
e
.
c: Par
a
m_Polyhedron_Scale_Int
e
ger_Fast: i
g
nore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
move Param
_
P
o
lyhedron_
S
c
ale_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoo
l
a
e
ge
use separate fla
g
s option
for scale approximation m
e
t
hod
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc: mov
e
scaling t
o
s
c
a
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Verdo
o
laege
sc
a
le
.
c: correct extract_latti
c
e in case of
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olaege
doc: up
d
a
te
CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
S
ven
Verdoolaege
verif_ehrhart
.
c
: round inexact eval
u
ati
o
n
u
p
or dow
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_
e
hrhart
.
c: optionally use exact evaluation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n Ver
d
oolae
g
e
evalue
.
c: add evalu
e
_eval for exact
evaluation o
f
evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven V
e
rdool
a
ege
evalue
.
c: fix evalue_frac2polynomial for
n
eg
a
t
i
ve values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_enumerate
:
p
e
rform slow scal
i
ng a
p
p
r
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
fix Param_Polyhedron_Scale
_
Intege
r
commit
|
commitdiff
|
tree
next