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
barvinok_maximize: move --(bernstein-)recurse option to main library
2007-04-25
Sven Verdoolaege
barvi
n
ok
_
maximize: move --(ber
n
s
tein-)recu
r
se option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
li
b
/a
r
gp: fix
l
ogic in ho
l
_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
g
e
barvinok_maximize: allo
w
specification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rd
o
olaege
b
a
rvinok
_
maximize: barf
o
n unexpected f
i
rs
t
t
oken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc
:
more
documents refe
r
ing to t
h
e lib
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
evalue_convert
.
cc: evalue_co
s
e
t: support relations
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoo
l
aege
ev
a
lue
.
c:
p
rint_evalue: always p
r
i
n
t
newline a
t
the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
m
ult
i
var
i
ate quasi-polynom
i
als
as l
i
sts of polyn
o
mials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
evalue_convert
.
c
c: in
c
lude "config
.
h
" t
o
pick up US
E
_FDSTRE
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdool
a
ege
d
o
c: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
l
aege
doc: tr
i
a
n
gula
t
ion in
p
rim
a
l space + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: document inne
r
_poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laeg
e
d
o
c: refer to
Koeppe article
f
o
r
simpler motivatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
d
o
c: more pub
l
i
c
ation
s
(im
p
l
i
citl
y
) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sv
e
n Verdoolaege
conf
i
gure
.
in:
a
dd $(EXEEXT) t
o
optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
ven Verdool
a
ege
Makefile
.
am:
make sure d
i
stribution conta
i
ns re
q
uired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verd
o
olaege
work ar
o
und incomplete na
m
espace support in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
di
s
able some f
e
atures if fdstream does
n
'
t
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumera
t
e
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumerate: don
'
t print (no
n
-
existing) eva
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edomain
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
configure
.
in:
c
heck
f
or polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaeg
e
declare variable at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
M
a
kefile
.
a
m
: rebuild librar
i
e
s in
s
ubdirs i
f
m
i
ss
i
ng
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
doolaege
b
a
rvinok_enumerate: recheck for equalities after "var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolaege
doc: a v
o
t
ing the
o
ry
report that r
e
fers to the li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n
Verdoolaege
do
c
:
u
p
date primal Barvin
o
k
reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n Verdoo
l
aege
doc: add jou
r
nal versi
o
n o
f
improved derivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Ve
r
d
oola
e
ge
volume
.
c: keep track of numb
e
r of
simplices in v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Ver
d
oola
e
ge
test
_
appro
x
: test volume comp
u
tat
i
o
n variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
o
o
l
aege
volume
.
c:
vo
l
u
me_tri
a
ngulate: use v
e
r
t
e
x ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
volume
.
c: fac
e
_
v
e
r
tices: u
s
e Par
a
m_In
n
er_Pr
o
duct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
Call
set_progr
a
m_name before calling argp_p
a
rse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erd
o
olae
g
e
reduce_doma
i
n
:
e
xploit
t
hat no caller
uses
Polyhedron2P
a
ram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
lexmin
:
stop us
i
ng Polyhedron2Par
a
m
_Simpl
i
f
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
erdool
a
ege
barvinok
.
c
c: s
t
op
u
sing
P
olyh
e
dron2
P
a
r
am_Simpl
i
f
iedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdo
o
l
aege
Re
q
ui
r
e a version
o
f
P
ol
y
Lib that comp
u
tes co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
vo
l
ume
.
c: no
n
_emp
t
y_po
i
n
t
:
s
i
mply
u
se internal poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
only comp
i
l
e barvino
k
_
m
a
ximize if GiNaC (and b
e
rnstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Ver
d
ool
a
eg
e
a
dd an e
h
r
h
art example w
i
th interest
i
n
g
chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
o
laege
test_a
p
prox: te
s
t chamber based
s
c
a
ling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
scale
.
c
:
o
pt
i
onally perform scaling on individual
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
barv
i
nok_en
u
merate: u
s
e
"variable compression" to
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdo
o
laege
util
.
c: le
f
t
_
i
n
verse:
h
andle co
n
st
a
nt ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
eva
l
u
e
.
c: ev
a
l
u
e_substitute: move from edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
evalue
.
c: af
f
i
ne2evalue: extracted f
r
o
m
vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
ool
a
ege
reduce_d
o
m
ain
:
partition
c
h
a
mber complex b
a
sed
o
n
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdool
a
ege
reduce_domain
.
c
: extract inner_po
i
nt and
i
s
_int
e
rnal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_do
m
ain: check
f
or
a
d
jacent chambers
in simplif
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Ver
d
oolaege
F
O
RAL
L
_REDUCED_DOMAIN:
e
xtract co
m
mon handling
o
f reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_enu
m
erate: move
recursive call during s
c
aling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
barvinok
.
cc: Param_Polyhedron_Enumerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdool
a
ege
add some
i
nteres
t
ing test cases
f
o
r
volu
m
e
c
omputation
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdool
a
ege
perform ve
r
y basic po
l
ynomial ap
p
roximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoo
l
a
e
ge
t
e
st_app
r
o
x
: com
p
a
r
e different poly
n
omi
a
l approximatio
n
s
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
e
v
a
lue_convert
.
cc: partial
support for pri
n
ting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ver
d
oolaege
Param_Po
l
y
h
e
dron_Volume: p
e
rform lifting
triangula
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ve
r
doolaeg
e
v
o
lume
.
c: introduce parameter_poi
n
t abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ver
d
oolaege
scale
.
c: export Param_V
e
rtex_Co
m
m
o
n
_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
V
erdoolaege
volume
.
c: dr
o
p redundant
ar
g
umen
t
s to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoola
e
g
e
options
.
c: separate polynomial ap
p
roximation re
l
at
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
doolaege
barvinok_options_new
_
with_defaults:
i
nitialize sca
l
e_
f
lags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangul
a
te
_
cone: skip Dela
u
na
y
triangula
t
ion by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
o
laege
evalue_convert:
print lattice when printing
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
valu
e
_c
o
nvert: add verbose argument a
n
d retu
r
n 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
ol
a
ege
P
o
lyhedron_Flat
e
: intersect inflat
e
d polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Verdoolaege
doc: bib: fix up name in tit
l
e
of Alg
o
rithmic
a
paper
commit
|
commitdiff
|
tree
2007-04-05
S
v
en
Verdo
o
laege
add
missing
v
olume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verd
o
olaege
volume
.
c: d
e
lay computation
o
f point
w
here volum
e
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
Verdoolaege
P
aram_Poly
h
e
d
ron_Volume: set po
l
ynomial_a
p
p
r
o
x
imat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Ver
d
oolaege
volume
.
c: allo
w
comp
u
tation o
f
lower and upper
bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
s
cale:
e
x
po
r
t Po
l
yhed
r
on_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verd
o
o
laege
b
a
rvinok_enumerate: opt
i
o
n
ally c
o
mpute
"volume" polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
e
r
doo
l
aege
polytope_volume: compute volume
of param
e
tric pol
y
tope
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdo
o
l
aege
reduce_do
m
ain
.
c
:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoolaege
verify
.
c: move computation of tru
e
co
n
text
into
c
h
eck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoola
e
ge
sca
l
e
.
c: add s
i
m
p
lified me
t
h
od
of
c
om
p
uti
n
g tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoola
e
ge
barvin
o
k
_enu
m
erat
e
: optio
n
ally com
p
ute tighter po
l
yno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
polyhe
d
ron_sample
.
c
:
r
emov
e
r
e
dundant MAXRA
Y
S define
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verd
o
ol
a
ege
eva
l
ue
.
c:
evalue_eval: support
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_fr
a
c2polynomial: prope
r
ly handle relati
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
b
a
r
v
in
o
k_enum
e
rate
:
s
u
pport a
p
proximati
o
n
b
y
me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scal
e
.
c: avoid simplificati
o
n
of con
s
tra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verd
o
olaege
barvino
k
/util
.
h:
add
POL_UNSE
T
ma
c
ro for u
n
setting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
scal
e
.
c: Pa
r
a
m
_Polyh
e
dron_
S
cale_Integ
e
r_
F
a
s
t: igno
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
mov
e
Para
m
_Po
l
yh
e
dron_Scale_Integer to
scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdoolaege
use separat
e
flags option
for scale app
r
o
ximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
la
e
ge
barvinok
.
cc: m
o
ve scaling to
s
cale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olaege
s
c
al
e
.
c
: correct
extract_lattice in cas
e
of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdoolaege
d
o
c: up
d
at
e
CC2005
r
eference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verd
o
olaege
v
e
rif_
e
hrha
r
t
.
c: round i
n
exact evaluat
i
on up or do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoo
l
a
e
ge
ve
r
if
_
ehrhar
t
.
c
:
optio
n
ally use exac
t
evaluatio
n
for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Verdo
o
laege
e
value
.
c: add evalue_eval for exact e
v
aluati
o
n of ev
a
lue
commit
|
commitdiff
|
tree
2007-03-25
Sve
n
V
e
r
doolaege
evalue
.
c: fix
e
va
l
ue_frac
2
polynom
i
a
l
fo
r
n
e
gative
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verd
o
o
l
a
e
g
e
barvinok_enumerate: perfor
m
slow
s
ca
l
ing approxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix Pa
r
am_Po
l
yhedron
_
Scal
e
_Integ
e
r
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n Verdoolae
g
e
barvi
n
ok_enumerate
:
more a
c
c
urate
p
olynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
reo
r
ganize polynomial a
p
proxima
t
ion
options
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
l
a
ege
util
.
c:
Param_Polyhedron_
P
rint: actually
use out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoolaege
fix merge of check_poly
from verif_
e
h
r
hart
.
c and
l
e
xmin
.
cc
commit
|
commitdiff
|
tree
next