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 Verdoo
l
aege
doc: multivariate quasi-polynomials as l
i
st
s
of pol
y
nomial
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
eva
l
ue_con
v
ert
.
cc: include "config
.
h
"
to
pick up
U
S
E_FD
S
TREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
:
index additions
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
doc: triangulation in
p
rimal
s
pace
+
s
ome
t
y
p
o fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaeg
e
do
c
: docume
n
t inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc: refer
t
o Koeppe a
r
ti
c
le
f
or sim
p
ler motiva
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
er
d
oolaege
doc: more publications (implicitly)
r
eferi
n
g to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdo
o
laege
configure
.
in: a
d
d $(E
X
EEXT
)
to o
p
t
ion
a
l progr
a
ms fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
Verdoo
l
aege
Makefil
e
.
am:
make su
r
e distribution co
n
tains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
w
o
r
k ar
o
und in
c
omplete namespace
s
upport in old com
p
ilers
commit
|
commitdiff
|
tree
2007-04-19
S
v
en V
e
rd
o
olaege
disa
b
le some features if fdstre
a
m d
o
esn't
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oolae
g
e
barv
i
nok_enumerate
.
cc: avoid
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoo
l
aege
barvinok_enumerat
e
: don't print (non-existing) evalu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ver
d
oolaeg
e
edomain
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
con
f
igure
.
in: check f
o
r polylib
/
polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
r
doolaege
d
e
clare variable a
t
start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Ma
k
efile
.
am:
r
ebuild librarie
s
in
s
ubdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
b
a
r
v
ino
k
_e
n
umer
a
t
e: recheck for
e
q
ualities after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erdool
a
eg
e
d
o
c
:
a
voting th
e
ory report that refers to the
l
ibrary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: update primal B
a
rvinok r
e
feren
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaeg
e
doc: add journal ve
r
s
i
on of improved der
i
v
a
tion pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoolaege
vo
l
um
e
.
c: keep track o
f
num
b
er of simpl
i
ces in
v
o
lu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
V
er
d
o
o
la
e
ge
t
e
st_
a
ppr
o
x: test volume
c
o
mputatio
n
variat
i
ons
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: v
o
lume_triangulate
:
u
s
e vertex i
n
st
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
o
o
l
a
ege
v
olume
.
c: fa
c
e_vertices: u
s
e Par
a
m_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
Call set_program_na
m
e before
calling a
r
gp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdool
a
ege
reduce_d
o
main: exploit that no
c
aller u
s
es Polyhedr
o
n2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
lexmin: stop using Polyhedron2Param_S
i
mplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
barv
i
nok
.
cc: stop usi
n
g
Polyhedron
2
Para
m
_Si
m
p
l
ifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
erdoolaege
Req
u
ire a version of PolyLib that
computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c
: non_emp
t
y_
p
oint: simply use i
n
ternal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
on
l
y
c
ompile barvinok_maximize if
GiNa
C
(and
b
e
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
ad
d
an
ehrhart
exampl
e
with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
t
est
_
app
r
ox: test
cha
m
ber
b
ased
scali
n
g
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
erd
o
o
l
ae
g
e
s
cale
.
c: o
p
tionally perform scali
n
g on individual chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
o
olaege
barvinok_enumerate: use "variable c
o
mpression" t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
util
.
c: left_inverse:
h
andle
constan
t
m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
evalue
.
c
: ev
a
lue_subs
t
itute: move f
r
om edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oo
l
a
ege
evalue
.
c
: af
f
ine2evalue: extracted f
r
om vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
r
e
duce_doma
i
n: partition
chamber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Ve
r
dool
a
ege
reduce_domain
.
c: extract inner_point and is_int
e
rn
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaege
red
u
ce_dom
a
i
n: check for adjacent cha
m
bers in si
m
plified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n
V
erd
o
olaege
F
O
RALL_REDUCED_DOMAIN: extra
c
t common handling of
reduce
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven
Ve
r
doolaege
barvinok_enumerate: move recursive call duri
n
g sc
a
ling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n
Ve
r
doolaege
barvi
n
o
k
.
cc: Para
m
_Polyhedron_Enu
m
erate: extr
a
cted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
ad
d
some interes
t
in
g
t
e
st
c
a
s
e
s for volu
m
e computati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdo
o
laege
p
e
rform ve
r
y ba
s
ic p
o
lyn
o
mia
l
appro
x
i
m
atio
n
test
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
test_approx: compare different p
o
lynomi
a
l a
p
proximati
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oo
l
aege
evalue_co
n
vert
.
cc
:
par
t
ial support for
p
rinting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Ve
r
do
o
la
e
ge
Para
m
_Polyhedron_Volume: per
f
orm lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ver
d
oolaege
volume
.
c:
i
ntroduce p
a
rame
t
er_po
i
nt a
b
straction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
s
c
a
l
e
.
c: ex
p
ort
P
ara
m
_Vertex_Com
m
on_De
n
ominator
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
v
o
l
u
me
.
c: dr
o
p redundant arguments to volume_simpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
op
t
i
o
ns
.
c
: separate
p
olynom
i
al
approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdool
a
ege
bar
v
inok_options_new_with_de
f
a
ults
:
initialize scale_flag
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
tr
i
angulate_cone: skip Delaun
a
y triangulation by de
f
ault
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n
Verdoolaege
e
value_convert: print latt
i
ce when printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert: add
v
erbos
e
a
rgument an
d
retu
r
n 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven
V
erdo
o
laege
Polyhedro
n
_F
l
ate: inte
r
s
e
ct
i
n
flated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Verd
o
olaege
doc: bib:
f
ix
up n
a
me in title of Algo
r
ithmic
a
pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
Sve
n
Verdoolae
g
e
add missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdool
a
ege
v
olume
.
c: delay com
p
utatio
n
of point
w
here volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdoola
e
g
e
Param
_
Polyhedron_Volume: set
p
oly
n
o
m
ial_approx
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
volu
m
e
.
c:
a
llow comp
u
ta
t
ion of l
o
w
er and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scal
e
:
e
xp
o
rt Polyhedron_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n
Verdoo
l
aege
bar
v
inok_enum
e
rate
:
optiona
l
ly
compute "volume" p
o
lynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaeg
e
po
l
ytope_volume:
compute
volume of p
a
rame
t
ric
pol
y
tope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_domain
.
c: p
l
u
g memory le
a
k
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ve
r
doolaege
verify
.
c: m
o
ve com
p
utation of true context
into check
_
p
oly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdo
o
laege
s
c
ale
.
c
:
ad
d
simpli
f
ied method of
c
omputing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvinok_
e
numerate: opt
i
o
nally com
p
u
te
t
ighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
polyhedron_sampl
e
.
c: r
e
m
ove redun
d
ant M
A
XRAYS defin
e
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
e
value
.
c: evalue_e
v
a
l: support rela
t
i
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
eva
l
ue
.
c: evalue_frac
2
polynomial: p
r
operly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoo
l
a
ege
barv
i
nok_enumerate: s
u
p
p
ort approx
i
m
a
tion b
y
m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
s
cale
.
c: avoid simpli
f
ication
o
f
constraint
s
a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
a
e
g
e
barvinok/ut
i
l
.
h: add
P
OL_UNSE
T
macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
doolaege
scale
.
c: Param_Polyhedron_Scale_Inte
g
er_Fas
t
: ign
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
move Param
_
Pol
y
h
edron_Scale_I
n
teger to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ver
d
oo
l
aege
use sep
a
rate fl
a
gs option fo
r
s
c
a
le approximation
metho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
c
c:
move scalin
g
to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
er
d
oola
e
ge
s
c
ale
.
c: correct ex
t
ract_lattice in case of redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
V
e
rdoolaeg
e
d
oc: update CC200
5
reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaeg
e
verif_ehrhart
.
c: round inexact evaluation
u
p or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
erdoo
l
aege
verif
_
ehrhart
.
c: optiona
l
l
y
use exac
t
eval
u
ati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aeg
e
eva
l
u
e
.
c:
add ev
a
lu
e
_
eval for exa
c
t
e
valuation of eval
u
e
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdoolaege
eval
u
e
.
c: fix eva
l
u
e
_frac2po
l
ynomial f
o
r neg
a
tive values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
Verdoolaege
ba
r
vinok_enumerate: perf
o
rm
slow scaling
approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Ver
d
o
olaege
f
ix Par
a
m
_Polyhedron_Scale
_
In
t
eger
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoola
e
ge
barvino
k
_en
u
merate
:
more ac
c
urate po
l
ynomial approx
i
ma
t
ion
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
e
r
doolae
g
e
reorganize polynomial
a
ppro
x
ima
t
ion opti
o
ns
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdo
o
laege
uti
l
.
c: Pa
r
am_Po
l
yhedron
_
Print: actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
fix
m
erge of c
h
eck_
p
oly fr
o
m
ver
i
f_ehrhart
.
c and le
x
min
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sv
e
n
Verdoolaege
doc: update Koeppe-Verdoolaege ref
e
rence
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
e
g
e
b
a
rvinok_maxim
i
ze: support verificat
i
on
commit
|
commitdiff
|
tree
2007-03-17
S
ven
V
erdoolaege
merge c
h
eck
_
p
o
l
y from verif_ehrhart
.
c
and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
evalue
.
c: ma
k
e
s
ome evalue
a
rgument
s
const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
eval
u
e_frac2floor2: also convert non-part
i
tion if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven V
e
rdoolaeg
e
verify
.
c: chan
g
e verify_opt
i
ons_s
e
t
_
range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Verdoo
l
aege
bernstein:
p
iecewise_lst::eval
u
ate
:
support differ
e
nt
.
.
.
commit
|
commitdiff
|
tree
next