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: integer points in fundamental parallelepiped: fix typo
2007-05-02
Sven
Verd
o
olaege
d
o
c
:
integer p
o
i
nts in fundam
e
ntal parallel
e
piped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
u
til
.
c:
e
xport Matrix_Transpos
i
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
ut
i
l
.
c: export Vect
o
r_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
sc
a
le
.
c
: mo
v
e Param_Ve
r
tex_Comm
o
n_Denominato
r
to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
eval
u
e
.
c: add evalue_ad
d
_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value
.
c: affin
e
2evalue: skip zer
o
c
o
e
f
f
icients
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaeg
e
ev
a
lu
e
.
c: em
u
l_po
l
y: ef
f
ic
i
ently h
a
ndle case o
f
multi
p
l
icati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
bu
m
p
v
e
r
sion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc:
update options
a
nd some function
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Ver
d
oolaeg
e
doc: do
c
ument volu
m
e computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: more report
s
explaining parts of bar
v
ino
k
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
be
r
nstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
S
ven
V
erdoolaege
doc: transformat
i
on of parameter do
m
a
i
n to have r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Verdoolaege
b
arvinok
.
cc:
b
arvinok_count_f
:
avoid warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c:
u
ni
m
odular
_
complete:
han
d
le comp
l
etion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
V
e
r
d
ool
a
ege
barvinok
_
enumerate
.
cc: handle all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
r
doolaege
b
arvi
n
ok_e
n
umerate
.
cc
:
s
eries: plug
m
emo
r
y leak
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolae
g
e
d
oc: document l
e
ft_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaege
doc
:
remove refe
r
ence to old barvin
o
k_series appl
i
cation
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: update evalue_
b
ernstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
barvinok/
o
pt
i
ons
.
h
:
put stats f
i
rst in barvinok_
o
ptions
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
d
oolaege
bar
v
inok_maxim
i
ze: read_eval
u
e: sup
p
or
t
r
el
a
tions
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n
Verdoolaeg
e
bernstein
.
cc: eva
l
ue_b
e
rnstein_coeffic
i
ents
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolae
g
e
b
a
rv
i
n
ok_maximize: ev
a
l
ue_read:
allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
barvinok_maximize: mo
v
e --(b
e
rnstein-
)
r
e
c
urse optio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/argp: fix
logic in hol_c
l
u
ster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
barvi
n
ok_maxim
i
ze: allow spe
c
ification of the vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
Verdoolaege
b
ar
v
inok
_
m
aximize: barf o
n
u
nexpected firs
t
t
oken
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoo
l
aege
do
c
: mor
e
docum
e
nts refering to the libra
r
y
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
v
alue_conve
r
t
.
cc: evalue_cos
e
t: sup
p
ort
rel
a
tions
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
evalue
.
c: p
r
int_
e
value
:
a
lways print newline at th
e
end
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ve
r
doola
e
ge
doc: multivariate quasi-polyn
o
mials as l
i
sts
o
f po
l
ynom
i
als
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
eva
l
ue_
c
on
v
ert
.
cc:
i
nclude
"co
n
fig
.
h
" to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: index additi
o
ns
commit
|
commitdiff
|
tree
2007-04-23
S
ve
n
Ve
r
doolaege
doc:
t
riangulati
o
n in primal
space + so
m
e typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc: document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolae
g
e
doc: refer to Koe
p
pe article for simpler motiva
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: more pub
l
ications (
i
mplicitly)
r
efer
i
ng to
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoo
l
aege
configure
.
in:
a
dd $(EXEEXT)
t
o optiona
l
p
rogra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolae
g
e
Makefile
.
am
:
m
a
ke
sure di
s
tribution contains requi
r
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdo
o
laege
work
a
round incomple
t
e
namespa
c
e supp
o
r
t in old compi
l
ers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disable some features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
barvinok_en
u
merate
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
er
d
oolae
g
e
barvinok
_
enumerate: don't print (non-ex
i
s
ting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
ed
o
main
.
c
c: avoid
u
se of
f
dstre
a
m
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verd
o
olaege
configure
.
in: check
f
o
r
pol
y
lib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdo
o
laege
dec
l
are va
r
iable at start o
f
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Ver
d
o
o
laege
M
a
k
efile
.
am: rebuild libra
r
ie
s
in subdirs if
m
issi
n
g
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoola
e
ge
barvinok_e
n
ume
r
at
e
: rechec
k
for equalities af
t
er "var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoolaege
doc: a vo
t
ing t
h
e
o
r
y
repo
r
t that
r
ef
e
r
s
to t
h
e libr
a
ry
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoolaege
doc: update primal Ba
r
vinok
r
efer
e
n
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
olae
g
e
doc: add journa
l
version of
i
mproved derivation
p
a
per
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volume
.
c: keep track of number of si
m
plic
e
s in
v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdool
a
ege
test_approx: tes
t
v
o
lume computation varia
t
i
o
ns
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: vol
u
me_trian
g
ul
a
te: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
volume
.
c: face_
v
ertices: use P
a
ram_In
n
er_Product
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolae
g
e
Cal
l
se
t
_pro
g
ram_na
m
e befo
r
e c
a
lling argp_pa
r
s
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaeg
e
reduce_d
o
main
:
exp
l
oi
t
th
a
t n
o
caller uses Polyhed
r
on2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
l
e
xmin: stop using Polyh
e
dron2
P
aram_Simpli
f
ie
d
Domain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
barvi
n
ok
.
c
c
: stop usin
g
Polyhedron2Para
m
_Simplifi
e
dDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
R
e
quire a v
e
rsion of
PolyLi
b
th
a
t computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: non_empty_point: simply use in
t
ernal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
lae
g
e
a
d
d
a
n
e
h
r
hart
example with interesting
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
t
e
st_appro
x
: t
e
s
t
c
h
a
m
ber
b
ased scal
i
ng
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c:
option
a
l
l
y perform
scalin
g
on in
d
i
vidual
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaege
barvinok_enumerate: use "var
i
a
ble compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaege
u
t
il
.
c: left_i
n
verse
:
handle c
o
n
s
t
ant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
evalue
.
c: eval
u
e_substitute:
m
ove from e
d
omain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
evalue
.
c: affine2
e
v
a
lue: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
do
o
laege
reduce_
d
omain:
p
artition c
h
amber complex based
o
n inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolae
g
e
re
d
uce_domain
.
c: ext
r
a
c
t
inne
r
_point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce
_
domain:
c
h
eck
for adjacent chambers in simp
l
i
fied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
FORALL_REDUCED_DOMA
I
N
:
e
xtract common
h
a
n
dling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
barv
i
n
ok_
e
n
u
merate:
move recursive call during
s
c
a
ling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoo
l
aege
ba
r
vinok
.
cc:
P
aram_Polyhedron_Enumerate: e
x
t
r
acted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
a
d
d some interesting
t
es
t
c
ases
for volum
e
computat
i
on
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verd
o
olaege
perform very basic polynomial app
r
oximation te
s
t
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
test_approx:
co
m
par
e
differen
t
p
o
lynomial approxima
t
i
ons
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
evalue_conv
e
r
t
.
cc: part
i
al suppo
r
t for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Ve
r
d
ool
a
ege
Par
a
m_Polyhedron_Volume: per
f
orm
l
ift
i
ng
triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaeg
e
v
olum
e
.
c:
i
n
t
roduce para
m
ete
r
_poi
n
t abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
s
c
a
l
e
.
c: export Param_Ve
r
tex_Common_De
n
ominator
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
v
o
l
um
e
.
c: drop
redu
n
dant arguments to
v
olume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verd
o
olaege
options
.
c: separate polynomial
a
pproximation rel
a
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaege
barvinok_options_new_w
i
th_
d
efau
l
ts: in
i
tialize sca
l
e_flags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdool
a
ege
tria
n
gulate_cone
:
skip De
l
aun
a
y tria
n
gulatio
n
by d
e
fault
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoola
e
ge
ev
a
l
ue_co
n
vert: print
lattice when prin
t
ing
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Ver
d
oolaege
evalue_convert:
a
dd verbose a
r
gument and re
t
u
r
n
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Verdoolaege
Pol
y
h
edron_Flate:
i
ntersect inflated po
l
y
t
o
pe with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ver
d
oolaege
d
oc:
b
ib: fix
u
p name in
title o
f
Algorithmi
c
a pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdool
a
ege
add mis
s
ing
v
ol
u
me
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Ver
d
o
o
laeg
e
volume
.
c: de
l
ay computati
o
n
o
f point
wher
e
volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoo
l
aege
Param_Po
l
yh
e
dron_Volume: set
polynomial_a
p
p
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaeg
e
vol
u
me
.
c: allow compu
t
ation of lower and up
p
e
r
bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
erd
o
olaege
scale: export Polyhedr
o
n
_
Flat
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
b
a
rvinok_
e
nume
r
ate: opti
o
na
l
ly c
o
mpute
"volume"
p
o
l
ynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
polyto
p
e_volume: com
p
ute volume of parametri
c
pol
y
tope
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
reduce_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
ver
i
fy
.
c: move computation of
t
rue context into check_po
l
y_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
s
c
al
e
.
c: add simp
l
ified method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
next