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
power.h: extract from euler.cc
2008-04-25
Sven
V
erdoo
l
aege
po
w
er
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
ntroduce evalue_
s
hift_
v
aria
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
lattice
_
point
.
cc: e
x
port
r
elative_coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
latt
i
ce_point
.
h:
m
ake sure correct evalues
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
u
t
i
l
.
c
:
internalize ugly bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_po
i
n
t
.
cc
:
mul
t
i_mon
o
m/lattice_points: r
e
t
ur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoolaege
doc: clean up "exponential substitution" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
test_bound
.
cc: avoi
d
loss of precision caused by
c
o
n
version
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ba
r
vinok_bound: optionally
t
ake
maximal size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
barvinok_b
o
und: ad
d
--ite
r
ate options fo
r
ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolaege
ver
i
f
y
.
c: e
x
port
f
unctions for
settin
g
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoo
l
aeg
e
verify
.
c:
evalue_optimum: allow computation of o
p
t
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
bernst
e
in
.
cc: evalu
e
2ex: don't assume al
l
p
e
ri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoo
l
ae
g
e
bound
.
cc: fix c
a
ll to eva
l
ue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
e
rdoolaege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erd
o
ola
e
ge
evalue_bernstein_coef
f
icients: handle pr
o
blems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n V
e
rdool
a
e
g
e
lattice_width
.
c: skip directions
t
h
a
t are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
erdoo
l
a
e
g
e
Makef
i
l
e
.
a
m
:
add c
d
d94e-tes
t
to d
i
stributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
omega/oc
c
: opt
i
onall
y
use par
k
er
for comp
u
ting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoo
l
aege
normaliz
a
tion
.
c
:
skew_to_po
s
itive
_
o
rtha
n
t: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
omega/c
o
nvert
.
cc: re
l
ati
o
n2
D
om
a
in: on
l
y
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoola
e
g
e
occ: add dump f
o
r dumping in barvinok_enu
m
erate_e f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaeg
e
b
arvinok_enu
m
erat
e
_e: optio
n
ally us
e
park
e
r'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
standard_constraints: take constraints instead of p
o
lyhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normali
z
ation
.
c: extract standard_c
o
nstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
p
a
rker/count_solutions
.
cc: fix treatmen
t
of existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
do
o
lae
g
e
compile par
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eu
l
er
.
cc: e
v
alue_d
e
rive:
handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add so
m
e test
sets from
c
ases 2004 a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
ren
a
me barvinok_m
a
ximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add a test for t
e
s
t_bo
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
ev
a
lue
_
range_propagat
i
on:
remove
redu
n
dan
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
test_bound:
r
ecor
d
number
o
f po
l
yn
o
mials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
tes
t
_
bound: con
v
ert q
u
asip
o
lynomials t
o
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rd
o
olaeg
e
tes
t
_bo
u
nd: com
p
a
re polynomial bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdo
o
laege
verify
.
c: optimum: ha
n
dle in
p
u
t evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c: ex
t
ract
e
v
alue_optimum
fro
m
m
axi
m
ize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
v
e
r
ify
.
c:
e
xtract comm
o
n code for ver
i
fying ope
r
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oola
e
ge
e
v
alue_range_p
r
opagation: add monot
o
n
icity
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximize:
optionally u
s
e (basic) ran
g
e propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
ool
a
e
ge
Add some suppo
r
t
for d
e
aling with eva
l
u
e
s that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
b
a
r
v
inok_enume
r
a
t
e: support use o
f
Euler
-
Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
implement
Bernoulli_sum as conversion from unweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum
_
ev
a
lue
:
exploit in
t
eger bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
keep tr
a
ck of n
u
m
b
er of
B
ernoull
i
s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
bernoulli
.
c
: prot
e
ct sh
a
red
e
valu
e
from modi
f
ications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
test Bernoulli su
m
s base
d
exact enu
m
erati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vino
k
_count_with_opt
i
ons:
c
ompute
(
exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
Bernoulli_sum_evalue: optionally handle fra
c
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
latti
c
e_point
.
h: ex
p
ort frac
t
iona
l
_part
wit
h
C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_enumerate_with_opt
i
ons: comput
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_evalue: handle equal
i
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_sum_evalue:
cut off som
e
redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_sum
_
evalue: m
a
ke sure n
o
empty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
e
ge
Bernou
l
li_sum_eva
l
u
e: remove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
b
e
rnoulli
.
c: minor
r
efactori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaeg
e
B
ernoulli_su
m
: han
d
le contex
t
c
o
nstr
a
in
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Berno
u
lli_s
u
m_evalue: make
sure e
n
ough mem
o
ry is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
for_each_lower_upper_bound: add an
o
th
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
o
l
aege
verify
.
c: adjust defaul
t
range to
c
ontext if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
oolaege
euler
.
c
c: su
m
mate_over_domain: only consid
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
para
m
_util
.
c: export P
a
ram_Vertex
_
Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Pol
y
hedron_Facet: pass facet d
e
fining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
genfun
.
c
c: parallel_polytopes
:
do
n
't bother handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
v
alue_
s
plit_domains_int
o
_ort
h
ants: d
o
n't redu
c
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
evalue_read: only allow terms t
o
cros
s
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_re
a
d: only
ac
c
ept impl
i
cit mu
l
tiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
eval
u
e_read: accept constra
i
nts cont
a
ini
n
g "
'
-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e
_
b
ernstein_coefficie
n
ts: ensu
r
e re
s
ult p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ver
d
o
olae
g
e
bernstein:
p
iecewise_lst: correct
l
y print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalities
:
keep
removing parame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: consi
s
tent use
o
f Kevin's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolaege
for_each_lower_
u
p
p
er_bound: allow absence of
l
owe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoo
l
aege
R
evert
"eadd_par
t
itions:
t
ry to c
o
mbine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdool
a
ege
evalue_read_pa
r
t
ition: put pa
r
t
itions
ba
c
k in the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
ege
e
v
a
lue:
r
e
d
uc
e
_
evalue: add
n
ote on some missed oppo
r
tun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Ve
r
d
o
o
laege
bernstein
.
cc: h
a
n
d
le
i
n
p
ut
w
ith un
i
ons + relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
ma
x
imize
.
cc: deal w
i
th unions
in input duri
n
g
ver
i
ficat
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdo
o
laege
evalue_substitute
:
prope
r
ly ha
n
dle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
evalue
.
c
: clean
u
p emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue_read: cor
r
ec
t
ly read varia
b
le names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_read: a
c
cep
t
top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoolaege
e
v
alue_backsubstit
u
te:
a
d
d
required modu
l
o
constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
evalu
e
.
c: *_partitions: simpli
f
y
c
onstraints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaege
doc: more spe
c
ific
in
f
ormation on
b
uggy
c
ddl
i
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: require
c
ddlib 0
.
94e by testi
n
g for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Ve
r
d
o
ol
a
ege
configu
r
e
.
in:
o
nly com
p
ile occ if code_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests for im
p
l
ementation of
projecti
o
n theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
doc: document
n
ew op
t
ion
s
and new ap
p
lications
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolae
g
e
A
UTHORS: up
d
a
t
e support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfun
.
cc: s
h
or
t
_rat::
p
rint:
correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
E
x
po
r
t se
r
ies a
s
bar
v
inok
_
enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_paramet
e
r_eq
u
a
l
ities: s
t
o
p
"rem
o
vi
n
g" equalities
.
.
.
commit
|
commitdiff
|
tree
next