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
evalue_convert: add verbose argument and return 1 if something was printed
2007-04-07
Sven Verdoolaege
evalue_
c
o
nve
r
t:
a
dd
v
erbose
ar
g
ument and re
t
urn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
V
erdoolaege
Poly
h
edr
o
n_Flate: int
e
rsect inflated polytope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n
Verdoolaege
d
o
c: bib: fix up name in title of Algor
i
thmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdo
o
l
aege
a
dd miss
i
ng volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaeg
e
vol
u
me
.
c:
d
ela
y
c
o
mput
a
tion of point where
vo
l
u
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
P
a
ram_
P
oly
h
edron_
V
olu
m
e
: se
t
p
olynomial_app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaege
volume
.
c: allow computa
t
ion of low
e
r and up
p
er b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
scale: exp
o
r
t
Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvinok_en
u
mer
a
te:
o
ptionally comput
e
"
v
olum
e
" polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polyt
o
p
e
_
v
olume: co
m
pu
t
e volume
o
f
parametric
p
ol
y
tope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_d
o
main
.
c: plug
m
e
mory
l
eak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
veri
f
y
.
c: move computatio
n
of true
c
ontext
into ch
e
c
k
_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
d
oolaege
sc
a
le
.
c: add simplified method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
aege
barvinok_enumerate: optionally compute tighte
r
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdo
o
l
aege
polyhedron_
s
ample
.
c:
rem
o
ve r
e
d
undant MAXR
A
Y
S define
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
er
d
oolae
g
e
evalue
.
c:
evalue_
e
v
al: support rela
t
ions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
eval
u
e
.
c: evalue_f
r
a
c2polynomial: pr
o
per
l
y handle r
e
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
barvi
n
ok_enu
m
erate: support approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sca
l
e
.
c: avoid simpli
f
icat
i
on of
con
s
t
ra
i
nt
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
barvinok/util
.
h: add PO
L
_
U
NSET macro for unse
t
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
s
c
ale
.
c: Param_Polyh
e
dron
_
Scale_Integer
_
F
ast:
ign
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
move Param_Poly
h
ed
r
on_Scale_I
n
tege
r
to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use separa
t
e fla
g
s option for s
c
ale
approxi
m
a
t
i
on method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ol
a
ege
barvino
k
.
cc: mo
v
e sca
l
ing
t
o scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdo
o
laege
scale
.
c
:
correc
t
extract_lattice in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
ege
doc: upda
t
e
C
C2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
Verdoo
l
aege
verif_ehrh
a
rt
.
c: round inexac
t
evaluation up or
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_eh
r
ha
r
t
.
c
: optio
n
al
l
y use e
x
act evaluation
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
ven
V
er
d
oolae
g
e
evalue
.
c: add eva
l
ue_ev
a
l for exact
e
v
aluation
o
f eval
u
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Ver
d
oolaege
e
v
a
lue
.
c:
fi
x
evalue_frac2polynom
i
al for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdool
a
ege
b
a
rvinok_enumer
a
te:
p
erform slow scali
n
g appr
o
x
imation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix Param_P
o
lyhedron_Sca
l
e_Integ
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doola
e
ge
barvinok_en
u
merate
:
more
ac
c
urate pol
y
nomial approxim
a
ti
o
n
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
reorganize polynomial appr
o
ximation options
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
util
.
c: Param_Po
l
yhedron_Print:
a
ctually use
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doolaeg
e
fix me
r
ge of check_poly from verif_ehrhart
.
c an
d
l
e
x
m
in
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
S
ven Verdoolaege
do
c
: update K
o
eppe-Verdo
o
laege refere
n
ce
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n V
e
rdo
o
laege
barvinok_maximi
z
e: supp
o
r
t
verifi
c
a
t
ion
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
merge ch
e
c
k
_poly from verif_ehrhart
.
c a
n
d lexm
i
n
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
olaege
evalue
.
c:
make som
e
ev
a
lue arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
ev
a
lue_frac2floor2: also conver
t
no
n
-
p
artit
i
on if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
veri
f
y
.
c
:
change verify_
o
pti
o
ns_set_
r
ange prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
do
o
laege
ber
n
ste
i
n: piecewise_ls
t
::evalu
a
te: su
p
port
diff
e
rent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c: tur
n
off
c
on
t
i
nu
e
_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
b
ernstei
n
: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
olaege
doc: proof of existence of
s
uitable y for primal deco
m
positi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoo
l
a
ege
doc: fix proof
of exist
e
nce of s
u
itable y for prim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc:
b
e
rnst
e
in_coefficients: create signe
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
o
l
a
e
ge
barvino
k
_m
a
ximize: optionally use re
c
ursive
berns
t
e
in_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doo
l
aege
ber
n
stein
.
cc
:
be
r
nstein_coeffici
e
nts:
s
upport general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
r
doolaege
bernstein
.
cc
:
refactor bernstein_coefficients
_
p
r
od
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
bernstein: piecewise_
l
st
:
add s
i
g
n
and re
m
ov
e
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaege
ber
n
st
e
in: a
d
d remove_r
e
dundants met
h
od
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
doc:
pr
i
mal decomposition: typo fi
x
es + clar
i
fications
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verdoola
e
ge
do
c
: fix p
r
imal decomposition exa
m
ple + clean-
u
ps
commit
|
commitdiff
|
tree
2007-03-11
S
ven
V
erdoolaege
Document primal d
e
co
m
position
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdoolaege
barvino
k
.
cc: b
a
rvinok_enumerate: f
i
x
l
o
we
r
bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoola
e
ge
evalue_s
p
l
it_
p
eri
o
ds: gracefu
l
l
y
handle zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdool
a
ege
barvinok_maxim
i
ze:
h
andl
e
zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
doolaege
barv
i
n
ok_enumerate_
e
:
cle
a
n up a
l
location of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
eg
e
b
a
rvinok
.
cc: handle
c
ase where not
h
ing is left af
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
Ver
d
oolaeg
e
ev
a
lue_conv
e
r
t
:
s
upport printing a quasi-
p
oly
n
o
mialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
d
oolaege
lattice_point
.
h
:
make self-co
n
t
ained
commit
|
commitdiff
|
tree
2007-03-02
S
ven Verdool
a
ege
evalue
.
c
:
ex
t
ra
c
t evalue_extra
c
t_af
f
ine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
ven Ve
r
doolaege
berns
t
ein
.
cc: berns
t
e
i
n_coeff
i
cient
s
_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven Ve
r
doolaege
ber
n
st
e
in_co
e
fficients:
o
p
t
ionall
y
optimize
du
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdo
o
laeg
e
b
er
n
ste
i
n_c
o
e
f
fici
e
nts
:
factoriz
e
domai
n
if possible
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdool
a
ege
Polyhedro
n
_Factor:
o
ptionally return relation
between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdool
a
ege
bernstein: expo
r
t replaceVariab
l
es
I
nPo
l
ynomi
a
l
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
e
r
dool
a
e
g
e
bernstein
.
c
c: evalue2ex
:
r
e
present fract
i
onal by sc
a
led
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdo
o
l
aege
barvinok_ma
x
i
m
ize
:
fix
handli
n
g of UNION
s
i
n domain
s
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoola
e
ge
ber
n
stein_coeffi
c
ients
:
skip
e
mpty s
u
b
d
o
m
ains
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
ool
a
ege
b
ar
v
ino
k
_maximize
:
fix detection of end of domain sp
e
c
i
f
ication
commit
|
commitdiff
|
tree
2007-02-27
Sven
Ver
d
o
o
laege
barvinok_maximize:
add input con
v
ersion
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdoolaege
evalue_convert:
extracted from barvinok_enumerate a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Ver
d
ool
a
ege
u
til
.
c: move Polyhedron_is_unbo
u
nded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n V
e
rd
o
olaege
be
r
nstein_coefficients: sk
i
p inf
i
nite (
s
ub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
barvinok_maximiz
e
:
let user specif
y
v
a
riab
l
e
s
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olae
g
e
berns
t
ein_coefficie
n
ts: skip
c
o
m
p
u
tations if doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdool
a
e
ge
bar
v
inok_maximize: fix access to freed
memory
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n
Verdoolae
g
e
bern
s
tein/piecewise_ls
t
.
cpp: a
d
d
minimize()
method
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n Verd
o
olaege
barvinok_maxim
i
ze: read do
m
ains wi
t
h UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven
Ve
r
doolaege
use Gi
N
a
C cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaeg
e
barvi
n
ok_maximi
z
e
:
o
p
t
ionall
y
call evalue_s
p
lit_pe
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Ver
d
ool
a
ege
evalue
.
c: add eva
l
ue_split_peri
o
ds
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c: value_lcm: mar
k
ar
g
u
m
e
n
ts con
s
t
commit
|
commitdiff
|
tree
2007-02-23
S
ven
Verdoolaege
evalue
.
c:
polynomial_pr
o
jection
:
allow NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdool
a
eg
e
evalue
.
c: extract fiddlin
g
with coefficients out
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sv
e
n Verdoolaeg
e
evalue_bernstein_coeffici
e
nts: handle each cos
e
t
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaeg
e
barvinok_maximize:
re
a
d eval
u
es wit
h
periodi
c
s
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
evalue_bernstein_coeffic
i
ents:
h
an
d
le p
e
riodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Verdoolae
g
e
bernstein: ber
n
steinExpansion: accept list
o
f
polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdool
a
ege
b
a
rvinok_max
i
m
i
z
e: make evalue parse a little bit mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaeg
e
b
a
rvinok_enumerate*: be le
s
s chatty by defaul
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
la
e
ge
c
ou
n
t/enu
m
erate: warn if input is a un
i
o
n
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Ve
r
doolae
g
e
DomainIncludes: de
t
e
c
t more ca
s
es + a
d
apt docume
n
tation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
evalue_bernstein_coeffic
i
en
t
s: handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoolaege
e
v
alue
_
bernstein_coefficien
t
s: han
d
le fl
o
oring
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sve
n
Verdoolaege
barv
i
nok_ma
x
i
mize: ne
w
t
oo
l
for maximizing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
ven Verdoolaeg
e
evalue
.
c: evalue_frac2polyn
o
mial: impr
o
v
e accuracy
commit
|
commitdiff
|
tree
next