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
volume.c: drop redundant arguments to volume_simplex
2007-04-08
S
ven Verdoolaege
volume
.
c: drop
r
edundan
t
a
rgume
n
t
s
to
v
olume_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
optio
n
s
.
c
: separate poly
n
om
i
al approximati
o
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
b
a
r
vinok_options_new_w
i
t
h_defaults: initialize sc
a
le_flags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
trian
g
ul
a
te_cone
:
skip Delaunay triangu
l
ation b
y
def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Ver
d
oola
e
ge
evalue_convert: print lat
t
ice whe
n
print
i
ng as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
v
a
l
u
e_convert: add
verbose argu
m
ent and
return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolae
g
e
Polyhedron_Flate
:
intersec
t
in
f
lated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ver
d
oolaege
d
o
c: bib: fix
u
p
name in title of
A
lgorithm
i
c
a pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sv
e
n Verdoola
e
ge
ad
d
missi
n
g volum
e
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoolaege
vol
u
me
.
c:
d
elay comp
u
tation of point where
v
o
l
ume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
doola
e
ge
Param_Polyhedron_Volu
m
e: set
p
o
lynomial_ap
p
ro
x
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Ver
d
o
olaege
v
o
lu
m
e
.
c: allow computati
o
n
of lower an
d
upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
o
l
a
e
ge
scale: ex
p
ort Pol
y
hedron
_
Flate
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
barvino
k
_enumerate: optional
l
y compute "volume"
polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
polyt
o
pe_volum
e
: compu
t
e
volume of p
a
rametr
i
c polyt
o
pe
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdo
o
laege
reduce_domai
n
.
c: plu
g
mem
o
r
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
veri
f
y
.
c: move computation of true c
o
n
text into check
_
poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erd
o
olaege
scale
.
c
:
add s
i
mpli
f
ied method
o
f computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
b
a
r
v
i
nok_enumerate: op
t
ionally compute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdo
o
l
a
e
g
e
polyh
e
d
ron_sample
.
c: re
m
ove r
e
dundant M
A
XRAYS define
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verd
o
olaege
evalue
.
c: evalue_eval: supp
o
rt relatio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
evalue
.
c: evalue_frac
2
poly
n
o
m
ial: properly hand
l
e
relation
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enu
m
e
ra
t
e: supp
o
rt ap
p
rox
i
mation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c
: avoid s
i
m
plification of
c
o
n
s
traints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barv
i
nok/util
.
h:
a
dd PO
L
_UNSET
macro
f
o
r
u
nsettin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
ege
s
cale
.
c: Para
m
_Polyh
e
dron_Scale_Int
e
ger_Fast: i
g
n
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
move
P
a
r
am_Po
l
yhedron_Scale_I
n
t
eg
e
r to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
u
se
sepa
r
ate fla
g
s option for scale appr
o
ximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvino
k
.
cc: mov
e
s
caling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verdool
a
ege
s
c
a
l
e
.
c
:
c
orrect extr
a
ct_la
t
tice in case of
red
u
n
dant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verdoolaege
doc: update
C
C2005
re
f
ere
n
ce
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
v
e
r
if_ehr
h
art
.
c: rou
n
d
inex
a
ct eval
u
atio
n
up or
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolae
g
e
v
erif
_
e
h
rhart
.
c: optionally
use exact
e
valuation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
e
n
Verdoolae
g
e
e
v
alue
.
c
: add
eva
l
ue_e
v
al for exact evalu
a
t
i
on of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven V
e
r
d
oolaege
e
value
.
c: fix evalu
e
_frac2pol
y
nomial for negative val
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoola
e
ge
barvino
k
_enu
m
e
r
a
te
:
p
erform
s
l
ow scaling
a
pproximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
e
r
doolaege
fix Param_Polyhe
d
ron_S
c
al
e
_Inte
g
er
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
barvinok_enumer
a
te: m
o
re
accurate polynomial appr
o
ximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
reorganize polynomial
a
pproxi
m
ation
o
ptions
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoolaege
util
.
c: Pa
r
am_Poly
h
edron_Print:
a
c
tually us
e
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doolaege
fix me
r
ge of check_poly
fr
o
m
v
e
r
if_ehrhart
.
c
a
nd
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ve
r
doolaege
doc
:
update Koeppe-Verdoolaege refer
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Ve
r
d
o
olaege
b
a
rvin
o
k_maximiz
e
: support
verification
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ver
d
oolaege
merge check_pol
y
f
r
o
m v
e
rif_ehrhart
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
evalue
.
c: make some evalue a
r
guments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
o
ol
a
ege
evalue_frac2floor2
:
a
lso co
n
ver
t
non-p
a
rt
i
tion if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Ver
d
oolaege
verify
.
c: chang
e
verify_options_set_ra
n
ge p
r
ototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
d
o
o
l
aege
bernstein
:
piecewis
e
_lst::e
v
a
luate: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
verify
.
c
:
turn off co
n
tinue_
o
n_er
r
or
by default
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
V
erdo
o
laege
bernstein: expo
r
t numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verdoo
l
aege
doc: proof of
e
x
istence of suitable y for prima
l
decomposi
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Ve
r
doo
l
a
ege
doc
:
fix proof
o
f existe
n
ce of
s
uitable y for
prim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaege
bernstein
.
cc: bernstein_coefficients:
create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
Verdoola
e
ge
b
a
rvinok_maximi
z
e: opti
o
nally us
e
r
e
cursiv
e
be
r
nstein_c
o
effi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Verdoola
e
ge
bernstein
.
cc:
bernstein_coefficients: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
d
oolaege
b
erns
t
e
i
n
.
cc: refa
c
tor bernste
i
n_coeffici
e
nts_p
r
oduct
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
b
e
r
nste
i
n:
p
iecewise_lst: add
s
i
g
n
and r
e
move redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
bernstein: add remove_
r
e
d
u
n
dants
me
t
hod
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
do
c
: primal
decomposition: typo fixes
+ c
l
arification
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoo
l
a
e
ge
d
oc
:
fix primal decomposition ex
a
m
p
le +
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoo
l
aege
D
ocument p
r
imal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
erdoolaege
barvinok
.
cc: barvinok_enumerate: fix lower bo
u
nd a
p
p
r
ox
i
matio
n
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Verdoolae
g
e
evalue_sp
l
it_pe
r
iod
s
:
gra
c
efully
h
an
d
l
e
z
e
ro evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verd
o
olaege
barvinok_maximize:
h
andle zero inpu
t
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Ve
r
doolaege
bar
v
i
nok
_
enumerate_e: clean up allocation
of options
commit
|
commitdiff
|
tree
2007-03-07
S
v
en
Verdoola
e
ge
b
arvinok
.
cc: handle ca
s
e whe
r
e noth
i
n
g
is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolae
g
e
evalue
_
convert:
support printing a quasi-p
o
lynom
i
alas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ver
d
oolaeg
e
lattice
_
point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Ver
d
oola
e
ge
evalue
.
c: extract
evalue_ex
t
ract_af
f
i
ne f
r
om ber
n
st
e
in
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoolaege
bernst
e
i
n
.
cc: bernstein_coefficie
n
ts_product:
no
n
eed
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoolae
g
e
bernste
i
n
_coefficients: opt
i
o
n
a
lly optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
aege
be
r
nst
e
in_coefficien
t
s: f
a
c
tor
i
ze domai
n
if possib
l
e
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
Polyhedron_Facto
r
:
optionally return relat
i
on between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaege
b
e
r
n
st
e
i
n
:
export replaceVariable
s
InPol
y
nomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
bernstein
.
cc: e
v
alue2ex:
r
e
p
resent
f
r
acti
o
nal by sc
a
led
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoolaege
barvinok_maximize: fi
x
han
d
ling of UN
I
ONs in domain
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
V
erdoolaege
bernst
e
in_coefficients: skip e
m
pty subd
o
mai
n
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolae
g
e
b
a
rvinok_maximiz
e
: fix d
e
tection of end
o
f domain
s
pecifi
c
ation
commit
|
commitdiff
|
tree
2007-02-27
S
v
en Verdool
a
ege
ba
r
vinok_maximize
:
add
i
nput c
o
nversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue_co
n
vert: extr
a
cted from b
a
r
vinok_enu
m
erate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
util
.
c: move Pol
y
hed
r
on_is_unbounded fr
o
m bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
bernstein_coefficients
:
skip infin
i
te (sub)do
m
ains
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoo
l
ae
g
e
b
a
rvinok
_
m
a
x
i
mize
:
let use
r
specify vari
a
bles over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coefficients
:
sk
i
p
c
omputatio
n
s i
f
dom
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Ver
d
oolaege
b
arvinok_maximize: fix access
to freed m
e
m
ory
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
r
d
oola
e
g
e
bernstein/
p
iecew
i
se_lst
.
cpp:
a
dd
m
in
i
mize()
method
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n Verdoolaege
barvi
n
ok_maximiz
e
: read domain
s
with UN
I
ONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
use GiNaC cf
l
ags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvin
o
k_m
a
ximi
z
e: optional
l
y c
a
l
l evalue
_
split_
p
erio
d
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: add evalue_s
p
l
i
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c: value_
l
cm:
m
a
rk argumen
t
s
c
onst
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c
: p
o
lyn
o
mial_projec
t
ion: allow NULL R a
r
gument
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n
V
erdool
a
e
ge
evalue
.
c:
e
xtr
a
ct fiddling with coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
ven Verdoolaege
e
value
_
ber
n
s
t
ein_coe
f
ficients: han
d
le each coset o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ve
r
doolaege
ba
r
vinok_max
i
mize: read
e
v
alues
w
ith pe
r
iodics
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdo
o
laege
ev
a
lue_ber
n
stein_c
o
effic
i
en
t
s
:
hand
l
e
periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdool
a
ege
bernstein: bernste
i
nExpa
n
sion
:
accept list of
polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
ba
r
vinok_maximize: make eva
l
ue parse
a little bit
m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
er
d
oolaege
barvinok_enumerate*: be less chatty by de
f
ault
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
o
l
aege
co
u
nt/enumerate: w
a
rn if in
p
u
t
is a
union
commit
|
commitdiff
|
tree
next