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
bump version
2007-04-28
Sven Verdoolaeg
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: update option
s
a
n
d
s
ome
functio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: docu
m
ent volume computat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
doc: more reports exp
l
ainin
g
pa
r
ts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
g
e
b
e
rnstein: bum
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
dool
a
e
ge
doc:
tr
a
nsf
o
rmati
o
n of p
a
rameter domain to h
a
ve
r
evl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
barvinok
.
cc: b
a
rvinok_count
_
f:
avoi
d
warning on recursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Verdoolaege
util
.
c: unimodular_com
p
le
t
e: hand
l
e co
m
pletion
o
f more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolaege
b
arvi
n
ok_enu
m
er
a
te
.
cc: handle all lines
in --seri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolaege
ba
r
vinok_
e
numerate
.
cc: series: plug memory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
r
doolaege
doc: document left_i
n
verse
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaege
doc: remove r
e
ference to old barvinok_series applicatio
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
d
o
c: update
e
value_berns
t
ein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
barvinok/options
.
h:
p
ut sta
t
s first
i
n ba
r
v
i
nok_options
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
barvi
n
o
k_m
a
x
i
m
i
ze: read_evalu
e
: su
p
po
r
t
r
ela
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstein
.
cc: evalue_bernstei
n
_
coeffic
i
ents:
h
andle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximi
z
e: evalu
e
_read:
allow ide
n
t
ifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: move --(berns
t
e
in
-
)recurs
e
option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
l
i
b/arg
p
:
fix
l
ogic in hol_cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
b
a
r
vinok_max
i
mize
:
al
l
ow specification of the variable
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n
V
e
r
doolaege
b
a
rvin
o
k
_
ma
x
imize: b
a
rf on unexpected fi
r
st token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
doc: mo
r
e documents ref
e
ring to t
h
e lib
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
e
valu
e
_convert
.
c
c
:
e
v
alu
e
_coset:
s
u
p
port relations
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ver
d
ool
a
ege
eva
l
ue
.
c: prin
t
_evalu
e
: alw
a
ys print
n
ewline at t
h
e end
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oo
l
aege
doc: multiv
a
riate q
u
a
si-polynomials as li
s
ts of polyno
m
ial
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdoolaege
evalu
e
_
c
onvert
.
cc: include
"
config
.
h" to pick up USE_FDST
R
EA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
doc
:
index additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: triangulation in primal sp
a
ce
+ some typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: document inner_p
o
i
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc: re
f
e
r
to Koeppe art
i
c
le for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
r
d
oolaege
doc: more publicatio
n
s (implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
confi
g
ure
.
in
:
add $(EXEEXT) to optional programs
for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolae
g
e
Makefile
.
am: make sure dist
r
i
b
u
tion
cont
a
ins requi
r
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Ve
r
doolaege
barvinok_enu
m
erate: don't print (
n
on
-
existing) eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
e
domain
.
cc: av
o
i
d use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
confi
g
ure
.
in:
c
h
eck f
o
r polylib/poly
l
ibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
declare va
r
iabl
e
a
t start of
c
o
de block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verd
o
olaege
M
akefil
e
.
am
:
r
e
bui
l
d l
i
br
a
ries
i
n
subdi
r
s
i
f m
i
ssing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdoolaege
barvinok_enumerate: recheck for e
q
ua
l
ities after
"varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdool
a
ege
d
oc:
a voting theor
y
report that refers to the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n
Verdoolaege
d
oc: update primal Barvinok re
f
erence
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoo
l
aeg
e
do
c
:
add journal ver
s
i
o
n of
i
mproved d
e
rivatio
n
paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c:
keep track o
f
numb
e
r of simp
l
i
c
es
in vol
u
me
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verdoo
l
aege
t
e
s
t
_approx: tes
t
volume comput
a
t
i
o
n var
i
ati
o
n
s
commit
|
commitdiff
|
tree
2007-04-13
S
v
e
n
Verdoolaege
volume
.
c: volume
_
triangulate: use
v
e
r
tex i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
v
o
lume
.
c: face_vertices: u
s
e Param
_
Inner_Prod
u
ct
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
ola
e
g
e
reduce_domain: exploit that no c
a
ll
e
r uses
P
ol
y
hedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
d
o
olaege
l
e
xmin:
s
top
using
Polyhedron2Para
m
_Simplifi
e
d
D
omain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ba
r
vi
n
ok
.
cc
:
stop using Poly
h
ed
r
on2Param_Sim
p
l
i
fiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoola
e
g
e
Require a version o
f
P
oly
L
ib that compu
t
es correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
vo
l
ume
.
c: non_empty_poin
t
: simpl
y
use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
a
dd an ehrhart
exampl
e
with
interesting chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoo
l
aeg
e
t
est_
a
pprox: test c
h
amber based scal
i
ng
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
sc
a
l
e
.
c:
optionally perform s
c
a
ling on i
n
divid
u
al
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
b
arvinok_enumera
t
e
: use "variable compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ve
r
doolaege
util
.
c: left_in
v
e
r
se:
hand
l
e c
o
nstant map
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoola
e
ge
evalue
.
c: evalue_substitute: mov
e
fr
o
m edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ev
a
lue
.
c: af
f
ine2eva
l
ue: ext
r
acted from
v
olume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
reduce_domain: part
i
tion chamber
c
o
mp
l
ex based on
inn
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolae
g
e
re
d
uce_domain
.
c: extr
a
ct inner_point and is_inte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
redu
c
e
_
domain: c
h
eck fo
r
a
dja
c
e
n
t cham
b
ers
i
n
simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
er
d
oolaege
FOR
A
LL_REDUCED
_
DOMAIN
:
extra
c
t common
h
a
ndli
n
g
of
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Ver
d
oolaege
barvinok_enumera
t
e
:
move recursive cal
l
d
uring scal
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ve
n
Ver
d
o
o
l
aege
barvinok
.
cc
:
P
a
ram_Polyhedron
_
Enu
m
erate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en
Verdo
o
l
a
e
g
e
add
s
o
me intere
s
ting
test c
a
ses for volume
c
ompu
t
ati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
perfor
m
very basic polynomial
appr
o
ximation t
e
st
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolae
g
e
test_app
r
o
x: compare differe
n
t
p
olynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
evalue_convert
.
cc
:
par
t
ial suppor
t
fo
r
p
rinting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Par
a
m_Poly
h
edron_Volume: perform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vo
l
ume
.
c: introd
u
ce
p
a
r
amet
e
r_poin
t
abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c
:
export Par
a
m_Vertex_Com
m
o
n
_De
n
ominato
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: drop redundant argum
e
nts
to volume_simp
l
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
options
.
c: separat
e
pol
y
nomial approximation r
e
lated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdo
o
laege
barvin
o
k_options_
n
e
w_with
_
d
efaul
t
s: initi
a
lize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verd
o
ola
e
ge
triangulate_cone: sk
i
p Delauna
y
t
r
iangulation b
y
default
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Ver
d
oolaege
ev
a
lue_convert: print lat
t
ice
w
hen
p
rinting
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
o
olaege
eva
l
ue_conv
e
r
t: add verbose argume
n
t and r
e
turn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en V
e
rdoolaege
Polyhed
r
on_Fla
t
e: in
t
ers
e
ct in
f
lated polytope wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
d
o
c: bib: fix
u
p n
a
me in title of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven
V
e
r
do
o
lae
g
e
add missing vo
l
ume
.
h fil
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volu
m
e
.
c: delay computation of
point wh
e
re volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoola
e
ge
Param_Po
l
yhe
d
ron_Volume: set po
l
y
nomial_ap
p
r
o
x
imatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdool
a
ege
volume
.
c: al
l
o
w
c
o
mputation of
lower and uppe
r
bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
sca
l
e:
e
x
p
ort
P
ol
y
h
edro
n
_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdool
a
ege
barvin
o
k
_enume
r
a
t
e
:
o
ptionally c
o
mpute
"
volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Ver
d
oo
l
aege
polytope_
v
olume
:
co
m
pute vo
l
u
m
e of
p
arametric
p
olytope
commit
|
commitdiff
|
tree
2007-04-03
Sven
Ver
d
oolaege
red
u
ce_domain
.
c: pl
u
g
memory l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ve
r
d
o
o
laege
verify
.
c
:
m
o
ve comp
u
tatio
n
of true con
t
ext into check_
p
oly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
sca
l
e
.
c: add
simplified method of co
m
puting tighte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoola
e
ge
barvinok
_
enumerate:
o
p
tionally com
p
ute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
polyhedron_samp
l
e
.
c: rem
o
v
e
redund
a
n
t MAXRAYS defin
e
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoola
e
ge
e
v
alu
e
.
c: evalue_ev
a
l:
s
uppo
r
t r
e
latio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: e
v
alue_fr
a
c2po
l
y
no
m
ia
l
: proper
l
y hand
l
e
rel
a
t
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdoolaege
ba
r
vinok_enu
m
erate: suppor
t
appro
x
imat
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
a
void simplifica
t
ion of constraints a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdool
a
e
ge
barv
i
n
o
k
/
u
til
.
h: add P
O
L_UNSET
m
a
cro
for
unsettin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
doolaege
s
c
a
le
.
c: Param_P
o
lyhedron_Scale_Int
e
ger_Fast:
ig
n
ore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoo
l
aege
m
o
ve Param
_
Polyhedron_Sc
a
le_Intege
r
to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
use sepa
r
a
te flags option
for scale a
p
pr
o
ximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barv
i
nok
.
cc: m
o
v
e scaling to
s
cale
.
c
commit
|
commitdiff
|
tree
next