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
bump version
2007-04-28
Sve
n
V
e
rd
o
ol
a
ege
bump ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
S
ve
n
Verdoolaege
d
oc: update options and so
m
e function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
doc: document volume
com
p
utation
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
erdoolaeg
e
doc: more
reports explaining
parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bern
s
tei
n
: bump vers
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: tr
a
nsformation of par
a
m
eter do
m
ain to hav
e
rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoola
e
g
e
barvinok
.
cc:
barvinok
_
count_f: a
v
oi
d
warnin
g
on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoo
l
aege
ut
i
l
.
c
: unimodular_co
m
pl
e
t
e
: handle comple
t
i
on o
f
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvi
n
o
k
_en
u
merat
e
.
c
c: ha
n
d
l
e
all lines in --serie
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolae
g
e
barv
i
nok_e
n
umerate
.
c
c
: series: plug m
e
mory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
V
e
rdoolaege
doc: docume
n
t left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
ege
doc:
r
emov
e
reference
to old barvin
o
k_
s
eries application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: update ev
a
l
ue_bernstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
do
o
laege
barvin
o
k/
o
ptio
n
s
.
h:
put stats fi
r
st in barvinok_op
t
ions
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
b
a
rvi
n
ok_maximize: read_evalue:
s
uppo
r
t
r
elati
o
ns
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
e
r
nst
e
in
.
cc: evalue_bernstei
n
_c
o
e
f
f
icien
t
s: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoola
e
g
e
barvi
n
ok_maxi
m
ize: ev
a
lue_
r
e
a
d: allow id
e
ntifie
r
s
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
barvinok_maximize: move --(bern
s
tei
n
-)
r
ecur
s
e
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/ar
g
p: fix logic in h
o
l_clu
s
t
e
r_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en
Ver
d
o
o
laege
barv
i
nok_maximize: all
o
w specification
o
f
t
he var
i
ab
l
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
ba
r
v
inok_maximiz
e
: b
a
rf on unexpected
first token
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
d
oc: more documents
refering to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
doo
l
aege
evalu
e
_convert
.
cc: evalue
_
coset: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
eva
l
ue
.
c: print_eval
u
e: always prin
t
newline at
the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
multivariate q
u
a
si
-
polynomial
s
as lists of polyn
o
mials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
evalue_convert
.
cc:
in
c
lude "conf
i
g
.
h" t
o
pic
k
up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: inde
x
additions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
rdoolaege
d
o
c: triangulation
i
n primal
s
pace + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Ver
d
oolaege
doc: document inner_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oo
l
aege
doc: refer
t
o
K
o
e
ppe art
i
cle
f
or simpler motiv
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more pu
b
lications (implicitly) refering to
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
V
e
r
doolaege
configure
.
i
n
:
a
dd $(EXEEX
T
) to
op
t
ional
p
rograms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n Verdoolaege
Makefile
.
a
m
: make sure distribution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
l
ae
g
e
barvinok_enumerate: don't print (
n
on-exist
i
n
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
V
e
r
doolaege
edoma
i
n
.
c
c
:
a
void use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verd
o
ol
a
ege
configure
.
i
n: check
f
or polylib/pol
y
libgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
ool
a
ege
decl
a
r
e variabl
e
at sta
r
t of code
block
.
commit
|
commitdiff
|
tree
2007-04-18
S
ve
n
Verdool
a
ege
Makefile
.
am: rebuild libr
a
ries in su
b
d
i
rs if
mis
s
ing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
ba
r
vinok_enumerate: r
e
che
c
k for equa
l
ities after "
v
ariabl
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc
:
a voting theory report that refers
t
o the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
aege
doc: update primal Barvinok refer
e
n
ce
commit
|
commitdiff
|
tree
2007-04-15
Sven
Ver
d
oolaege
doc: add jour
n
al version of improved derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaege
volume
.
c: keep track of number
o
f simpl
i
ces in
v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
test_approx: test volu
m
e comp
u
tation variations
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
volume
.
c
:
volume_triangulate: u
s
e vertex inst
e
ad
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdo
o
l
a
ege
vo
l
ume
.
c:
f
ace_vertices:
use Param
_
I
nner_
P
r
o
duct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
re
d
uce_domain: exploi
t
that
n
o
calle
r
u
s
es Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolae
g
e
lexmin:
s
top
using Polyhed
r
on2Param_SimplifiedDo
m
a
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
laege
barvi
n
o
k
.
cc:
s
top usin
g
Polyhed
r
o
n2Param_Simpli
f
ied
D
om
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
R
equire a v
e
rsio
n
of PolyLib that
c
omputes
correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
volume
.
c
:
non_empty_
p
o
i
n
t
:
simpl
y
use internal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
aeg
e
add
a
n
e
hrh
a
rt
exampl
e
with intere
s
ting
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaege
test
_
app
r
ox: tes
t
c
ha
m
be
r
based
scal
i
ng
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
e
g
e
s
cal
e
.
c:
o
p
tionally perf
o
rm sc
a
ling on indivi
d
ual
chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoo
l
aege
barv
i
nok
_
enumerate: use "va
r
iable c
o
mpr
e
ssion" to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
util
.
c:
l
eft
_
i
n
verse:
handle
c
on
s
t
a
nt
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
evalu
e
.
c
: evalue_sub
s
titute: move fr
o
m edomai
n
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
ev
a
lue
.
c: aff
i
ne2eva
l
u
e: ext
r
acted
from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
reduce_domain
:
partit
i
on cha
m
ber compl
e
x
b
ased on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verd
o
olaege
reduc
e
_doma
i
n
.
c
:
extr
a
c
t
i
nner_po
i
nt a
n
d is_
i
nternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
l
a
ege
reduce_
d
om
a
in:
check for
a
djace
n
t cham
b
ers i
n
simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
ool
a
ege
FO
R
A
LL_REDUCED_DOMAIN:
ext
r
a
c
t common handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
barvinok
_
enume
r
ate: move recu
r
siv
e
ca
l
l during sca
l
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
b
a
rvinok
.
c
c:
P
aram_Polyhedron_Enum
e
rate: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add some interesting test case
s
for volume computatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
perfor
m
very basic
p
olynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
ol
a
ege
te
s
t_approx: compare d
i
fferent po
l
ynomial app
r
oxi
m
a
tions
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
ge
ev
a
lue_convert
.
cc
:
par
t
ia
l
su
p
port for p
r
inting i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verd
o
o
laege
P
ara
m
_Pol
y
h
e
dron_Volume: pe
r
form lifting
t
riangulatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: introd
u
ce par
a
meter_poi
n
t
abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoola
e
ge
scal
e
.
c: export Param_Ve
r
tex_Common_Denom
i
nator
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdool
a
ege
volume
.
c: d
r
op
r
edundant ar
g
ume
n
ts
to vol
u
m
e
_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
o
p
tion
s
.
c
: separate po
l
yno
m
i
a
l approxim
a
ti
o
n related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barvi
n
o
k
_options_new_with_defaul
t
s
: i
n
it
i
alize sca
l
e_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangulate_co
n
e: sk
i
p Delaunay t
r
iang
u
lation by default
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
evalue_conve
r
t: print latti
c
e when printi
n
g
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
o
laege
e
v
alue_convert: add ve
r
bose argument and retu
r
n
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Poly
h
edron_Flate:
i
ntersec
t
in
f
lated p
o
ly
t
op
e
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
d
o
c: bib: fix up name in title of Algorithmic
a
p
aper
commit
|
commitdiff
|
tree
2007-04-05
S
ven
Verdoolaege
a
dd missin
g
volu
m
e
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoo
l
ae
g
e
v
o
lume
.
c:
delay c
o
mputat
i
on of poin
t
where volum
e
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Ver
d
oo
l
aeg
e
Param_Polyhe
d
ron_Volume: set polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
vo
l
ume
.
c: allow comp
u
tatio
n
of low
e
r and upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
scale: export
P
o
ly
h
ed
r
on_Fla
t
e
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
bar
v
inok_enumerat
e
:
optiona
l
ly com
p
ute
"
v
olume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
p
o
ly
t
ope_
v
olume: compute volume of parametric po
l
yt
o
p
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
red
u
ce_doma
i
n
.
c: plug
memory l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n V
e
rdoola
e
ge
verify
.
c
:
move computation of tru
e
context into check_po
l
y_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
g
e
scal
e
.
c:
add simplified
meth
o
d
of computing t
i
g
h
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoo
l
aege
barvinok_enumerate: optionally co
m
put
e
tighter
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoo
l
aege
polyhedron_sample
.
c:
re
m
ove redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_eval: support relati
o
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
er
d
oolae
g
e
eva
l
ue
.
c
: evalu
e
_fr
a
c
2polyno
m
ia
l
:
p
roperly handle
re
l
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok_enumerate: support approx
i
mation
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: avoid simplification
of con
s
tr
a
ints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
a
rvinok/u
t
il
.
h: add POL_UNSET macro for unsett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verd
o
olaege
scale
.
c
: Param_Polyhedron_
S
cale_Integer_Fa
s
t: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doola
e
ge
move Param
_
Po
l
yhedro
n
_Scale_Integer to scale
.
c a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ve
r
d
o
o
laege
us
e
separ
a
t
e
f
lags
option for scal
e
a
p
p
roxi
m
a
ti
o
n me
t
hod
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
V
e
r
d
o
o
lae
g
e
barv
i
nok
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
next