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
Verdoolaege
doc: multiva
r
iate quasi-po
l
ynomia
l
s as lists
o
f polynomi
a
ls
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
e
v
alu
e
_conve
r
t
.
cc: i
n
clude "config
.
h" t
o
pick up U
S
E_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolae
g
e
doc: in
d
ex additions
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ve
r
d
o
olaege
doc: t
r
iang
u
lation in primal space
+
s
o
m
e
typo fi
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc
:
document inner_
p
oi
n
t
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaege
doc: r
e
f
e
r to K
o
eppe article for sim
p
ler mo
t
ivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven
V
erd
o
o
laege
doc: more publ
i
cations
(
implicitly) refering to t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ver
d
oolaege
configu
r
e
.
in: add
$
(EXEEXT) to optional pro
g
ra
m
s
fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sve
n
Verdoolaege
Makefile
.
am: make
s
ur
e
distribution co
n
tains r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
work around incom
p
let
e
name
s
pace
support in
o
ld comp
i
lers
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
d
i
sable
some fe
a
tures
i
f fdstream
doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Ve
r
doolaege
b
a
r
vinok_enumer
a
te
.
cc: av
o
id u
s
e of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enum
e
rate: don't
p
r
i
nt (non-existing) e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
e
domain
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolae
g
e
configure
.
in: check
for
p
olylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n Verdoolaege
declare
variable at
start
o
f
code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Makefile
.
am:
rebuild libraries in
s
ubdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Ver
d
ool
a
ege
barvinok_enumerate: rechec
k
for equalities aft
e
r "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
doc: a voting theory rep
o
r
t
that
r
efers to t
h
e l
i
br
a
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
e
rdo
o
laege
doc: update prima
l
Ba
r
vinok r
e
fe
r
ence
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n Verdoolaege
doc: add journal
v
ersion of improved derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verd
o
o
l
a
ege
v
olume
.
c: keep track of numb
e
r of simpli
c
es in v
o
l
u
me
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdo
o
laeg
e
test
_
approx: test v
o
lume co
m
putation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
volume
.
c
:
volume_triangulate: use
v
e
r
tex i
n
s
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
volume
.
c: face_vertices:
use Param_I
n
ner_Produ
c
t
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
r
d
oolaeg
e
Call set
_
p
rogram_name before cal
l
i
n
g a
r
gp_
p
arse
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdool
a
ege
r
ed
u
ce_domain: e
x
ploi
t
that no caller uses Polyhedron2Pa
r
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n V
e
rdoola
e
ge
lexmi
n
:
s
top using P
o
lyhedron2P
a
ra
m
_SimplifiedDom
a
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc: stop us
i
ng Po
l
yhedron2Pa
r
am_Si
m
plifiedDomai
n
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
Re
q
u
i
re
a
ver
s
ion of PolyLib that computes
c
o
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
volume
.
c: non_empty_
p
oin
t
: simply u
s
e internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
ol
a
eg
e
add an ehrhart exa
m
ple wi
t
h interesting
c
hamb
e
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
olaege
test_appro
x
: test
chamber
based sc
a
l
ing
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
scale
.
c: optionally perfor
m
scaling on i
n
di
v
idual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verd
o
olaege
barvinok_enume
r
ate: u
s
e "variable
c
om
p
re
s
sion" to r
e
move
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ve
r
d
o
olaege
u
t
il
.
c: left_inverse: ha
n
dle co
n
stant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
e
value
.
c:
e
value_substitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
rdo
o
laege
evalue
.
c: affin
e
2e
v
alue
:
extract
e
d fro
m
v
o
l
u
m
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
reduce_domain: partition c
h
a
mber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolae
g
e
reduce
_
domain
.
c: extract inne
r
_point and i
s
_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ve
r
doolaege
reduce
_
domain
:
c
heck for adjace
n
t chamb
e
rs
in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n
Verdoolaeg
e
FORALL_REDUCED_DOMAIN: extract common handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
V
erdoolaege
barv
i
n
o
k
_enumerate: m
o
ve
recursive call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvino
k
.
cc: Param_Polyhedr
o
n_Enum
e
r
a
te:
e
xtracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
add som
e
interesting test cases
f
o
r volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
perform very basic polynomial ap
p
roximation test
commit
|
commitdiff
|
tree
2007-04-09
S
ven Ve
r
d
o
olaege
t
e
st_approx:
c
ompare different polynomial appr
o
ximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoo
l
aege
evalue_conve
r
t
.
cc: partial support for printing
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhedron_
V
olume:
p
er
f
o
rm lifting trian
g
u
l
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
v
o
lume
.
c: intro
d
u
ce paramete
r
_point abstrac
t
ion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
scale
.
c: e
x
port
Para
m
_
Vert
e
x_Common_D
e
no
m
inator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volum
e
.
c: drop
redundant arg
u
m
e
nts to volume
_
s
implex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
d
oolaege
o
ptions
.
c:
separa
t
e
polynomial
a
pproximation relat
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barvinok_op
t
ions_new_wit
h
_de
f
a
u
l
ts: initialize scale
_
fl
a
gs
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
a
e
ge
triangulate_
c
one:
s
kip Delauna
y
triangulat
i
on by defaul
t
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaeg
e
evalue_convert
:
print lattice when p
r
inting a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalu
e
_c
o
nvert: add verbose a
r
gument
and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
Polyhedro
n
_Flate: inte
r
sect inflated po
l
ytope
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Ve
r
doolae
g
e
doc: bib: fi
x
up name
i
n title of Algorithmica pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
S
v
e
n
Verdoolae
g
e
add m
i
ssing volu
m
e
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oolaege
volume
.
c:
delay co
m
pu
t
ation of point wh
e
r
e
volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdo
o
l
aege
P
aram_Polyhedr
o
n_Volu
m
e: set
p
olynomial_app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
dool
a
ege
volume
.
c: allo
w
com
p
utati
o
n
of
lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en
Verdoolaege
scale: export Pol
y
hedron_F
l
a
t
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
barvinok_enumerate: optionally
com
p
ute "volu
m
e
"
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
e
rdoolaege
p
o
lytope_volum
e
: compute volu
m
e
of parametric polytop
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_do
m
ain
.
c: pl
u
g memory
leak
commit
|
commitdiff
|
tree
2007-03-31
S
ven V
e
r
d
oolaege
verify
.
c: move compu
t
ati
o
n of
true context int
o
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
scale
.
c: ad
d
simplified
m
et
h
od o
f
comp
u
ting tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
barvi
n
ok_enumerate: optionally com
p
ute tighter
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
poly
h
edron_sample
.
c: remo
v
e red
u
n
dan
t
MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
eva
l
u
e
.
c: e
v
alue
_
eval: support
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
evalue
.
c: evalue_frac
2
poly
n
omi
a
l: prop
e
rl
y
handle
r
e
la
t
i
o
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barv
i
nok_
e
nume
r
ate: support approximation by m
e
an
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdo
o
la
e
g
e
scale
.
c: avoid simpl
i
fica
t
ion of
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
la
e
ge
b
a
r
vinok/uti
l
.
h: add POL_UNSET
macro
for unse
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
oo
l
aege
s
c
ale
.
c
:
Param_Polyhedron_S
c
a
l
e_
I
n
t
e
g
er
_
Fast:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdool
a
ege
move Param_Po
l
yh
e
dro
n
_
Scale_Integer to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use separate flags option for
s
cale approxima
t
ion method
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
barvinok
.
cc
:
move
scaling to scal
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdoola
e
ge
s
c
ale
.
c:
c
orre
c
t extract_latti
c
e in
c
ase o
f
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
oolaege
do
c
: upd
a
te
C
C
2
005 r
e
f
e
r
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolae
g
e
verif_ehrhart
.
c: round inex
a
ct evaluatio
n
up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
v
erif_ehr
h
art
.
c: optionally u
s
e exact
e
val
u
a
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
ven V
e
rdoolaeg
e
eval
u
e
.
c:
add
eval
u
e_eva
l
for e
x
act e
v
al
u
ation of e
v
a
l
ue
commit
|
commitdiff
|
tree
2007-03-25
Sven
Verdoola
e
ge
evalue
.
c: fix evalue_fra
c
2p
o
ly
n
omial for
n
egative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoo
l
aeg
e
barvinok_enumerate: per
f
o
r
m
s
lo
w
scal
i
ng
approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
fix Param_Polyhedro
n
_
S
cale_Inte
g
er
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
barvinok_enu
m
erate: more accurate polynomial a
p
proxi
m
ation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
re
o
r
ganize polynomial approximation options
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoolaege
util
.
c: Par
a
m_Polyhedron_
P
rint: actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
l
a
ege
fix mer
g
e of che
c
k
_poly
fro
m
v
e
r
if_ehrhart
.
c and lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verd
o
olaege
doc: update
K
o
e
ppe-
V
erdoo
l
ae
g
e re
f
ere
n
ce
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
b
arvinok_maximize: support veri
f
icatio
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
merge c
h
eck_p
o
ly
from
verif_ehrhart
.
c a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
evalue
.
c: make s
o
me evalue ar
g
ument
s
const
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Ver
d
oolaege
e
v
a
lue_fra
c
2
fl
o
or2:
a
l
so
c
onvert non-pa
r
t
i
tion
if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdool
a
e
ge
veri
f
y
.
c: change verify_
o
p
tions_
s
et_range pr
o
tot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
bernstein
:
piec
e
wi
s
e
_
l
s
t::evaluate:
s
upp
o
rt dif
f
er
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
v
erif
y
.
c:
t
urn off continue_
o
n_error
by def
a
ult
commit
|
commitdiff
|
tree
next