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
scale.c: add simplified method of computing tighter polynomial approximations.
2007-03-31
Sven
Verd
o
olaege
scale
.
c:
add
simplified m
e
thod
o
f computing
tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barvinok_enumerate:
o
ptionally
c
ompute tigh
t
er polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaeg
e
polyhedron_sam
p
le
.
c: remove redundant
MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
d
o
olaege
e
value
.
c:
e
val
u
e_eval: suppo
r
t relations
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
evalue
.
c: e
v
al
u
e_frac2polynomial: p
r
operly ha
n
dle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
barvinok_enumerate: support approximati
o
n
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdool
a
eg
e
s
c
ale
.
c: avoid
s
imp
l
ificati
o
n of
constraints
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
barvinok/util
.
h
: a
d
d POL_
U
N
SET macro for u
n
setting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
P
a
r
a
m
_Po
l
yhedron_Scale_Integer_Fast
:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verd
o
olaege
move
Param_Po
l
yhedron_Sca
l
e_Inte
g
er to sc
a
le
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
use separate f
l
ags optio
n
for sc
a
le appr
o
ximation
m
etho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc: move scaling t
o
sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven V
e
r
doolaege
s
cale
.
c: cor
r
e
c
t
extrac
t
_la
t
t
i
c
e
i
n case of red
u
n
d
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
en Verdoolaege
doc: up
d
ate CC2005 r
e
ference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrhart
.
c: r
o
u
n
d inex
a
c
t
eva
l
uation up or d
o
wn
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrhart
.
c: option
a
lly use exact
evaluation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdo
o
laege
eval
u
e
.
c: add
evalu
e
_eval for
e
xact eva
l
uation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aege
e
value
.
c: fix e
v
alu
e
_frac
2
p
o
lyno
m
ial f
o
r ne
g
ati
v
e values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
V
erdoolaege
b
a
rvinok_enumerate: perform s
l
ow
scaling ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdo
o
laege
f
ix Param_P
o
lyhedr
o
n_
S
cale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
barvinok_enumer
a
te:
more accurate polyno
m
ial approxi
m
ation
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
er
d
ool
a
ege
reorganize po
l
ynomial approx
i
m
ation
o
ptio
n
s
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n Verdoolaege
util
.
c: Param
_
Polyhedron_Print:
a
ctua
l
ly use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
f
i
x
m
erge of
check_poly from ver
i
f_ehrhart
.
c
and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: update K
o
eppe-Verdoola
e
ge reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
arv
i
nok_
m
aximize: support verification
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
merge
ch
e
ck_poly fr
o
m ve
r
if_ehrhart
.
c
and
l
e
x
min
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
eval
u
e
.
c:
make
some evalue arguments
c
o
n
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
dool
a
ege
evalue_frac2floor2: also
convert non
-
p
a
rtition if n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
l
a
e
g
e
verify
.
c
:
change verify_options_set_
r
ange prototy
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Verdo
o
la
e
g
e
bernste
i
n: pie
c
ewise
_
lst:
:
evaluate: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
ve
r
ify
.
c: t
u
r
n
off contin
u
e_on_erro
r
by de
f
a
ult
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
o
olaege
be
r
nstein: export numeric2val
u
e
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Verdoola
e
ge
doc: proof of existence o
f
suitabl
e
y for primal
d
ec
o
mpositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
d
o
c: fix proof o
f
existence of
s
u
i
table y
f
or primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstei
n
.
cc: be
r
nstein_coefficients: cr
e
ate s
i
gned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ba
r
v
inok_maximize: optionally use recursive
b
ern
s
t
ein_coe
f
fi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolae
g
e
bernstein
.
cc: bern
s
tein_coefficients: s
u
p
po
r
t
g
e
n
e
ral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
bernstein
.
c
c
: refactor be
r
nstein_
c
oefficie
n
ts_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bern
s
tein: piecewise_lst: add
sign and
r
e
mov
e
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ver
d
o
o
laeg
e
berns
t
ein: a
d
d
remove_redundants method
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ve
r
doolaege
doc:
p
r
imal d
e
composition
:
ty
p
o fixes +
c
la
r
if
i
cations
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc: fi
x
pr
i
mal decomposition
example + cle
a
n
-
ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verd
o
o
l
aege
Document primal d
e
composition
commit
|
commitdiff
|
tree
2007-03-11
S
ve
n
Ver
d
ool
a
ege
barvinok
.
c
c
: barvinok
_
enumerate: fix lower bo
u
n
d approxima
t
ion
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Verdoolaeg
e
e
value_split_pe
r
iods: gracefully
h
andle z
e
ro ev
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
b
arvinok_maximize: han
d
le zero inp
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
bar
v
inok_enumerate_e: clean
u
p allocatio
n
of options
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Ver
d
oolaege
barvinok
.
cc: h
a
ndle
c
ase where nothing i
s
left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en V
e
rd
o
o
l
aege
e
v
alu
e
_c
o
nvert: supp
o
rt
prin
t
i
n
g
a quasi-poly
n
o
m
ia
l
as
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
d
oo
l
aege
lattice_po
i
nt
.
h: make s
e
lf-containe
d
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n Ver
d
ool
a
ege
evalue
.
c
:
extract
e
v
alue_extract_affin
e
from b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
ge
bernstein
.
cc: bernstein_coeffici
e
nts_pro
d
uct: n
o
nee
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Ve
r
d
o
olaege
bernstein
_
coeffi
c
ients: optionally opt
i
mize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
V
e
rdoolaege
ber
n
ste
i
n_coefficients: f
a
ctorize domain i
f
po
s
sible
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
r
d
oola
e
g
e
P
olyhedron_Factor: optionally
re
t
urn relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernste
i
n: export r
e
placeVariablesIn
P
olynomial
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Ver
d
ool
a
ege
bernstei
n
.
cc: evalue2ex: represe
n
t
f
ractional by
s
caled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
Ve
r
d
o
olae
g
e
barvinok_maximize: fix hand
l
i
ng of UNIONs in dom
a
i
n
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
o
o
laege
bernstein_c
o
effici
e
nts: skip em
p
ty subdomai
n
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_m
a
ximize: fix
d
etection of end of domain sp
e
cification
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Ver
d
o
o
l
a
e
ge
barvin
o
k_max
i
mize:
a
dd input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verd
o
olaeg
e
eval
u
e_co
n
vert: extracted
f
rom barvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
ve
n
Verdoolaeg
e
util
.
c: move Polyhe
d
r
o
n_is_unbo
u
nded from ber
n
s
t
e
in
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
e
rnstein_coefficients: s
k
ip infinit
e
(sub
)
domain
s
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolae
g
e
b
a
rvinok
_
m
a
x
imiz
e
: let user specify var
i
a
ble
s
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
ern
s
tein_coef
f
icients: sk
i
p
computat
i
ons if dom
a
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaeg
e
b
a
rvinok_m
a
ximize: fix
access to fre
e
d
memory
commit
|
commitdiff
|
tree
2007-02-26
H
arald De
v
os
minimize as option o
f
barvino
k
_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
er
n
stein/
p
iecewise_lst
.
cp
p
: add minimize() meth
o
d
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
o
laege
b
arvin
o
k_ma
x
imize:
r
ead domain
s
w
ith U
N
IO
N
s
commit
|
commitdiff
|
tree
2007-02-26
S
v
en V
e
r
doola
e
g
e
use
G
iNa
C
cflags a
n
d l
i
b
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvinok_
m
aximize: optionally c
a
ll
e
v
a
l
ue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdoolaege
evalue
.
c: add evalue_split_perio
d
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
uti
l
.
c
: value_lcm: mark arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolaege
evalue
.
c: polynomi
a
l_projection: allow NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven
Verdoolaeg
e
evalue
.
c
:
extract f
i
ddlin
g
with coefficie
n
ts
out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
evalue_bernstein_coef
f
ic
i
ents:
h
andle each cose
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven V
e
rdo
o
laeg
e
barvinok
_
maximize: read evalu
e
s
with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
V
erdoolaege
e
v
a
lue_bernstein_coefficients: hand
l
e
periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
e
r
do
o
laege
bernste
i
n
:
b
ernsteinExpansion: ac
c
ept list
of polynomia
l
s
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
barvino
k
_maximiz
e
: make e
v
alue pars
e
a little bit
more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoolaege
barvi
n
ok_enumerate*:
b
e
less chatty by default
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rd
o
olaege
count/
e
num
e
rate: wa
r
n if input is a unio
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
D
o
mainIncludes: d
e
tect
m
ore cases + adapt d
o
c
umen
t
ation
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
o
o
laege
evalue_bernstein_coefficients:
handle fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoolaege
evalue_berns
t
ein_c
o
efficients: handle f
l
o
or
i
n
gs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
S
v
e
n V
e
r
doola
e
ge
barvi
n
ok_max
i
mize: new
t
ool for maximi
z
ing piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sv
e
n
V
erdoolaege
evalue
.
c: eva
l
ue_f
r
ac2po
l
yn
o
mial:
improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olae
g
e
evalue
.
c
:
add
c
omment
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
erdoolaege
evalue
.
c
:
add functi
o
n for
c
hecking nes
t
ing of an evalue
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
evalue
.
c:
a
dd
m
iss
i
ng t
e
rm
s
reorderings in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoo
l
aege
eval
u
e
.
c: make arguments of eequal
a
nd
e
va
l
ue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_enumera
t
e_e:
a
dd -
-
verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdool
a
e
ge
ber
n
stein: mar
k
argument of v
a
l
u
e2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolae
g
e
bernst
e
in
.
cc
:
a
dd
(opti
o
nal)
o
ptions
argument to eval
u
e_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
a
dd mis
s
ing virt
u
al destr
u
ctor
s
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdool
a
ege
gen
f
un
.
c
c: rename struct cone to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
doc: integer points in the fu
n
da
m
ental
parallel
e
piped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdool
a
ege
v
e
rif_ehr
h
art
.
c: clean up indentati
o
n
commit
|
commitdiff
|
tree
next