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
Sven Verdoolaege
bump
v
ers
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
erdoolaege
do
c
: update options and som
e
func
t
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
r
d
oolaege
d
o
c:
document volum
e
comp
u
t
at
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more reports explain
i
ng parts
of barvino
k
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
be
r
n
stein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: transformation of p
a
rameter dom
a
in to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaeg
e
barv
i
nok
.
cc:
b
a
rvinok_
c
ount_f:
a
vo
i
d warni
n
g on
recursi
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aeg
e
u
t
il
.
c: unimodular_complete: handle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdo
o
laege
ba
r
vinok_enumerate
.
cc: handle all lines in --s
e
ries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
e
g
e
barvinok
_
enu
m
er
a
te
.
cc: serie
s
: plug memory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
S
ven
Verdool
a
ege
doc: document left
_
inve
r
s
e
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
doc: rem
o
v
e referen
c
e to old b
a
r
v
i
nok_series applic
a
tion
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Ve
r
d
oola
e
ge
doc: up
d
a
te e
v
alue_bernste
i
n_coefficients
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Verdoolaege
barv
i
n
ok/o
p
tio
n
s
.
h: put sta
t
s first in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
doolaege
barvin
o
k_m
a
ximize:
r
ead_evalue: support rela
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstein
.
c
c: e
v
alue_be
r
nst
e
in_coefficients
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
l
aeg
e
barvinok_m
a
ximize: evalue_read: allow ide
n
tifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvinok_maxim
i
ze:
m
o
v
e
-
-
(
bernstein
-
)recurse
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven
Ve
r
d
oola
e
ge
lib/argp: fix lo
g
ic in
h
ol_cl
u
s
ter
_
cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n
Verd
o
olaege
barvin
o
k_max
i
mize
:
a
llow sp
e
cification of the v
a
riabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdool
a
ege
bar
v
inok_maximiz
e
: barf on unexpecte
d
first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
d
oolaege
doc: more documents refering to th
e
library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
v
alue
_
c
onv
e
rt
.
c
c
: evalue_
c
oset:
s
uppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
evalue
.
c
:
print_evalue:
a
l
ways print
new
l
ine at the
e
nd
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc:
m
ultiva
r
iate quasi-polyno
m
i
a
ls as lists
o
f polyno
m
ials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
eval
u
e_conv
e
rt
.
c
c: inclu
d
e "
c
onfig
.
h" t
o
pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: i
n
dex addition
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
doc: triangul
a
tion
in primal
s
pace + some t
y
po
f
ixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
V
erdoolae
g
e
doc: docu
m
ent inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdool
a
ege
doc: refer to K
o
e
pp
e
article f
o
r simpler
mo
t
ivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc: more p
u
blicat
i
on
s
(implicitly)
referi
n
g
t
o the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven V
e
rdoola
e
ge
configure
.
in: add $(EXEEXT)
t
o opti
o
nal programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven V
e
r
doolaeg
e
Makefile
.
a
m: make sure dist
r
ibution c
o
n
tain
s
required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdool
a
ege
work around incomplete namespace support in
o
ld comp
i
l
e
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
i
sa
b
le some features
i
f fds
t
re
a
m doesn't co
m
pil
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oolaege
barvinok_enumerate
.
c
c
: avoid
u
s
e of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven
V
erdoolaege
barv
i
nok_enumerate: don't
p
rint (non-existing) eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rd
o
olae
g
e
edomain
.
c
c:
a
void use of fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n V
e
r
d
oolaege
configure
.
i
n
:
check
for
p
olylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdool
a
ege
declare
variable at start o
f
code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
M
akefile
.
am: r
e
build libraries in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoola
e
ge
barvinok_enumerate: recheck for equalities
a
f
ter "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a voting
theory re
p
ort t
h
at
refers
to the
l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdool
a
e
g
e
do
c
: update primal
B
arvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: add
j
o
urn
a
l ver
s
ion o
f
i
mpr
o
ved deriv
a
tion pa
p
er
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
volume
.
c: ke
e
p track o
f
number of simplice
s
i
n volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaeg
e
test_approx: tes
t
v
o
l
ume c
o
mputation varia
t
ions
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
do
o
la
e
g
e
v
o
lume
.
c: volume_triangulate: use ver
t
e
x instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdoolaege
volu
m
e
.
c: face_vertices:
use P
a
ram_
I
n
ner_Pro
d
u
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
C
a
ll set_program_name before calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
reduce_dom
a
in: exp
l
oit that no
c
aller uses Polyhedron2
P
ara
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rd
o
olaeg
e
lexmin: st
o
p
u
sing Polyhedron2P
a
ram_
S
impl
i
fiedDomai
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
laege
barvin
o
k
.
cc: stop using P
o
lyhedron2Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoo
l
a
e
ge
Require a version of Pol
y
Lib that comp
u
tes
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Ver
d
oolaege
volume
.
c: no
n
_empty_poin
t
: sim
p
ly use intern
a
l point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doolaege
o
n
ly compile barvinok_maximize if Gi
N
a
C (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaege
add an ehrhart example with
interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
test_ap
p
rox: te
s
t chamber based scal
i
ng
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoo
l
aege
scale
.
c:
o
p
tio
n
a
l
l
y perform s
c
a
l
ing on ind
i
vidual cham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
ge
barvin
o
k_enu
m
e
rate:
use "variable comp
r
e
s
sion
"
to r
e
move
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
util
.
c: left_inv
e
r
se: ha
n
dle co
n
stant map
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdoolaege
evalue
.
c:
e
value_su
b
stit
u
te
:
move from
edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verd
o
olae
g
e
eval
u
e
.
c: affine2evalue: extr
a
cted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoola
e
g
e
reduce_domain:
partition
c
ham
b
e
r
complex base
d
on
i
nn
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoola
e
ge
r
educe_domain
.
c: extract inner_point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaege
reduc
e
_
d
omain: check for adjacent chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Ver
d
oolaege
FO
R
A
L
L_R
E
D
UCED_DOMAIN: ex
t
ract
c
ommon h
a
ndling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdo
o
lae
g
e
barvinok_enumerate: move
recur
s
i
v
e ca
l
l during scal
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Ve
r
doolaege
barvinok
.
cc: Par
a
m
_Polyh
e
dron_Enume
r
ate:
e
xtracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verd
o
olaege
add some
i
nteresting te
s
t cases for volume
c
omputation
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoola
e
ge
per
f
orm very basic polynomial a
p
p
roximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdool
a
ege
test_approx:
c
ompare dif
f
erent polynomial approx
i
mations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
a
e
ge
evalue_conv
e
rt
.
cc: partia
l
support for pr
i
nting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Pol
y
hedron_Vol
u
me: perform lifting triangu
l
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven
Ve
r
doolaege
vo
l
u
m
e
.
c:
introduce parameter_p
o
int abstract
i
on
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c: ex
p
ort
Par
a
m_
V
ertex_C
o
m
m
on_De
n
omin
a
tor
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
v
o
lume
.
c: drop redund
a
nt arguments
t
o volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
options
.
c: separate p
o
ly
n
omial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoolaege
ba
r
vinok_options_n
e
w_wit
h
_de
f
aults: i
n
iti
a
l
i
z
e s
c
ale
_
fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
triang
u
late_cone: skip Delaunay triangulation by d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
r
d
o
olaeg
e
eval
u
e_convert: print l
a
ttic
e
when printin
g
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
evalue_convert
:
add verbose argument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
rdoolaege
Polyhedro
n
_
F
late: intersect inflat
e
d
polyt
o
pe with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Verdo
o
laege
d
o
c: bib: fix up name in title o
f
Alg
o
rithmica pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
Sven
V
e
rd
o
olaege
add missing
v
olum
e
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Ve
r
do
o
l
aege
volume
.
c: dela
y
comput
a
tion of poin
t
wher
e
volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoolaege
Pa
r
am_
P
o
lyhedron_Volume: s
e
t
polynomial_app
r
ox
i
mati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allow computat
i
o
n
of lowe
r
and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoo
l
aege
scale
:
export Poly
h
edron_Fl
a
te
commit
|
commitdiff
|
tree
2007-04-03
Sven
Ve
r
doolaege
b
arv
i
nok_
e
numerate: optiona
l
ly comp
u
t
e
"
v
olume
"
polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polytope_volume: compute volume of par
a
met
r
ic polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
re
d
u
c
e_domain
.
c
:
plug memory
leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
v
erify
.
c: move
computatio
n
of true conte
x
t
into chec
k
_p
o
ly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdo
o
l
a
e
ge
s
c
a
l
e
.
c: add simplified m
e
thod o
f
co
m
puting tight
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
bar
v
inok_enumerat
e
: optionally comput
e
t
i
g
h
t
e
r polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
polyhed
r
on_sample
.
c: remove redun
d
ant
M
A
X
RA
Y
S define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aeg
e
ev
a
l
u
e
.
c: evalue_eval: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdo
o
l
aege
evalue
.
c: eva
l
ue_frac2polynomi
a
l: pr
o
perly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaeg
e
b
a
rvinok_enume
r
ate: supp
o
rt approx
i
m
ation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: avoid simpl
i
fication o
f
c
o
nstraints after
.
.
.
commit
|
commitdiff
|
tree
next