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
evalue_convert.cc: evalue_coset: support relations
2007-04-23
Sven Verdoola
e
ge
e
valu
e
_
c
onvert
.
cc: evalue
_
coset:
s
u
pport relations
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
evalu
e
.
c:
print_ev
a
lue:
always print newline at the en
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: mul
t
ivariate quasi-pol
y
nomials as lists of
p
olynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
evalue_c
o
nvert
.
cc:
include
"
config
.
h" to pic
k
up
USE_FDST
R
EA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: in
d
ex additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc:
t
riangulation i
n
p
rimal space + s
o
me typo fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
doc: documen
t
inner
_
point
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verd
o
olaege
do
c
: refer
to Koeppe
article f
o
r
simple
r
motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Ve
r
doolaeg
e
doc: more publicatio
n
s (implic
i
tly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sv
e
n
Verdo
o
laege
c
o
n
fi
g
ure
.
in: add $(EXE
E
XT) to optio
n
al programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
Verdoolaege
Makef
i
l
e
.
am:
m
ake
s
ure
d
ist
r
ibution contains r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
wo
r
k
aro
u
nd incomple
t
e na
m
espace supp
o
rt in old compile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n V
e
r
d
oolaeg
e
disab
l
e some fe
a
tures
if
fdst
r
e
a
m doesn
'
t com
p
ile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en
V
erdoolaege
barvin
o
k_enumerate
.
cc:
avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
o
l
aege
barvinok_e
n
um
e
rate: don't
p
r
int (non-existin
g
) e
v
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
ed
o
m
a
in
.
cc:
a
v
o
id
us
e
o
f
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
o
o
l
a
ege
configur
e
.
in: check for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoo
l
aege
de
c
l
are va
r
iable at sta
r
t of code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdoolaege
Makefile
.
a
m
: rebuild libraries in su
b
dirs if missing
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdoo
l
a
ege
barvi
n
ok_e
n
umerate:
r
echeck for equaliti
e
s after
"
variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc:
a
voting theo
r
y re
p
ort that refers t
o
the library
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolae
g
e
doc: upd
a
te primal
B
arvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoo
l
aege
doc: add jour
n
a
l
vers
i
on o
f
improved
d
e
ri
v
ati
o
n pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
r
d
oolaege
volu
m
e
.
c:
kee
p
t
r
ack of number of s
i
mp
l
ices in volum
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
l
aege
te
s
t_app
r
ox: te
s
t
volume computa
t
ion
variations
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
e
rd
o
olaege
volu
m
e
.
c
:
v
olume
_
triangula
t
e
:
use
vertex instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verd
o
olaege
vo
l
ume
.
c:
f
a
c
e_vertices
:
use Pa
r
am_Inner
_
Pro
d
u
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
lae
g
e
Cal
l
set
_
prog
r
am_name be
f
ore c
a
lling
argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaeg
e
reduce_domain: explo
i
t that no caller
use
s
Polyhe
d
ron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
ege
lexmin: stop us
i
n
g Polyhedron2Pa
r
am_SimplifiedDomai
n
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoo
l
aege
barvinok
.
cc: stop usin
g
P
o
l
yhedron2Para
m
_Simplifie
d
Domain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require a versi
o
n of PolyLib that
co
m
putes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volum
e
.
c: non
_
empty_po
i
nt: simply u
s
e
internal
p
oi
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
la
e
ge
o
n
ly compile barvinok_max
i
miz
e
if G
i
NaC
(and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
a
dd an
ehrhart example
w
ith interesti
n
g ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdoolaege
test_approx:
t
e
s
t
chamber
based
s
caling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
scale
.
c:
optionally perfor
m
sc
a
ling
o
n
i
n
dividual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
barvinok_enumerate: use "variable compression"
to
r
emove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Ver
d
oolaege
util
.
c:
left_
i
nverse: ha
n
d
le constant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
eva
l
ue
.
c: evalue_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalu
e
.
c: affine2evalue: ex
t
r
a
c
t
ed from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
reduce_dom
a
in: partiti
o
n cha
m
ber comple
x
b
a
sed on inne
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
er
d
oolaeg
e
r
e
duce
_
doma
i
n
.
c: extract inner_point a
n
d is_i
n
ternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
reduce_domain:
c
h
e
ck for adjacent cha
m
b
e
rs in simpl
i
fie
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Ve
r
doolaeg
e
FO
R
A
LL_REDUCED_
D
OMA
I
N
: extract
c
o
m
mon handling of redu
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Ver
d
o
olae
g
e
barvinok_enumerate
:
move recursive
c
all d
u
ring scali
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
b
a
rvinok
.
cc: Param_
P
olyhe
d
ron_En
u
m
e
r
a
te: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add some inte
r
esting
t
est
cases for vol
u
me c
o
mp
u
tation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
ol
a
ege
pe
r
form very basic p
o
lynomial a
p
proximation
t
est
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
t
e
s
t
_approx:
compare
d
ifferent polynomial appro
x
imatio
n
s
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
d
oola
e
ge
e
v
a
l
ue_convert
.
cc:
p
artial suppo
r
t
f
o
r printing
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
Param_Polyhedron_Volume: perform
l
ifting t
r
i
a
n
gulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolae
g
e
v
olume
.
c:
i
ntroduce par
a
meter_p
o
int
ab
s
traction
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ver
d
oolaege
s
c
ale
.
c
:
expor
t
Param_Vertex_Common_Deno
m
i
n
ator
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoolaege
v
o
lume
.
c:
drop redundant argumen
t
s to
v
o
lume_si
m
pl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdo
o
l
a
ege
option
s
.
c
:
separate p
o
lynomial approximati
o
n relate
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
barvinok_
o
ptio
n
s_new_w
i
th_defaults: i
n
iti
a
li
z
e s
c
ale_fl
a
g
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
tr
i
a
n
g
ulate
_
cone: skip Dela
u
n
ay triangulati
o
n
by default
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdool
a
ege
evalu
e
_
c
onv
e
rt: pr
i
nt la
t
tice
w
hen printing as li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
evalue_convert:
a
dd ver
b
ose a
r
g
u
ment
and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoo
l
a
ege
Pol
y
hedron_Flat
e
:
i
ntersect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Verdoolae
g
e
doc:
bib: fix
up
name i
n
tit
l
e of Algorithmica
p
a
pe
r
commit
|
commitdiff
|
tree
2007-04-05
S
ven V
e
rdoolaeg
e
add
mis
s
ing vol
u
me
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaeg
e
volume
.
c:
d
elay computation of poi
n
t where volum
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verd
o
olae
g
e
Param_Po
l
yhedro
n
_Volum
e
: set polynomia
l
_ap
p
r
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
volume
.
c: allow compu
t
a
t
ion of lower and upp
e
r
b
oun
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Ve
r
d
o
o
l
aege
scale: export Polyhedro
n
_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barv
i
nok
_
enumerate: optiona
l
ly
comp
u
t
e
"volume"
polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
polytope
_
vo
l
u
m
e
:
c
omput
e
volume of parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaeg
e
re
d
uc
e
_
d
omain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
e
rdoolae
g
e
veri
f
y
.
c:
m
o
v
e
c
o
mp
u
tatio
n
o
f
t
ru
e
c
o
n
tex
t
i
n
to c
h
e
ck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolae
g
e
scale
.
c: ad
d
si
m
plified metho
d
o
f
com
p
u
ting tight
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
olaege
barvinok_enumera
t
e
:
optionall
y
compute tighter pol
y
n
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ver
d
o
olaege
pol
y
hedron_sample
.
c: remove redundant MAXRAYS d
e
fine
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolae
g
e
evalue
.
c
: evalue_eval: s
u
pport re
l
ation
s
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
evalue
.
c: evalue_frac2poly
n
o
mial: pro
p
er
l
y handle
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
barvinok_en
u
mer
a
te: su
p
po
r
t
approximation by
m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
er
d
oolaege
scale
.
c: avoid simpl
i
ficatio
n
of constrai
n
ts aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
doolaege
barvinok/util
.
h: a
d
d PO
L
_
U
NSET
m
acro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
oolaege
scale
.
c
:
Pa
r
am_P
o
lyhe
d
ro
n
_
S
cale_In
t
eger_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verdoolaege
m
ove
Param_P
o
l
y
hedron_
S
cale_Integer to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
use separate fla
g
s
option
f
o
r scale approxima
t
i
on met
h
od
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ver
d
oo
l
aege
barvi
n
ok
.
c
c: move
s
c
aling to s
c
ale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scale
.
c: corre
c
t
extract_l
a
ttice in
c
ase of
red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
eg
e
doc:
update CC
2
005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrhart
.
c:
r
ound
i
nexact evaluation
u
p o
r
do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
Verdoolaege
v
er
i
f_ehrhart
.
c: opti
o
n
ally use exact evaluatio
n
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
Verdoolaege
evalu
e
.
c: add e
v
alue_e
v
al for ex
a
ct eva
l
uati
o
n of evalu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Ver
d
oolaege
evalue
.
c: fix ev
a
l
u
e
_frac2pol
y
nomial for
n
egative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
ven
Verd
o
o
l
aege
b
a
rvin
o
k_enumerate: p
e
rform slow s
c
aling approximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
ool
a
e
ge
fix
Param_Po
l
yhedr
o
n_Scale_Int
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
barvinok_enum
e
ra
t
e: more
a
c
curate p
o
ly
n
omial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
reorgani
z
e polynomia
l
approxima
t
ion option
s
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
util
.
c: Para
m
_Polyhe
d
ron_Print: actually use ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaeg
e
fix merge of check_poly from verif_ehr
h
ar
t
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ve
r
doola
e
ge
d
oc: update Koeppe-V
e
rdoolae
g
e
r
efere
n
ce
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bar
v
inok_
m
aximiz
e
: supp
o
rt verifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
m
erge check_poly from verif_eh
r
hart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue
.
c
:
make s
o
me evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
S
ve
n
V
e
rd
o
olaege
evalue_frac2floor2: also
c
onvert non-partition if no
.
.
.
commit
|
commitdiff
|
tree
next