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_options_new_with_defaults: initialize scale_flags
2007-04-07
Sven Verdoolae
g
e
b
a
rvinok_options_new_with_defaults: initialize scale_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdoo
l
aege
tr
i
angulate_c
o
ne:
sk
i
p
Delaunay trian
g
ulation by
default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
v
alue_convert: prin
t
l
a
ttice when printing as lis
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
evalue_convert: add
verbose argum
e
nt and ret
u
r
n
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Pol
y
hedron_Fl
a
te: intersect
inflated polyto
p
e
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Verdo
o
laege
doc: b
i
b: f
i
x up name
i
n title
of A
l
gorithmica pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
S
v
en Verdoolaeg
e
a
dd miss
i
ng vo
l
um
e
.
h f
i
le
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoo
l
a
e
ge
volume
.
c: delay computation of point w
h
ere v
o
lume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoola
e
ge
P
a
r
am_
P
olyhe
d
ron_Vol
u
me: se
t
polynomia
l
_approx
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Verdool
a
ege
volum
e
.
c
: allo
w
computation of lo
w
er and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale:
e
x
p
ort Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdool
a
ege
barvinok
_
enumerate: opti
o
nal
l
y co
m
put
e
"volume" p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
p
o
lytope_v
o
lume: compu
t
e volume of parametric
p
olytope
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Ver
d
oolaege
reduce_
d
o
m
ain
.
c: plug me
m
ory le
a
k
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoo
l
aege
ver
i
f
y
.
c: move computation
of
t
rue context into che
c
k_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoo
l
a
e
ge
scale
.
c
: add
s
implified
meth
o
d of
c
omput
i
ng tighte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
barvin
o
k
_
enu
m
erate:
o
ptionally
compute tighter
p
o
l
y
no
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
polyh
e
dron_sample
.
c
: remove
redundant MA
X
RAYS de
f
ine
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_eval: s
u
pport relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
e
ge
ev
a
lue
.
c: evalue_frac2polynomial: properly hand
l
e relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvin
o
k_en
u
mera
t
e: suppo
r
t ap
p
roxim
a
tion by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
erdoola
e
ge
sca
l
e
.
c: avoid simplification of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barvino
k
/util
.
h:
add POL_UNS
E
T macro for
u
nset
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
scale
.
c: Param_Polyh
e
dron_Sca
l
e_Int
e
g
er_Fast:
i
g
nore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aeg
e
move Par
a
m_Po
l
yhedron_S
c
ale_Inte
g
er to sc
a
le
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use separat
e
flags option fo
r
s
cale appr
o
ximati
o
n method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvin
o
k
.
cc: move scali
n
g to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
v
en
V
er
d
oolaege
scale
.
c: co
r
rect e
x
tract_
l
a
t
tic
e
in
c
a
se of red
u
nd
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc:
u
pdate CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdool
a
ege
verif_ehrhart
.
c
:
round inexa
c
t evalu
a
tion up or do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
ver
i
f_
e
hrhart
.
c
: optional
l
y use e
x
act
evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven V
e
rdoolaege
e
v
alue
.
c: add eval
u
e
_eval for exact
e
valuation
o
f
evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aege
evalue
.
c:
fix evalue_frac2p
o
lynomial fo
r
nega
t
ive values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvino
k
_e
n
umerate: p
e
rfo
r
m slow scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdool
a
ege
fix Param_Polyhedron_Scale_I
n
teg
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
oola
e
ge
ba
r
vinok_enumerate
:
more accurate polynomial ap
p
roximation
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaege
re
o
r
g
a
nize pol
y
nomial approximation
o
ptions
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
util
.
c:
Param_Polyhedro
n
_Print: actu
a
lly use
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n Ve
r
doolaeg
e
f
i
x merge of
c
hec
k
_poly
from ver
i
f_ehr
h
art
.
c
and lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
do
c
: update Koeppe-Ve
r
doolaege refer
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verd
o
olaege
barvinok_maximize: sup
p
ort verificatio
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
d
oolaeg
e
merge chec
k
_po
l
y f
r
om verif_ehrhart
.
c and l
e
xmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
o
o
laege
evalue
.
c: make som
e
evalue
a
rgum
e
nts cons
t
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdo
o
laege
evalue
_
frac2floor2: also convert no
n
-
p
artition if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoo
l
aege
verify
.
c: ch
a
ng
e
ver
i
f
y
_
op
t
ions_set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
bernstein: piecewis
e
_lst::evalua
t
e: s
u
pport different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n
V
erdoo
l
aege
verify
.
c: turn
o
f
f
continue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bern
s
tein: exp
o
rt n
u
mer
i
c2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolae
g
e
doc: pro
o
f of exist
e
nce of sui
t
a
ble y for
p
r
imal decom
p
o
siti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc
:
fix proof
o
f e
x
istence of suita
b
l
e
y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
bernstein
.
cc: bernstein_
c
oefficients: cr
e
ate sig
n
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
barv
i
nok_maximiz
e
: opt
i
o
n
ally use re
c
ursive bernstein
_
coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ve
r
do
o
laege
bernstein
.
c
c
: be
r
nstein_coe
f
ficients:
support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernst
e
in
.
cc: re
f
ac
t
or b
e
rnstein_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdo
o
laege
b
ernste
i
n: pi
e
cew
i
s
e
_lst:
add sign and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
b
e
rnstein: add
r
emove_redund
a
nts method
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaege
doc
:
primal decompo
s
iti
o
n: typo fixes +
c
larifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
doolaege
doc: fix
pri
m
al decomposition example +
c
l
ean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
erdoolaege
D
ocument
p
rimal decompositio
n
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Ver
d
oolaege
barvi
n
ok
.
cc: barv
i
nok
_
en
u
merate: fix lower bound approxi
m
ati
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
doolaege
evalue_split_periods
:
gra
c
efully hand
l
e
zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_m
a
ximize: h
a
ndle
zero input
commit
|
commitdiff
|
tree
2007-03-07
S
v
e
n
Verdo
o
laege
barvinok_enumerate_e: cl
e
an up allocat
i
on of opti
o
ns
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
e
g
e
bar
v
inok
.
cc:
handle ca
s
e where nothin
g
is le
f
t after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
ev
a
lue_c
o
n
vert
:
support
p
r
inti
n
g a qua
s
i-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdool
a
ege
latti
c
e
_
point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalue
.
c: extract eval
u
e_extrac
t
_
a
ffine
from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n Verdoolaege
bernstein
.
cc: berns
t
e
in_c
o
efficients_p
r
oduct: no ne
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Verdo
o
laege
b
e
r
n
s
t
e
in_coeffici
e
nts: opt
i
o
n
ally
o
ptimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
bernstein_coefficients:
f
acto
r
ize do
m
ain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaeg
e
Polyhed
r
on_Factor: optionally
r
eturn rela
t
ion
between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
Verdoolaege
bernstein: export re
p
laceVar
i
able
s
InP
o
lyno
m
i
al
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
aege
b
e
r
n
s
t
ein
.
cc:
evalue2
e
x
: represent fractional b
y
sca
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_maxim
i
ze: fix han
d
ling
o
f
U
NIONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdool
a
ege
bernstein_coefficients: sk
i
p
empty subd
o
ma
i
ns
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdool
a
ege
bar
v
inok_m
a
ximize: fix det
e
ction of end
of domain specification
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaege
barvi
n
ok_m
a
ximize
:
add input conversio
n
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoo
l
aege
e
v
alue_convert: extracted from barvinok_enum
e
rat
e
and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
ven Verdoolaege
util
.
c
: move Polyhedron_is_
u
nbounded from b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n
Ve
r
doolaege
bernstein_co
e
ffici
e
nt
s
: skip infinite
(su
b
)
d
oma
i
ns
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n
Verd
o
olaege
barvi
n
ok_maximize:
l
et user specify variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
bern
s
t
e
in_c
o
e
fficie
n
ts: skip computations if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Ver
d
oolaege
barvinok_
m
aximize:
fix access to freed mem
o
ry
commit
|
commitdiff
|
tree
2007-02-26
Harald Devos
minim
i
ze a
s
op
t
ion of
bar
v
inok_maximiz
e
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
V
e
rdoo
l
aege
bernstein/
p
iecewise_lst
.
c
p
p: add m
i
nimi
z
e() method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_m
a
ximize: read domains wit
h
U
NI
O
Ns
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
ae
g
e
use GiNaC c
f
lags and libs
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verdoolaege
barv
i
nok_ma
x
imize: op
t
i
onally call evalue_spl
i
t_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c:
add e
v
a
l
ue
_
s
p
lit_p
e
r
iods
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n Ver
d
oolae
g
e
u
t
il
.
c: value
_
l
c
m: mark ar
g
uments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
lae
g
e
eval
u
e
.
c
:
pol
y
nomial_projection:
allow NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
d
oolaege
e
v
alue
.
c:
e
x
tract fiddling with coefficients ou
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
eva
l
ue_b
e
rnst
e
in_coe
f
f
i
c
ients: handle each coset
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
V
er
d
ool
a
ege
ba
r
vi
n
ok_maximize: read evalues with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdo
o
laege
evalu
e
_b
e
rnstein_coefficien
t
s: han
d
le periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdo
o
lae
g
e
ber
n
stein: b
e
rnste
i
nExpans
i
o
n
: accept list o
f
p
o
lyno
m
ia
l
s
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoo
l
aege
b
a
rvinok_maximize: mak
e
e
v
a
l
ue pa
r
se
a
little
b
i
t
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verd
o
olaege
barv
i
n
o
k_enume
r
ate*: be les
s
cha
t
t
y
b
y d
e
f
ault
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
ol
a
e
g
e
cou
n
t/
e
n
umer
a
te: warn i
f
i
n
p
u
t is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oolaege
DomainInclu
d
es:
d
etec
t
more
case
s
+
ad
a
pt documentation
commit
|
commitdiff
|
tree
next