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: triangulation in primal space + some typo fixes
2007-04-23
Sve
n
Ver
d
oola
e
ge
doc:
triangulation i
n
primal space
+ some
t
ypo f
i
xes
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
r
d
oo
l
aeg
e
doc: document
i
nner_p
o
int
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolae
g
e
doc: refer to Ko
e
ppe articl
e
for
s
imple
r
mot
i
vation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdo
o
l
aeg
e
doc: more publicat
i
ons
(
i
mplicitly) refer
i
ng to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verd
o
olaege
c
onfigure
.
i
n
: add $
(
EX
E
EXT
)
t
o optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verd
o
ol
a
ege
Makefile
.
am: make
s
ure
dist
r
ibution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oo
l
aege
wor
k
around in
c
om
p
lete namespace su
p
por
t
in old compi
l
ers
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
dis
a
ble some feature
s
if fd
s
t
r
ea
m
doesn't comp
i
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
V
erdoolaege
barvinok_enumerate
.
cc
:
a
voi
d
use o
f
fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolae
g
e
b
arvi
n
o
k_enumer
a
t
e
: do
n
't prin
t
(non-existing) e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verd
o
o
l
aege
edo
m
ain
.
cc:
a
v
o
id use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n Verdoolaege
configure
.
i
n
: che
c
k for polylib/polyli
b
gm
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verd
o
o
laege
d
e
clare variable at start
o
f
code block
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdo
o
laege
Makefile
.
am: rebuild lib
r
a
ri
e
s in subdirs if m
i
ssing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdoolaege
bar
v
i
n
ok_enumerate:
r
e
c
hec
k
for equa
l
ities after "variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Ve
r
doo
l
a
e
ge
doc
:
a
votin
g
the
o
ry repor
t
t
h
at ref
e
rs to t
h
e librar
y
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
e
r
d
oolaege
d
o
c: u
p
d
a
t
e
primal Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n Verdoolaege
doc: add
jou
r
nal
version
o
f im
p
r
o
ved
deri
v
ation
p
aper
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdo
o
la
e
ge
volume
.
c:
k
e
e
p
t
r
ac
k
of number of simplices in
v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdo
o
laege
t
e
s
t_appr
o
x: te
s
t volume computat
i
on
v
ar
i
at
i
ons
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
ola
e
ge
volume
.
c:
volume_tria
n
g
ulate:
u
se vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
vol
u
me
.
c: face_vertices: use Param_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
Call set_program
_
name before calling argp
_
parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_dom
a
in: ex
p
loit
t
hat no caller uses Po
l
yhedron2P
a
r
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
lex
m
i
n
:
stop using Polyhedr
o
n2Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
barvinok
.
cc: s
t
op using P
o
l
yhedron2Pa
r
am_SimplifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rd
o
olaege
Require a vers
i
o
n
of Po
l
y
L
ib th
a
t
c
o
mputes cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
o
l
aege
volume
.
c: non_e
m
pty_poin
t
: simp
l
y
use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdoolaege
on
l
y compile b
a
rvinok_maximiz
e
i
f
G
iNaC (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oo
l
a
e
ge
add
a
n ehrh
a
rt example with
i
n
teres
t
ing chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
tes
t
_ap
p
rox: test cha
m
ber based scalin
g
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
scal
e
.
c: o
p
tionally perform scal
i
ng on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
barvinok_en
u
m
era
t
e: use
"variabl
e
co
m
press
i
on" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
doolae
g
e
ut
i
l
.
c: left_inverse:
h
and
l
e co
n
stant
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
e
v
alue
.
c: evalue_su
b
s
titute: mo
v
e from
e
d
o
mai
n
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaeg
e
e
v
alu
e
.
c: aff
i
ne2eva
l
ue
:
e
x
tracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_d
o
main: partitio
n
c
hamber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdoolaege
reduce_d
o
main
.
c:
extrac
t
inner_point
a
nd is_
i
nte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain: check
for adjacent c
h
ambers
in simplif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
r
d
oolaege
FORA
L
L_REDUC
E
D
_DOMAIN: extra
c
t com
m
on handling of re
d
u
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
Verdoo
l
a
ege
ba
r
vinok_en
u
m
erate:
m
ove
recursive c
a
ll duri
n
g scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolae
g
e
b
a
rvinok
.
cc
:
P
a
ram
_
Po
l
yhedron_En
u
m
erate
:
extra
c
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
o
o
laege
add
s
ome interest
i
n
g
test c
a
ses fo
r
volume
comp
u
tati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
perfo
r
m
very basic poly
n
omial approximation
t
e
s
t
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verd
o
olaege
t
est_approx:
c
ompa
r
e different polynomial app
r
oxima
t
i
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
do
o
l
aege
ev
a
lue_convert
.
cc
:
partial support for
pri
n
ting
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaeg
e
Param_P
o
lyhedron_Volume: perfor
m
lift
i
ng triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
vol
u
me
.
c: in
t
r
oduce parameter_
p
oint a
b
stractio
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c: expor
t
Param_
V
er
t
e
x
_Commo
n
_Denomi
n
ator
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
volu
m
e
.
c: drop r
e
dundan
t
arguments
to
v
olume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
options
.
c
: separate
p
o
l
ynomial
approximat
i
on related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdoolaege
barvinok_op
t
ions_new_with
_
defau
l
ts
:
initialize scal
e
_
f
lags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Ve
r
doolae
g
e
triangulate
_
co
n
e: sk
i
p
Delaunay triangulation by de
f
ault
commit
|
commitdiff
|
tree
2007-04-07
Sven
Ver
d
o
o
l
aege
evalue_conver
t
: print latti
c
e when
printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Ve
r
doolaege
e
v
a
l
u
e_convert: add
v
erbose
a
r
g
u
m
ent and return
1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoola
e
ge
Polyhedron_Flate:
i
n
tersect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en
V
e
rdoolaeg
e
d
oc: bib: fi
x
up name
i
n title of Algori
t
h
mica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven
V
erdoolaege
add missin
g
volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verd
o
olaege
v
ol
u
me
.
c
: dela
y
computation of point where v
o
lu
m
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolae
g
e
Param_
P
olyhedron_
V
o
lume
:
set polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
v
olume
.
c: al
l
o
w
c
omputation o
f
lower
an
d
upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaege
scale: export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
b
a
rvinok_e
n
umerate: optio
n
ally c
o
mpute "volum
e
" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
polytope_volum
e
:
co
m
pute vol
u
me of parametric polyto
p
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
re
d
uce_dom
a
in
.
c
:
plu
g
memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
ola
e
ge
ve
r
ify
.
c
:
move co
m
putati
o
n
of
true
cont
e
xt into check_poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sc
a
le
.
c: ad
d
simplifi
e
d
m
ethod of c
o
m
pu
t
ing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok_
e
numerat
e
:
optionally compute
t
ighter poly
n
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
polyhedron_sa
m
p
l
e
.
c
: remove
redun
d
ant MA
X
RAYS
def
i
n
e
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
e
rdoolaeg
e
evalue
.
c: eva
l
ue
_
eval:
s
upport rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
evalue
.
c: eva
l
ue_f
r
ac2polynomial
:
properly handle r
e
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
b
a
rvinok_enum
e
rat
e
: support appr
o
ximatio
n
by
me
a
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
s
cale
.
c: a
v
oid simpli
f
ication of constraints
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
ba
r
vinok/util
.
h:
add POL_UN
S
E
T macro f
o
r unset
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
scale
.
c: P
a
r
a
m
_
P
olyhedron_Scale_Integer_Fast: ig
n
ore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
move Param
_
Polyhedron_Sca
l
e_Integer to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
us
e
s
e
parate flags option for scale approximati
o
n me
t
hod
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
a
rvi
n
ok
.
cc: m
o
v
e
scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Verd
o
olaege
scale
.
c: correct extract_latt
i
ce in c
a
se of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdoo
l
a
e
ge
d
oc: update CC2005 r
e
fer
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n
V
erdoolaege
verif_ehrhart
.
c: roun
d
i
nexact evaluation up
o
r down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdo
o
la
e
ge
verif_ehr
h
ar
t
.
c
:
optionall
y
use exact eva
l
uation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdoolaege
evalu
e
.
c: add evalue_eval f
o
r
exact eval
u
ation of
e
v
a
l
ue
commit
|
commitdiff
|
tree
2007-03-25
Sven V
e
rdoolaege
e
value
.
c
:
f
i
x evalue_frac2polynomial fo
r
negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
Verdoolaege
b
a
rvinok_enumerate: perform slow scalin
g
approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
fix Para
m
_
Polyhedron_Scale_
I
nteger
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verd
o
olaege
barvinok_enumerate:
m
ore accurat
e
polynomial ap
p
ro
x
ima
t
i
on
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n Ve
r
doo
l
aege
reorganize po
l
ynomi
a
l approximat
i
on o
p
tions
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verd
o
olaege
util
.
c:
Param
_
Polyhedron
_
Print: a
c
t
u
ally use o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
f
i
x
merg
e
of check_poly from ve
r
i
f
_
e
hrhart
.
c and lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
S
ven Ve
r
doolaege
doc: upd
a
te Koe
p
pe-Verdoola
e
ge refer
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
barv
i
n
o
k_maxim
i
ze
:
support verification
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rd
o
olaege
me
r
g
e
che
c
k_poly fr
o
m ver
i
f_ehrhar
t
.
c and lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
e
value
.
c: m
a
ke some evalue arguments cons
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
evalue
_
frac2floor2: also convert non-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoola
e
ge
verify
.
c: change
v
e
rify_options_set
_
range prot
o
type
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein
:
piece
w
ise_lst::evalua
t
e:
s
upport differen
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
ver
i
fy
.
c: turn off
continue
_
on_error
by defa
u
l
t
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
ber
n
ste
i
n: export
n
u
meric
2
value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: p
r
oof of ex
i
s
tence of suitable y for
p
rima
l
decompo
s
iti
.
.
.
commit
|
commitdiff
|
tree
next