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
polytope_scan: use argp for argument parsing
2007-04-28
Sv
e
n
Verdoola
e
ge
doc: more
r
eports e
x
plaining parts of ba
r
v
i
n
o
k
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
r
d
o
olaege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: transformatio
n
of param
e
ter do
m
ain to
h
av
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
barvinok
.
cc: barvinok_count_f: avoid warning on recurs
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
la
e
ge
u
til
.
c: unimodular
_
compl
e
te: handle completion of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolae
g
e
b
a
rvinok
_
enumerate
.
c
c: handle all lines in
--series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
b
arv
i
nok_
e
nu
m
erate
.
cc: s
e
ries: plug mem
o
ry
l
e
a
k
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoola
e
g
e
doc: docu
m
ent left_invers
e
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
d
oc: r
e
move refere
n
ce to old barv
i
nok_series ap
p
l
icat
i
on
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoolae
g
e
doc: update eval
u
e_bernstein
_
co
e
fficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
barvinok/
o
pt
i
o
n
s
.
h: put
s
tat
s
first in barvinok_optio
n
s
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barvinok_maximize
:
read
_
evalue: suppor
t
re
l
ations
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
oolaege
be
r
nst
e
in
.
cc: evalue_bernste
i
n_co
e
ffic
i
ents
:
handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
ae
g
e
bar
v
inok_maximize: evalue_read
:
allow iden
t
ifiers
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvinok_
m
a
x
imize: move --(bernstein-)rec
u
r
se
option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
lib/a
r
gp: fix logic in hol
_
c
l
us
t
er_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoo
l
aege
barvinok_ma
x
i
m
i
ze: allow sp
e
cification
o
f t
h
e variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Verdool
a
ege
barvinok_maximiz
e
: barf o
n
unexpected
f
irst tok
e
n
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
doc: more
document
s
ref
e
ring to the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
evalue_convert
.
cc: evalue_c
o
s
e
t:
s
uppor
t
r
e
lations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c: print_e
v
alue: alwa
y
s
p
r
in
t
n
e
wline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: multivari
a
te quasi
-
polynomial
s
a
s
lists of po
l
ynom
i
a
l
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n
Ve
r
d
oolaege
evalue_co
n
ve
r
t
.
c
c
: include "co
n
fig
.
h" to pick
up US
E
_
FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verd
o
olaege
doc: index ad
d
iti
o
ns
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: triangulation in primal
space + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
d
oc:
document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
o
olaege
d
o
c: refer to Ko
e
ppe article
f
or simpl
e
r mo
t
ivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doola
e
ge
doc: more
p
u
bl
i
cations (im
p
licitly) referi
n
g to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdool
a
ege
config
u
re
.
in: add $(EXE
E
XT
)
to optio
n
al programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
V
erdoolaege
Makefile
.
am: make s
u
re distribution contain
s
requir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
b
a
rvinok_enumerate: don't print (non-e
x
isting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
edoma
i
n
.
c
c
: avoi
d
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
config
u
re
.
i
n
:
check for polylib
/
polyl
i
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
declare variable at start
of cod
e
b
l
oc
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
Verdoolaege
Makefile
.
am: r
e
build
librar
i
es in subdirs if
m
issing
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoolaege
barvin
o
k
_en
u
merate: r
e
check fo
r
equalities afte
r
"
v
ari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erd
o
olaege
doc: a
voting theory report
that refers to the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolaege
doc: update pri
m
al Barvino
k
r
ef
e
rence
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
e
rdoolaege
doc: add j
o
urnal version of impr
o
ve
d
derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoolaege
volume
.
c: keep tra
c
k of number of
s
implices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_
a
ppro
x
:
test volume computation v
a
riation
s
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdo
o
la
e
g
e
volume
.
c: volume_tria
n
gulate: u
s
e
vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
volume
.
c: face_ve
r
tices: use Param_Inner_Prod
u
ct
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
reduce_domain:
e
x
pl
o
it tha
t
n
o
caller uses
P
olyhed
r
on2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n V
e
rd
o
olaege
lexmin: stop
u
sing Polyhe
d
ro
n
2Param
_
Simplifi
e
dDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
ba
r
vinok
.
cc: s
t
o
p
using
P
ol
y
he
d
ron2Pa
r
am_Si
m
plifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oola
e
ge
Req
u
i
re a versi
o
n of Po
l
y
L
ib that
c
omputes cor
r
ec
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaege
volume
.
c
:
non_empty
_
p
o
int: simpl
y
use int
e
rnal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdo
o
laege
add an ehrhart
e
xam
p
le w
i
th interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoo
l
a
e
ge
t
e
st_approx: test chamber based sc
a
ling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scal
e
.
c: optionally perform scaling on individu
a
l
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
erd
o
o
l
aege
barv
i
nok_enumerate
:
u
s
e
"
v
ari
a
b
le compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
e
ge
u
til
.
c: left_inver
s
e: handle consta
n
t map
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdool
a
e
g
e
e
value
.
c: evalue_substitute: m
o
ve fro
m
edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoola
e
g
e
e
v
alue
.
c: affine2evalue: ext
r
acted fro
m
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolae
g
e
r
ed
u
ce_domain
:
partiti
o
n chamber comp
l
e
x
based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
laege
reduce_
d
om
a
i
n
.
c:
e
xtra
c
t inner
_
p
oint a
n
d
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdool
a
ege
reduce_domain:
c
heck for ad
j
acent chamber
s
in simplifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoo
l
aege
FOR
A
L
L
_RE
D
UCED_D
O
M
A
IN: extract co
m
m
on handling o
f
r
ed
u
ced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven V
e
rd
o
olaege
barvinok_e
n
u
merate: move
recursive call dur
i
ng
s
caling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n V
e
rd
o
olaege
barvinok
.
cc
:
Param_Poly
h
edron_Enum
e
rate:
extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdo
o
laege
add
s
ome inte
r
esting test
c
ases for volume c
o
mput
a
tion
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdo
o
laege
perform very basic
p
o
l
yno
m
ial approximation tes
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
test
_
approx: compare differ
e
nt p
o
lynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
rdoolaege
e
v
a
lue_convert
.
c
c
: partia
l
support fo
r
pr
i
n
t
in
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
Param_Poly
h
edr
o
n_Volume: perform lifting
t
riangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: introduce param
e
ter_point abs
t
ractio
n
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
s
cale
.
c:
export P
a
ram_Vertex
_
Comm
o
n_
D
enominator
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
v
o
lume
.
c: drop redundan
t
arguments t
o
v
ol
u
me_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
optio
n
s
.
c: separate po
l
ynomia
l
appr
o
x
i
mation rel
a
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
barvino
k
_options_new_wit
h
_d
e
f
a
ults: initialize sca
l
e_fl
a
gs
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaeg
e
tr
i
angulate_co
n
e: skip Delaunay triangu
l
ation b
y
default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
ev
a
lue_
c
o
nve
r
t: print latt
i
ce w
h
e
n
p
rinting
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
eva
l
ue_con
v
ert: add verbose ar
g
ument and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Verdoolaege
Polyhedro
n
_Flate: intersect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Verdo
o
laege
doc: bib: fix up
name
i
n tit
l
e of Algori
t
hmic
a
pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
S
ven Verdoolaege
add
m
issing vo
l
ume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdool
a
eg
e
volume
.
c:
del
a
y computation of p
o
int w
h
ere
v
ol
u
m
e
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolaege
Param_Polyhe
d
ron
_
Volume: set pol
y
nomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Verdoolaege
volume
.
c: allow
computation of
l
owe
r
an
d
u
p
per bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolaeg
e
s
cale: export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
b
arv
i
nok_en
u
merate: optionally compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
p
o
lytope_volume: compute vo
l
ume
of param
e
t
r
i
c polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
eg
e
reduce_doma
i
n
.
c:
plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdoolaege
veri
f
y
.
c:
move comp
u
tation of true c
o
ntext int
o
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
a
dd
simplified
m
ethod of computing t
i
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
barv
i
no
k
_
e
n
umerate: optionally comp
u
te t
i
ghter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
pol
y
hedron_sam
p
le
.
c:
r
emove
r
e
dund
a
nt MAXRAYS defi
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
eva
l
ue
.
c: e
v
alue_eval
:
support
r
elations
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verd
o
o
laege
evalue
.
c: evalue_frac2
p
olynom
i
al: properly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enumerate:
support approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven V
e
rdoolaeg
e
s
ca
l
e
.
c: av
o
i
d simplific
a
t
ion of constraints af
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdo
o
laeg
e
ba
r
v
i
nok
/
util
.
h:
add POL_
U
NSET ma
c
ro for
u
nset
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
scale
.
c: Param_Polyhedr
o
n_
S
cale_Integer
_
Fast:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolae
g
e
move Param_Polyhe
d
r
o
n_
S
cale_Integer to s
c
ale
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use se
p
arate flags o
p
tion for s
c
a
l
e
approximation meth
o
d
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdool
a
eg
e
barvinok
.
cc
:
mo
v
e scaling t
o
scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdoolaege
sc
a
le
.
c: corre
c
t
e
x
tract_lattice i
n
c
a
se of
redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
ven Ver
d
ool
a
ege
do
c
:
update CC2005
r
eference
commit
|
commitdiff
|
tree
2007-03-26
Sven Ve
r
doola
e
g
e
verif_ehrhart
.
c: rou
n
d inexact eva
l
uation
u
p or do
w
n
.
.
.
commit
|
commitdiff
|
tree
next