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: triangulation in primal space + some typo fixes
2007-04-23
Sven Verdoolaege
doc: tri
a
n
g
ulation i
n
p
r
imal sp
a
ce
+ some typo
f
ix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
d
oc:
d
ocu
m
ent inner_poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc:
r
efe
r
to
K
oeppe article for simpler motivat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more publications (implicitly) ref
e
rin
g
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven Verdoola
e
ge
con
f
i
g
ure
.
in
:
add $
(
EXE
E
XT
)
to
optional prog
r
ams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
Verdoolaege
Makefile
.
am: make sure distribution
c
o
n
tains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Ve
r
do
o
laege
barv
i
nok_enumerat
e
: don't print
(non-ex
i
s
t
ing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolae
g
e
edo
m
ai
n
.
cc: avo
i
d use of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoola
e
ge
configure
.
in: c
h
e
ck for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
d
e
c
l
are v
a
riable at sta
r
t of c
o
de
block
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
e
n Verdoolaege
M
a
kefile
.
am:
r
eb
u
ild libraries in
s
ubdirs if
m
issing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaeg
e
barvinok_enumerate
:
recheck for equ
a
lit
i
es after "v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Ve
r
d
oolaeg
e
doc: a vot
i
n
g
theory report that re
f
ers to the li
b
rary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
l
a
e
ge
d
oc: update primal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Ve
r
doolaege
doc: add journa
l
version of improved d
e
ri
v
a
tion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoo
l
aege
volume
.
c:
k
e
ep tra
c
k of numb
e
r of
simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
e
r
doolaege
te
s
t
_
app
r
ox: t
e
st
v
olume
comput
a
tion vari
a
t
ions
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
v
o
l
u
m
e
.
c: volume_triang
u
late: use vertex in
s
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
volume
.
c:
f
ace_vert
i
ces:
use P
a
ra
m
_I
n
ner
_
Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
red
u
c
e_doma
i
n: ex
p
l
oit
t
ha
t
no
caller
u
ses Polyhe
d
r
on2Param
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoola
e
ge
lexmin:
stop
u
sing Polyhe
d
ron2P
a
r
am_
S
implifiedDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
e
ge
barvino
k
.
cc: st
o
p
u
sing
Pol
y
h
edron2Pa
r
am_S
i
mplifiedDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
Requ
i
r
e
a version of Poly
L
i
b
that computes
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
v
o
lume
.
c: n
o
n_empty_point: simply use interna
l
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
ege
a
d
d
a
n
ehrhar
t
example with interesting chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
test_approx:
t
est cha
m
b
er based
s
caling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
s
c
ale
.
c: opti
o
nally
p
e
r
form scaling on individu
a
l
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
barvinok_enumerate: use
"
v
ariable compression" to r
e
m
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
u
til
.
c: left_inverse: handle co
n
stan
t
m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaeg
e
evalue
.
c:
ev
a
lue_substitute
:
move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
olaege
evalue
.
c: affine2
e
value: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoo
l
aeg
e
r
ed
u
ce_domain: partition ch
a
mber c
o
mplex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
V
e
rdoolae
g
e
reduce
_
d
omain
.
c
:
ext
r
ac
t
inner_poi
n
t
a
n
d
i
s_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoolaege
reduce_dom
a
in
:
check for adjacent cha
m
be
r
s in sim
p
li
f
ie
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
F
ORALL_REDUCED_
D
OMAIN: extract co
m
mon handling of r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
bar
v
inok
_
en
u
me
r
ate: move rec
u
rsive call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
olaege
b
arvinok
.
cc
:
Param_Polyhedron_En
u
merate: extr
a
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
a
d
d som
e
interesting test c
a
ses f
o
r volume c
o
mputat
i
on
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoo
l
aege
perf
o
rm very
basic polynom
i
a
l approximati
o
n test
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n V
e
rd
o
olaege
t
e
s
t_approx: c
o
mpare diffe
r
ent polynomial approximatio
n
s
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ver
d
oolaege
evalue_convert
.
cc: par
t
ial
s
u
pport for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
Par
a
m_Po
l
yhedron_Volume
:
p
erform li
f
ting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: introduce parameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
ol
a
ege
scale
.
c:
export
P
aram_Vertex_Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verd
o
o
l
aege
volu
m
e
.
c: drop redu
n
dant argu
m
ents
to volu
m
e_s
i
mple
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
o
ptions
.
c: separ
a
te polynomial
approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdoolaege
ba
r
v
inok_
o
ptions_new_wit
h
_defa
u
lts: initialize s
c
ale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
t
r
iangul
a
te_co
n
e
: sk
i
p D
e
launay triangulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven
Ver
d
oolaege
evalue_convert: print lattice
when printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
evalue_convert: add verbose argument
a
nd return 1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Polyhedron_Flat
e
:
intersect i
n
flated polyto
p
e wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
e
n
Verdo
o
laege
doc: bib: fix
u
p
n
a
m
e
in t
i
tle of Algorithm
i
ca paper
commit
|
commitdiff
|
tree
2007-04-05
S
v
en Verdoolaege
a
d
d missi
n
g volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sven
Verdoolaeg
e
vo
l
ume
.
c: delay computation of poin
t
where vo
l
u
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdoolaege
P
aram_
P
olyh
e
dro
n
_Volume: set po
l
yno
m
ial_appro
x
im
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
e
rd
o
ol
a
ege
vo
l
ume
.
c: al
l
ow computation of
lowe
r
and upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n
V
erdoolaege
scale: export
Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
b
arvi
n
ok_
e
nu
m
erate
:
opt
i
onally compute "volume" pol
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
p
oly
t
op
e
_vol
u
me: c
o
mpu
t
e volume of paramet
r
ic poly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdool
a
ege
re
d
u
c
e
_domain
.
c: p
l
ug memory l
e
a
k
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
doolaege
verif
y
.
c: move co
m
put
a
tio
n
of true con
t
e
x
t into check_poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: add s
i
mplifie
d
method of computing
tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ve
r
doolaege
ba
r
v
i
nok_enume
r
at
e
: optionally compute tig
h
t
er po
l
ynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
polyhedron_
s
a
mple
.
c: rem
o
ve redund
a
nt M
A
X
R
AYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
evalue
.
c: evalue_eval: support rel
a
t
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
eval
u
e
.
c: evalue_frac2polynom
i
al: properly
handle rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolae
g
e
barvinok_
e
nume
r
ate: supp
o
rt approximation
b
y means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ve
r
doolaege
scale
.
c: avoid
simpli
f
ica
t
ion
of c
o
nstra
i
nts
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
barvinok/ut
i
l
.
h: add PO
L
_UNSET ma
c
ro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
scale
.
c:
P
aram_Pol
y
hedron_Scale_In
t
eger_Fast: igno
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
doolaege
move Param_Polyhedron_
S
cale_
I
n
teger to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olae
g
e
use
s
epara
t
e
f
lags option fo
r
scale ap
p
roxim
a
tion method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc: move scaling
to
s
c
a
le
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olaege
scale
.
c: correct extract_la
t
tice in ca
s
e of re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n Verdool
a
ege
doc: update CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verd
o
olaege
verif
_
ehrhar
t
.
c:
round inexact eva
l
uation u
p
or
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
ven
V
erd
o
ol
a
ege
verif_
e
hrhart
.
c: optionally use ex
a
ct evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
e
v
alue
.
c: add
e
value_eval for exact eva
l
uation of eval
u
e
commit
|
commitdiff
|
tree
2007-03-25
Sve
n
Verdoolaege
e
v
al
u
e
.
c: fix evalu
e
_fr
a
c
2
polynomial for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoola
e
g
e
barvin
o
k_enumerate:
p
erform slow s
c
ali
n
g ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
fix
Param_Po
l
yhedron_Scale_
I
nteger
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
ool
a
ege
b
arvinok_enumerate: more accurate
p
olynomial
approximatio
n
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
reorg
a
nize polynomia
l
a
p
p
r
o
ximati
o
n
o
ptions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
util
.
c: Param_Polyhedron_Pri
n
t
:
a
ctually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
f
ix merge of check_p
o
ly from
v
erif
_
ehrhart
.
c an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc
:
u
p
d
a
t
e
K
oepp
e
-V
e
rdoolaege refe
r
enc
e
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoola
e
ge
barvinok_m
a
x
imize: support
v
e
r
ific
a
ti
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
olaege
merge check
_
p
o
l
y from verif_e
h
rhart
.
c
and l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verd
o
o
l
aeg
e
evalue
.
c
:
make
s
ome evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_f
r
ac2f
l
oor2: a
l
so convert
n
on-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
ver
i
fy
.
c: change
verify
_
optio
n
s_set_ran
g
e protot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdo
o
laege
be
r
ns
t
ei
n
: piecewise_lst::ev
a
luate: support diff
e
rent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdo
o
laege
v
e
rify
.
c
:
turn of
f
contin
u
e_on_
e
rror b
y
default
commit
|
commitdiff
|
tree
2007-03-17
S
ve
n
Verdoolaege
bernstein
:
exp
o
r
t numer
i
c
2
valu
e
commit
|
commitdiff
|
tree
2007-03-15
Sven
Verdoo
l
aeg
e
d
o
c: proof of exis
t
en
c
e
o
f suita
b
le y f
o
r primal d
e
co
m
positi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
ola
e
ge
doc: fix proof of existence
o
f suitable y for p
r
imal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
a
ege
bernstein
.
c
c: bernstein_coeffici
e
nts:
c
reate
s
igned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
bar
v
inok_m
a
ximize: op
t
ionally use recursi
v
e
bernstein
_
coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoo
l
aege
bernst
e
in
.
cc: berns
t
ein_coe
f
f
icients: support gener
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n
Verdool
a
ege
b
erns
t
ein
.
cc: refactor b
e
r
n
s
t
e
i
n
_coefficients_product
commit
|
commitdiff
|
tree
next