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
lattice_point.cc: rename ceil_mod to fractional_part
2007-05-02
Sven Ve
r
dool
a
ege
lattice_point
.
cc
:
rename ce
i
l_mod to fr
a
ction
a
l_part
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoo
l
aege
latti
c
e_poi
n
t
.
cc: use som
e
he
l
per functions t
o
sim
p
lify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
laege
l
attice_point
.
cc: implement lookup-tab
l
e version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
move more l
a
t
t
ice poin
t
c
o
m
putations to lattice_p
o
int
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
ege
b
arvinok
.
c
c: lattice_point: rem
o
ve a speci
a
l case
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verd
o
olaege
doc: integ
e
r points in
fundam
e
ntal parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
util
.
c:
export Matrix
_
Transpos
i
ti
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoolaeg
e
ut
i
l
.
c: export Vector_Oppos
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaege
scale
.
c: move Param_V
e
rte
x
_Common_Denominator to pa
r
am_uti
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
doolaege
e
value
.
c: ad
d
ev
a
l
ue_add_constan
t
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verd
o
olaege
evalue
.
c: a
f
fine2evalue: skip zero co
e
fficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalue
.
c: emul_poly: efficient
l
y handle
c
ase of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump v
e
rsi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoo
l
aeg
e
doc: update options and so
m
e fun
c
tion
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolae
g
e
doc: document volume
c
omputation
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
doc:
more r
e
ports exp
l
a
inin
g
parts o
f
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
bernstein: b
u
m
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
doc: transfor
m
ation
o
f parameter d
o
ma
i
n
to have rev
l
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvi
n
ok
.
cc:
b
arvinok_cou
n
t_f: avoid warning o
n
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdo
o
la
e
ge
util
.
c: unimodular_complete
:
handl
e
completio
n
o
f more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaeg
e
ba
r
vinok_enumerate
.
cc:
h
andle all
l
in
e
s i
n
--series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
barvinok_enumera
t
e
.
cc:
s
e
r
ies: pl
u
g memor
y
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
d
o
ola
e
ge
doc: document left_
i
nve
r
se
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n V
e
rdoolaege
doc: remove reference to old barvinok
_
s
e
ries applicati
o
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: u
p
d
a
te evalue_bernstein_coefficie
n
ts
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolaege
bar
v
inok/options
.
h
:
put stats first in b
a
rvinok_op
t
i
o
ns
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
la
e
g
e
b
a
rvin
o
k_maximize
:
read_evalue: su
p
po
r
t
r
elations
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdool
a
ege
bernstein
.
cc: e
v
alue_
b
ernste
i
n_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoo
l
aege
b
a
r
vino
k
_
m
aximi
z
e: evalue_re
a
d: a
l
low ident
i
f
i
e
rs
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
barvinok_
m
axi
m
ize: move --(bernstein-
)
recu
r
se opt
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
l
a
ege
lib
/
argp: fix logic
in h
o
l_cluste
r
_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ba
r
vi
n
ok_
m
aximize: allow spec
i
fication of t
h
e v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdo
o
laege
b
a
rvinok_maximize
:
barf on un
e
xpected fi
r
st token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
:
more documen
t
s
referi
n
g to
t
he library
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
V
erdoolaege
evalue_conv
e
rt
.
c
c
:
e
v
alue_cos
e
t: support
r
elations
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolae
g
e
evalue
.
c: p
r
int_evalue:
always print newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc: mu
l
tivariate qu
a
s
i
-p
o
lynomials as
l
ists
of polyn
o
mials
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdool
a
e
g
e
eva
l
ue_
c
onvert
.
cc: inclu
d
e "
c
o
nfig
.
h"
to
p
ick up U
S
E_FDS
T
REA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: index add
i
tions
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
d
o
c: tr
i
ang
u
latio
n
in primal space + so
m
e typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
d
o
cume
n
t inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc:
r
efer
to Koe
p
pe ar
t
icle for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
d
o
c: more public
a
tions
(
impli
c
itly) refering to t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sv
e
n Ver
d
oolaege
configur
e
.
in:
add $(
E
XEEXT) to optio
n
a
l
p
r
ograms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoo
l
aege
Makef
i
l
e
.
am:
m
ake sure distribu
t
i
o
n con
t
ains req
u
ired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oo
l
a
ege
w
o
rk a
r
ou
n
d
i
ncomp
l
e
t
e namespace
s
upport in ol
d
compi
l
ers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
ae
g
e
d
is
a
ble some features
i
f
fdstream d
o
esn
'
t compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
barvinok_enumer
a
te
.
cc: avoid
u
se of fds
t
r
e
a
m
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoola
e
ge
barvinok_enumerate: don't prin
t
(n
o
n-ex
i
sting) ev
a
l
ue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
e
ge
edomain
.
c
c
: avoid
u
se of
f
d
stream
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
er
d
o
olaege
conf
i
gure
.
in:
c
heck for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Ve
r
doo
l
aeg
e
declare variabl
e
a
t start
o
f cod
e
block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolae
g
e
Makefile
.
am: rebu
i
l
d libr
a
ries in
s
u
b
dirs if
m
issing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
barv
i
nok_enumerate: re
c
heck for equal
i
ties after
"variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
laege
doc: a v
o
ting theory repo
r
t t
h
at refers
t
o
the
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoolae
g
e
doc:
u
pdate p
r
imal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
doc
:
ad
d
journal version
o
f
i
m
proved deri
v
ation paper
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verd
o
olaege
vol
u
me
.
c: keep track of nu
m
b
e
r of simp
l
ices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
e
n Verdoo
l
aege
test_app
r
ox: tes
t
volume computation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
v
olume
.
c:
v
olume_tri
a
ngulate: use verte
x
instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
o
l
ae
g
e
v
o
lume
.
c: face_
v
ert
i
ces: u
s
e P
a
ram_Inner_Produ
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
Call set_program_name
b
efore calling ar
g
p
_pa
r
se
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_d
o
mai
n
: exploit that no calle
r
uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdoo
l
aege
le
x
m
in: stop using Polyhedron2
P
a
ram_Simpl
i
fiedD
o
ma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
er
d
oolae
g
e
barvi
n
ok
.
cc: s
t
o
p
usi
n
g Polyhe
d
ron2Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
Req
u
ire
a
version of PolyLib that co
m
putes cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: non_empty_poin
t
:
s
i
mply use internal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
a
d
d an e
h
rh
a
rt
example
wi
t
h interesting
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
test_approx:
test
c
hamber ba
s
e
d
scaling
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
scale
.
c
:
optionally perform
sca
l
i
n
g on indi
v
idu
a
l
c
h
a
mber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok_
e
n
u
merate:
u
se "var
i
a
b
le
c
ompression" to r
e
m
ov
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
u
t
il
.
c: left_
i
nvers
e
: handle con
s
tant map
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
e
v
al
u
e
.
c: evalue_su
b
s
t
i
tute: m
o
ve from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
e
value
.
c: affine2evalue: extracted from vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
reduce_doma
i
n: p
a
r
t
ition chamber co
m
plex b
a
s
ed on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce
_
domain
.
c
:
e
xt
r
a
ct i
n
n
e
r_p
o
int
and is_inte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain
:
che
c
k fo
r
a
djacent ch
a
m
bers i
n
simpli
f
ie
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Ve
r
doolaege
FORAL
L
_REDUC
E
D_D
O
MA
I
N
:
extract common han
d
l
ing
o
f reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_enumer
a
t
e: move recursi
v
e call du
r
ing scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
barvinok
.
c
c: Param
_
Pol
y
hedr
o
n_Enumerate: extrac
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
add some interes
t
ing test case
s
for
v
ol
u
me
computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
per
f
orm very basic p
o
lynomial approximation t
e
st
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolae
g
e
t
e
st_app
r
ox:
compare different p
o
lynom
i
al approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
eval
u
e_con
v
er
t
.
cc: partial sup
p
ort
f
or pr
i
nti
n
g in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven
Verdool
a
ege
Param_P
o
lyhedron_Vol
u
m
e: perform
lifting t
r
iangulati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
volume
.
c
:
introdu
c
e paramet
e
r_poin
t
abstraction
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
sc
a
le
.
c: export Param_Ve
r
tex_C
o
mm
o
n_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
ool
a
ege
volum
e
.
c: drop
r
edundant arguments to volu
m
e_
s
imple
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
options
.
c:
separate pol
y
nomial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olae
g
e
barvinok_o
p
tion
s
_new
_
with
_
de
f
ault
s
: initi
a
lize
sc
a
l
e_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdo
o
la
e
g
e
t
r
ia
n
gulate
_
co
n
e: skip De
l
aun
a
y triangulation by
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdo
o
laege
evalue_
c
o
n
ve
r
t
: pr
i
nt
l
a
ttice w
h
en printing as
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
e
v
alu
e
_conve
r
t
:
add
v
e
r
b
ose argument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
r
doolaege
Polyhedron_Fla
t
e: intersec
t
infl
a
ted
p
olytope w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven
Verdoolaege
doc: bib: fix up name in title of
Al
g
orithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven
V
e
rdoolaege
add
m
i
ssing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n
Verd
o
olaege
vo
l
ume
.
c
:
delay
computatio
n
of p
o
int where volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdoolaege
Param
_
Poly
h
edro
n
_Volume: se
t
polynomi
a
l_
a
p
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoo
l
a
ege
vol
u
me
.
c:
allow comput
a
tion
of lower
an
d
upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
dool
a
ege
scale: export Polyhedron_Flate
commit
|
commitdiff
|
tree
next