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: more reports explaining parts of barvinok
2007-04-28
Sven Verdool
a
e
g
e
doc: more r
e
ports
e
xpl
a
ining parts of
b
a
rvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
la
e
ge
be
r
nstein: bum
p
v
e
r
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
doc: transf
o
r
mation o
f
p
ara
m
e
t
er domain
to h
a
v
e revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doo
l
a
ege
b
a
rvinok
.
cc:
b
arvin
o
k_count
_
f: avoid warning on re
c
ursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
a
e
g
e
u
til
.
c: u
n
imodu
l
a
r_complete:
h
a
ndle completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
a
e
ge
barvinok_enu
m
erate
.
cc
:
ha
n
dle all lines in
-
-seri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaeg
e
barvinok_
e
numerat
e
.
cc: series: plu
g
m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
do
c
:
d
oc
u
m
ent
left_invers
e
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdo
o
laege
doc: rem
o
ve reference
t
o old barvinok_
s
eries
a
pplication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
o
l
aege
doc: upd
a
te evalue_berns
t
e
in_co
e
ffi
c
ients
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Ver
d
oolaege
barvinok/opti
o
ns
.
h: put
stats first in
barvinok_o
p
tions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
g
e
barvinok_maximize: read_evalue: support
r
elations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
ber
n
stein
.
cc: eva
l
u
e
_
bernstein_coefficients
:
h
andle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvinok_m
a
ximize: evalue_
r
ead: al
l
ow ident
i
fier
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
Ve
r
doolaege
barvin
o
k
_
ma
x
imize:
m
o
ve --
(
be
r
n
stein-)recur
s
e
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
V
e
rdoolaeg
e
lib/argp: fi
x
logic in hol_c
l
uster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
b
a
rvino
k
_maximize: allow specification of th
e
variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
bar
v
inok_maximize: barf on
unexpected
firs
t
token
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Verdool
a
ege
doc: m
o
re
docu
m
e
nts refering t
o
the li
b
rary
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
evalue_conv
e
rt
.
cc: evalu
e
_co
s
et:
s
upport relati
o
ns
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
ev
a
lue
.
c: print_e
v
a
l
ue: al
w
ays pri
n
t newline
a
t th
e
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
doolaege
doc: m
u
l
t
i
varia
t
e q
u
asi-poly
n
omi
a
l
s
a
s
l
i
sts of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
evalue_
c
onvert
.
c
c: include "config
.
h"
t
o pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolae
g
e
doc: index
additions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdool
a
ege
do
c
:
t
riang
u
lation in primal spac
e
+
some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
ve
n
Verdool
a
ege
do
c
: d
o
cument inner_po
i
nt
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc
:
refer to Koeppe ar
t
icle
for simpler motivati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
g
e
doc: more publica
t
ions (impl
i
citly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven
Ve
r
d
oolaeg
e
configure
.
in: a
d
d
$
(EXE
E
XT) to
o
ption
a
l p
r
ograms fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verd
o
olaege
Makefil
e
.
am: make
sur
e
d
is
t
ribu
t
i
o
n con
t
ain
s
re
q
uire
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
Verdoolaege
wo
r
k
a
round
incompl
e
t
e
namespace support in old compile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
Verdoolaege
disa
b
le
s
ome features if fdstream doesn't
com
p
i
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
V
erdoolaeg
e
barvinok_enumera
t
e
.
c
c
:
av
o
id use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven
V
e
r
doolaege
barvinok_
e
numerate: don't p
r
int
(
non-e
x
isting) eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rd
o
olaege
edomai
n
.
c
c: avoid use of
f
dstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
configure
.
in: chec
k
for polylib/polylibgm
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoo
l
a
ege
de
c
lare v
a
riable at start of c
o
de blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Make
f
ile
.
am: rebuild libraries
in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_e
n
umerate: re
c
h
e
ck for
equalities aft
e
r "variabl
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdool
a
ege
doc: a voting the
o
ry report that refers to the library
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Ver
d
oolaege
do
c
: up
d
ate primal B
a
rvinok ref
e
rence
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
doolae
g
e
doc: add journal
v
e
rsion
o
f improved de
r
ivati
o
n pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoo
l
aege
volume
.
c: keep track of numb
e
r o
f
simpli
c
es in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdool
a
ege
t
e
s
t_approx
:
tes
t
volume computa
t
ion variations
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoolaege
v
olume
.
c:
v
olum
e
_tria
n
gulate: use vert
e
x
in
s
t
e
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
v
o
lume
.
c: face_vertices: use Para
m
_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoola
e
ge
Call
s
e
t_progr
a
m
_
name before ca
l
ling arg
p
_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
reduce_
d
omain:
e
xploit th
a
t
no ca
l
ler u
s
es
Polyhed
r
o
n2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin:
stop using Po
l
yhe
d
ron2P
a
ram_SimplifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
ba
r
vino
k
.
cc: stop
using Po
l
yhedron2Param_S
i
mplifie
d
D
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
Require a versi
o
n of PolyLib that c
o
m
p
utes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoo
l
aege
vol
u
m
e
.
c: non_empty_point: simply use
i
nternal
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
only compile bar
v
ino
k
_maximize if GiNaC
(
and
be
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdo
o
laege
a
d
d an ehr
h
a
rt exam
p
le wi
t
h
interesting cha
m
bers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoo
l
aege
t
est_ap
p
rox: test
chamb
e
r ba
s
ed scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
sc
a
le
.
c: opti
o
na
l
ly pe
r
form scaling
o
n in
d
ividu
a
l chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doolaege
barvinok_enumer
a
te: use "variable
com
p
ression
"
to re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ve
r
doo
l
aeg
e
util
.
c: lef
t
_inv
e
r
se: handle const
a
nt map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
g
e
evalue
.
c: ev
a
lu
e
_substitute: move from edo
m
ain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
olaege
evalue
.
c: aff
i
ne2eval
u
e: extracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaeg
e
r
e
duce_domain:
p
artition
c
h
a
mbe
r
comp
l
ex
b
ased on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoo
l
aege
redu
c
e
_domain
.
c: extr
a
ct inner_point and is
_
i
nternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oo
l
a
e
ge
r
e
duce_do
m
ain: ch
e
c
k for adj
a
cent
chambers
i
n simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n V
e
rdoolae
g
e
FORALL_REDUCED
_
DO
M
AIN: extract co
m
m
o
n handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
barvi
n
ok_enu
m
er
a
te:
m
ove r
e
curs
i
v
e
c
all
during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
o
olaege
ba
r
vi
n
o
k
.
cc:
P
ar
a
m_Polyhedron_Enumerate: ex
t
racted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
add some interes
t
ing test cases for
v
o
l
ume compu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perfo
r
m very b
a
sic polynomial app
r
o
ximat
i
o
n
test
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdool
a
ege
test
_
a
p
pr
o
x
: compare differen
t
polynom
i
al approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdo
o
lae
g
e
evalue_convert
.
cc: partial support fo
r
printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
Param_P
o
lyhedron_Volume: perform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoola
e
ge
volume
.
c
:
i
n
troduce paramete
r
_point a
b
straction
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoola
e
g
e
s
c
a
l
e
.
c:
e
xp
o
rt
Param
_
Vertex_Common_Denomina
t
o
r
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdo
o
laeg
e
volum
e
.
c
:
drop
r
edundan
t
a
rgu
m
e
n
t
s
to v
o
lume_si
m
p
l
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
options
.
c
:
s
e
parate polynomial ap
p
roximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
r
do
o
l
aeg
e
barvin
o
k
_
op
t
ions_new_with_defaults: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
trian
g
ulate
_
cone: skip
Delaunay
tr
i
a
ngulation by d
e
fa
u
lt
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n
Verd
o
olae
g
e
evalu
e
_convert: print la
t
tice
whe
n
prin
t
ing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
r
doolaeg
e
e
v
alue_con
v
e
rt: ad
d
verbos
e
argument a
n
d
re
t
ur
n
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
l
a
ege
P
ol
y
hedron_Flate: intersect
i
nflated pol
y
tope w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
d
o
c
: b
i
b: fix up na
m
e
in title of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
S
ven Verdoolaege
add
m
issin
g
volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oolaeg
e
volume
.
c: delay computation of
poin
t
where v
o
lume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n
V
erdoola
e
ge
Par
a
m_Polyhed
r
o
n
_Volume:
set polynomial_appr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
vo
l
u
m
e
.
c:
a
l
l
ow
c
omp
u
tat
i
o
n
of lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolae
g
e
s
c
ale: export
P
olyhedro
n
_
Flate
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
barv
i
nok_e
n
umerate: optionally
c
ompute "vol
u
m
e"
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polytope_volume: co
m
pute
v
olume of
p
aramet
r
ic polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
a
e
ge
reduce_domain
.
c: plug m
e
mory leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
verify
.
c:
m
ove computation of
true context in
t
o check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
Ve
r
doolaege
sc
a
le
.
c: add
simp
l
ified met
h
od of
co
m
puting
ti
g
h
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok_enumerate
:
o
p
tionally compute ti
g
h
t
er polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
polyhe
d
ron_sample
.
c: r
e
m
o
v
e
r
e
dun
d
ant M
A
XRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
evalue
.
c: evalue_eval: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdool
a
ege
e
v
al
u
e
.
c
: e
v
a
lue_frac2poly
n
omial: pr
o
pe
r
l
y handle r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolae
g
e
barvinok_enumerate:
s
u
pport appr
o
x
i
mat
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verd
o
o
l
a
eg
e
scale
.
c:
a
v
o
id sim
p
lif
i
cation of constraint
s
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doo
l
a
ege
barvinok/
u
til
.
h: add POL_
U
NSET macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
dool
a
ege
scale
.
c: Param_Polyhedron_Sca
l
e_I
n
teger_Fast: igno
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move
P
aram
_
Polyhedron_
S
cale_Int
e
ger to scal
e
.
c and
.
.
.
commit
|
commitdiff
|
tree
next