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
Sve
n
Verdoo
l
ae
g
e
e
va
l
u
e_convert: add verb
o
se
a
rgument and return
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
erdoola
e
ge
Polyhedron_F
l
ate: in
t
ersect i
n
fl
a
ted polytope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Verdoolaege
doc: bib: fix up name in title of Algorit
h
mica pape
r
commit
|
commitdiff
|
tree
2007-04-05
Sven
Ver
d
oolae
g
e
add missi
n
g volume
.
h
fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
S
v
e
n Verdoolaege
volum
e
.
c: delay computation of point where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdo
o
laege
Param_Polyhedron_
V
o
lume
:
set
polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
vo
l
ume
.
c: all
o
w computation of l
o
w
e
r and uppe
r
bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven
V
e
r
doolaege
scale: ex
p
ort P
o
ly
h
e
d
ron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
ba
r
vinok
_
enumerate: optionally co
m
pu
t
e "vo
l
ume"
p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
po
l
yt
o
pe_volume: c
o
mpute volume o
f
parametric p
o
lytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
reduce_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c
:
move comp
u
tation
of tr
u
e con
t
ext into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
scale
.
c: add simplified metho
d
of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
b
arvinok_enumerate: opt
i
onally com
p
ute tighter pol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
po
l
yhedron_sample
.
c: remove redu
n
dant MAXRAYS
d
efine
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
l
aege
e
val
u
e
.
c: evalue_eval
:
support r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
evalue
.
c: ev
a
lu
e
_frac2po
l
ynomi
a
l
: properly handl
e
r
elat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
o
olaege
barvinok_e
n
umerate: s
u
pport approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
sc
a
l
e
.
c: avoid simplif
i
cat
i
on of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
barvinok/util
.
h: add POL_UNSET
macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aeg
e
s
c
ale
.
c: Par
a
m_Polyhed
r
o
n
_S
c
ale_Integer_Fa
s
t: ig
n
ore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Param_Polyhedron_Scale_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
u
se s
e
parate flags option for scale approximation me
t
hod
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc:
move s
c
aling to sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olae
g
e
sc
a
l
e
.
c: c
o
rrect extract_
l
at
t
ice in
case
of red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
ege
doc: update CC2005 referen
c
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Verd
o
olaege
verif_ehr
h
art
.
c:
r
o
und inexa
c
t evaluati
o
n up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
ven Verdoolaege
v
e
rif_ehrhart
.
c: o
p
tion
a
lly use
e
xact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
er
d
oolaeg
e
ev
a
lue
.
c: add e
v
a
lue_ev
a
l
f
or e
x
act e
v
a
luatio
n
o
f
e
value
commit
|
commitdiff
|
tree
2007-03-25
Sven Ver
d
oola
e
ge
eva
l
ue
.
c: fix eva
l
ue_frac2polynomial for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvino
k
_enumerate: perform
s
low scalin
g
approxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdool
a
ege
fix Param_Polyhedr
o
n_Sc
a
le_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdool
a
ege
b
a
rvinok_enume
r
ate: more ac
c
urate polynomial
a
p
p
r
oximation
commit
|
commitdiff
|
tree
2007-03-19
S
v
en V
e
rdoolaege
reorganize polynomial app
r
oxi
m
a
tion options
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaeg
e
util
.
c: P
a
ram
_
Polyh
e
dron_P
r
int: actua
l
ly use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
oolaege
fix merge o
f
check_
p
oly from veri
f
_ehrhar
t
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc:
update Koeppe-Verdoolaege ref
e
rence
commit
|
commitdiff
|
tree
2007-03-17
S
ven V
e
rdoolaege
b
arvi
n
o
k
_maxi
m
ize:
support verifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
mer
g
e check_
p
oly fro
m
verif_ehrhart
.
c a
n
d lex
m
in
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ve
r
doolae
g
e
e
value
.
c: make some evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
evalu
e
_f
r
ac2
f
lo
o
r2: also c
o
nvert non-partition
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
verif
y
.
c: c
h
ange verify_options_set_range prot
o
type
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: piecewise_ls
t
::eval
u
ate: suppor
t
diffe
r
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
ae
g
e
verify
.
c
:
tu
r
n off continue_on
_
error by def
a
u
lt
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
be
r
nstein: exp
o
r
t n
u
me
r
ic2
v
al
u
e
commit
|
commitdiff
|
tree
2007-03-15
S
ven Verdool
a
e
g
e
doc: proo
f
of existence o
f
suitabl
e
y
for primal decompos
i
ti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoo
l
aege
doc:
fix
proof of exist
e
n
ce of
s
u
i
table y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
be
r
nstein
.
cc: bernstein_coeffi
c
ien
t
s: create si
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
ba
r
vino
k
_maximiz
e
: optionally use r
e
c
u
r
si
v
e bernst
e
in_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoola
e
g
e
bernst
e
i
n
.
cc: bernstein_coefficients: support g
e
neral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoolaege
bernst
e
in
.
cc:
r
e
factor be
r
nstein_coeffi
c
ients_p
r
oduct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
a
ege
bernste
i
n: piecew
i
se_l
s
t: add si
g
n a
n
d remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
g
e
bernst
e
in
:
add rem
o
v
e_red
u
n
d
a
nts method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
doc:
prima
l
dec
o
mposition
:
t
y
po fixes
+ cla
r
ific
a
tions
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Ver
d
oolaege
d
o
c: fix prim
a
l decompositi
o
n
e
xam
p
le
+
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdool
a
ege
Document primal d
e
compositio
n
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
erdool
a
ege
bar
v
i
nok
.
cc:
barv
i
nok_enumerate: fix lo
w
er
b
ound
a
pproximation
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
rdoo
l
aege
evalu
e
_split
_
periods
:
g
racefully handle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verd
o
olaege
barvinok
_
maximi
z
e: hand
l
e z
e
ro input
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
e
rdo
o
l
aege
ba
r
vinok_enumerate_e: clean
u
p
a
llocation
o
f
options
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
barvi
n
o
k
.
cc: handle case
w
here noth
i
ng
is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdoo
l
aeg
e
eval
u
e_convert:
support pri
n
ting
a
quasi
-
poly
n
omial
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verdoolaege
l
a
tt
i
ce_point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verd
o
olaege
ev
a
lue
.
c: extract e
v
alu
e
_
extract_affin
e
from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoolaege
bernstein
.
cc: bernstei
n
_coeff
i
cients_p
r
oduct: no
n
eed
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n
Ver
d
oolaege
bernstein_coefficient
s
: optionally optimiz
e
during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oo
l
aege
bernstein_coef
f
i
cients: factor
i
z
e
domai
n
if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Polyhedron
_
Fac
t
or: optionall
y
r
e
tu
r
n relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
berns
t
ein: expo
r
t replaceVariablesInPolyn
o
mial
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n
Verdo
o
laege
berns
t
ein
.
cc: evalue2ex:
r
epres
e
nt fractional
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barv
i
no
k
_max
i
mize: fix han
d
ling of UNIONs in dom
a
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
bernstein_co
e
fficient
s
:
s
kip empty s
u
bdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaeg
e
barvinok_maximize:
fix d
e
tection of end of d
o
main
specificati
o
n
commit
|
commitdiff
|
tree
2007-02-27
S
ven Verdoo
l
aege
ba
r
vinok_maximiz
e
:
a
dd input
conversio
n
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdoolaege
evalue_
c
o
nvert: extract
e
d from barvinok_en
u
merate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaeg
e
util
.
c
:
m
ove Polyhedron_is
_
unb
o
u
n
ded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
r
dool
a
e
ge
bernstein_coefficients: skip in
f
i
ni
t
e (sub)domai
n
s
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
a
rvi
n
ok_maxi
m
iz
e
: let user spec
i
fy va
r
i
ables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laeg
e
berns
t
ei
n
_co
e
f
ficients: skip computations if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
Ver
d
o
ola
e
ge
barvinok_maximi
z
e: fix
access to
f
reed mem
o
ry
commit
|
commitdiff
|
tree
2007-02-26
Harald Dev
o
s
minimi
z
e
a
s optio
n
of barvinok_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
doolaege
bernstei
n
/piecewise_lst
.
cpp
:
add
m
inimize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvin
o
k_max
i
mi
z
e: read domai
n
s with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n
Verdoolae
g
e
use GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaeg
e
bar
v
inok_m
a
x
im
i
ze
:
optionally c
a
ll evalue_split
_
per
i
ods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdool
a
e
g
e
evalue
.
c:
a
dd evalu
e
_sp
l
it_
p
er
i
ods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolae
g
e
util
.
c:
v
a
l
u
e
_lcm:
m
a
r
k
arguments con
s
t
commit
|
commitdiff
|
tree
2007-02-23
S
ve
n
Verdo
o
l
a
e
ge
evalu
e
.
c: polyn
o
mial_projection:
a
llow NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
e
value
.
c: ex
t
rac
t
fiddl
i
ng with coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Ver
d
oolaege
e
value_bernstein
_
coe
f
ficie
n
t
s
:
handle each co
s
et of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdo
o
la
e
ge
barvinok_maximize: re
a
d evalues wit
h
perio
d
i
cs
commit
|
commitdiff
|
tree
2007-02-21
Sven Ve
r
doolaege
evalue_bernstein_
c
oefficients: handl
e
periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
bernstein
:
be
r
nsteinEx
p
ansion: accep
t
list of po
l
yno
m
i
a
ls
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolaege
barvinok_maximize:
m
ak
e
eva
l
u
e
par
s
e
a little bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ve
r
doolaege
ba
r
vinok
_
en
u
m
erate*:
be l
e
ss chatty b
y
default
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
coun
t
/enumerate: warn if input
i
s a un
i
on
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
DomainIn
c
ludes: detec
t
more c
a
ses + adapt doc
u
mentation
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
eval
u
e
_bernstein_c
o
efficien
t
s
: handl
e
fra
c
tionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoola
e
ge
evalue_bernstein_coeffi
c
ients: handle floorings
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven V
e
rdo
o
laege
b
arv
i
nok_m
a
ximize: n
e
w tool for maximizing pie
c
ewise
.
.
.
commit
|
commitdiff
|
tree
next