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
doc: more reports explaining parts of barvinok
2007-03-31
Sven Verdoolaege
u
s
e separate f
l
ags op
t
ion for scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdo
o
laege
barvi
n
ok
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
v
en
Ve
r
doolaege
sc
a
le
.
c
:
correct e
x
tract_l
a
tt
i
ce
i
n case
o
f
redun
d
an
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven V
e
rd
o
olaege
doc
:
update CC2005
r
efer
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sven Verd
o
olaeg
e
veri
f
_e
h
r
hart
.
c: round inexact eva
l
uation up
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdo
o
la
e
ge
verif
_
ehrhart
.
c:
optionally use exact ev
a
luation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven V
e
rdoolaege
evalue
.
c: add evalue_eval f
o
r exact evaluat
i
on of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
olaege
evalue
.
c:
f
ix eval
u
e_frac2po
l
ynomial
f
or
ne
g
ativ
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Ver
d
o
o
laege
barvino
k
_en
u
merate: perform slo
w
scaling approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
fix
P
aram_Polyhed
r
o
n_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoo
l
a
e
ge
barvinok_enumerate: m
o
re
acc
u
rate
p
o
lynomial approxi
m
ation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
re
o
rga
n
ize polynomial app
r
ox
i
m
ation op
t
ions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
util
.
c: Param_Polyhe
d
r
on_
P
rint: actually use outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
fix merge of check
_
po
l
y fr
o
m
verif_ehrhar
t
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdo
o
l
a
ege
doc: update Koeppe-Ve
r
d
oolae
g
e
r
e
fer
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
b
arvinok_maximize: support verificati
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doo
l
aege
merge check_p
o
l
y
from verif_eh
r
har
t
.
c
a
nd lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalu
e
.
c: make some evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
ev
a
lue_frac2floor2: also convert non-partitio
n
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
verify
.
c
:
cha
n
ge verify_
o
pt
i
ons_se
t
_ra
n
ge prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
bernstein: p
i
ecewise_
l
st::evaluate:
suppor
t
dif
f
er
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
verify
.
c:
turn off con
t
inu
e
_on_error by d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein
:
expor
t
numeric2valu
e
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdo
o
laege
doc:
p
roof of ex
i
ste
n
ce of suitable y for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
d
o
c
: fix proof of ex
i
stence of suitable y fo
r
pr
i
mal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven V
e
rdoolaege
b
ernstein
.
cc
:
bern
s
tein_coefficie
n
t
s
: create signe
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barvinok
_
maximize
:
opt
i
onally use r
e
cursive bern
s
tein
_
coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoola
e
ge
bernstein
.
cc: bernstein_coefficients: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Ver
d
ool
a
ege
b
ernstei
n
.
cc: refactor bernstein_coe
f
ficients_p
r
oduct
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
b
e
rnstein: piecewise_lst: add sign and re
m
ove redund
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
be
r
nstein: add
r
e
m
ove_redundants method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
doc: p
r
imal decomposition: typo
fixes + clarifica
t
i
ons
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdoola
e
ge
do
c
: fix
p
rimal decom
p
osition
exam
p
le
+
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolae
g
e
Documen
t
pri
m
a
l
d
e
c
o
mpositi
o
n
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
bar
v
i
nok
.
cc: barvinok_enumerate: fix
l
ower bound
appr
o
ximation
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
evalue_split_peri
o
ds
:
g
r
a
cef
u
lly handle zero eva
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verdoola
e
ge
barvinok_maxi
m
ize: hand
l
e zero in
p
ut
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_en
u
merate_
e
:
c
lean up a
l
l
oc
a
tion of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barv
i
nok
.
cc: h
a
ndle ca
s
e where nothing is
left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n
Ver
d
oolaege
e
value_conve
r
t: s
u
pport printing a quasi-polynomial
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n
Verdool
a
ege
lattice_
p
oint
.
h: make self
-
c
o
n
tain
e
d
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
r
doolaege
e
v
a
lue
.
c: extr
a
ct evalue_ex
t
ract_
a
f
fine from
b
ernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoo
l
ae
g
e
bernstei
n
.
cc: bernstein_coefficients
_
product:
n
o
need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolae
g
e
b
e
r
nst
e
in_coefficie
n
t
s: optionally o
p
t
i
mize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
doolaege
bernstein_coefficients
:
factori
z
e
do
m
ain if
possib
l
e
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoolaege
Po
l
yhedron_Factor: o
p
t
i
o
n
a
ll
y
retur
n
relatio
n
betwee
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n
Ve
r
dool
a
ege
bernstein: export
replaceVa
r
iablesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven
Verdoolaege
bernstein
.
cc: evalue2ex: represent fraction
a
l by sca
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdool
a
ege
b
arvinok_maximize: fix handling of UNIONs
i
n
d
o
m
ains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven V
e
rdoolaege
ber
n
stein_coefficients: skip empty
subdom
a
i
ns
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdoola
e
ge
barvinok_maximiz
e
: fix detection of end of domain specifi
c
ation
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n
Verd
o
o
laege
barvi
n
ok_
m
ax
i
mize: add input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdoolaege
evalue_convert: extracte
d
from barvin
o
k_enum
e
rate
and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
v
en Verdoolaege
util
.
c: move Polyhedron_is_unbounded from bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verd
o
olaege
bernstein_coeffici
e
nts: skip
i
nfinite (sub)doma
i
ns
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
r
dool
a
ege
barvinok_
m
aximize
:
let user speci
f
y variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Ve
r
doolaege
bernstein_coefficients: s
k
ip computations if d
o
mai
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_
m
aximize: fix ac
c
ess t
o
fre
e
d me
m
ory
commit
|
commitdiff
|
tree
2007-02-26
Ha
r
ald Devos
minimize as
optio
n
of barvin
o
k
_
maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoola
e
g
e
b
e
r
ns
t
ein/pie
c
ewise_lst
.
c
p
p: add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_maximize: read domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
use GiNaC cf
l
a
gs and
libs
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n Verdoolaege
b
arvinok_maxim
i
ze:
optionally call evalue_spli
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdoolaege
e
v
a
lue
.
c: add evalue_spli
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdool
a
e
g
e
uti
l
.
c:
v
a
l
ue_lcm: mark arguments cons
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
eval
u
e
.
c
:
p
olyn
o
mial_p
r
o
j
ectio
n
: allo
w
NULL R a
r
gument
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n V
e
rdool
a
ege
evalue
.
c: e
x
tract fiddling with
c
o
effi
c
ients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
v
en Verdoolaege
ev
a
lue_berns
t
ein_coeffic
i
e
nts:
h
andle ea
c
h c
o
set of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdo
o
l
a
e
ge
bar
v
inok_maximiz
e
:
read
evalu
e
s wit
h
periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdoolaeg
e
evalue_
b
ernstein_
c
oeff
i
cie
n
ts: handle periodic
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolae
g
e
b
e
rnstein
:
b
e
rnsteinExpan
s
ion: accept list of polynomials
commit
|
commitdiff
|
tree
2007-02-19
Sven Ve
r
doolaege
barvinok_maximi
z
e: make evalue parse a little bit
m
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoo
l
aege
bar
v
inok_enumerate*: be less chat
t
y by default
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoola
e
ge
c
o
unt/
e
numerate: w
a
rn if input is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdool
a
ege
DomainI
n
cludes: dete
c
t
mor
e
cas
e
s
+ a
d
a
pt doc
u
mentation
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoola
e
ge
evalue_bernstein_coeffi
c
ients: hand
l
e fract
i
onals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoolaege
evalue
_
b
e
rnstei
n
_coe
f
ficien
t
s: ha
n
dle floori
n
gs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
barvinok_maxi
m
ize: new tool for maximizing pie
c
ewis
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven V
e
rdoolaege
evalue
.
c: evalu
e
_frac2polyn
o
mial: improve
a
ccuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
evalue
.
c
: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verd
o
olaege
evalue
.
c
: add fun
c
tion for
c
hecking nesting of an
e
val
u
e
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: add mis
s
ing terms reorde
r
ings in
evalue_
r
a
n
ge_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
er
d
oola
e
ge
evalue
.
c: make
arguments of
e
equa
l
and
e
valu
e
_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaeg
e
ba
r
vinok_enumer
a
te_e: add --ve
r
b
ose option
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolae
g
e
bernstein: ma
r
k
a
r
g
ument
o
f va
l
ue2numeric
c
onst
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
bern
s
tein
.
cc: a
d
d (option
a
l)
o
ptions
a
rgument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Ve
r
do
o
laege
add
m
is
s
ing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
genfun
.
cc
:
rename stru
c
t
cone to avoid
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
doc: integer points
in
t
he
fundamental pa
r
al
l
elepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
verif_eh
r
hart
.
c:
c
lean
u
p indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
oolaege
ver
i
f_e
h
rhart: opt
i
onally cont
i
nu
e
on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ve
r
if_ehrhart: combin
e
c
h
eck_poly f
r
om barvinok_enumer
a
te_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
S
ven
V
erdoolaege
v
e
ri
f
_
e
hr
h
ar
t
.
c:
c
heck lower and upper pol
y
n
o
mial a
p
proxi
m
at
i
o
ns
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
o
laege
ve
r
ify
.
h: move barvinok_options into verify_opt
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
barvinok_
e
numerate: pass parameter names to ch
e
ck_po
l
y
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
barvinok
_
enumerate: more polynommi
a
l approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
eg
e
evalue
.
c: add
e
value_frac
2
polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
e
g
e
eval
u
e
.
c: ext
r
act evalue_split_domains_int
o
_
or
t
hants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdo
o
laege
polysi
g
n
.
c:
fix cdd_
p
olyhedron_af
f
ine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
Makefile: onl
y
c
heck lexmin i
f
i
t
has b
e
en compiled
commit
|
commitdiff
|
tree
next