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
update polylib for speed improvement in in_domain
2008-04-03
Sven Verdoolaege
nor
m
a
l
ization
.
c:
e
xtract sta
n
dard_const
r
aints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdo
o
la
e
g
e
parker/count
_
solu
t
io
n
s
.
cc: f
i
x
t
reatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaeg
e
comp
i
le
parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
Add p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: e
v
alue_
d
e
riv
e
:
handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
some tes
t
sets from cases 2004 and cc
2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok_maximize to barv
i
no
k
_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaeg
e
add a test
for tes
t
_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
e
v
a
l
ue_rang
e
_
propagation:
r
emove r
e
dundant po
l
ynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: reco
r
d number of po
l
ynomials as
"
s
i
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
g
e
test_b
o
und: convert quasipolynomials to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoo
l
aeg
e
test_bound: co
m
pare poly
n
omial b
o
und algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
verif
y
.
c: opt
i
mum: handl
e
i
n
pu
t
evaluat
i
ng to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
verify
.
c: extr
a
ct evalue_optimum from m
a
xi
m
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
v
e
rify
.
c: extra
c
t comm
o
n
c
ode for ver
i
f
ying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
o
laege
evalu
e
_range
_
propa
g
ation: add
m
onotonicity tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoo
l
aege
barvin
o
k_m
a
ximize: opti
o
n
ally us
e
(basi
c
)
ran
g
e
pro
p
a
g
ation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
Ad
d
some
s
upport for dealing w
i
t
h evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolaeg
e
bar
v
inok_enumerate:
sup
p
ort use of Euler
-
M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
imp
l
ement B
e
rnoull
i
_sum as co
n
ve
r
sion
f
ro
m
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoo
l
aege
Bernoulli_
s
um_
e
value:
e
x
p
loit integer
b
o
unds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
ke
e
p
track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verd
o
ola
e
ge
bernoulli
.
c
:
protect shared
e
val
u
e from
m
odificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
test
B
ernoulli
sums based
e
xact
en
u
meration
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
b
a
rvinok_count_with
_
optio
n
s: compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Ber
n
o
ul
l
i_sum_evalue:
o
ptionall
y
hand
l
e fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
lattic
e
_poin
t
.
h
:
expor
t
f
r
action
a
l_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
b
arvino
k
_
en
u
merate_with_options:
c
o
mpu
t
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_evalue: handle eq
u
al
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
er
n
oulli_sum_evalue:
c
ut off some redundant
p
ar
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
B
ernoulli_s
u
m_evalue: m
a
ke su
r
e no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
Bern
o
ulli_su
m
_evalue
:
rem
o
ve
r
edund
a
nt co
n
s
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoul
l
i
.
c: m
i
nor refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoo
l
aege
Bernoulli_sum: handle con
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_lower_upper_bound:
a
d
d another call
b
a
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust default
ran
g
e
t
o
context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
euler
.
c
c: sum
m
ate_ove
r
_
domain: only con
s
i
der actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
pa
r
am_
u
til
.
c: export
Param_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
ge
Pa
r
am_Polyhedron_Fa
c
et: pass facet defining constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
genfun
.
c
c:
p
arallel_polytop
e
s:
don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_sp
l
i
t_dom
a
ins
_
into
_
o
rthant
s
: don
'
t
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
evalue_re
a
d: onl
y
allo
w
te
r
ms to
cros
s
n
ewlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
value_read: only
a
ccept impli
c
i
t
multipli
c
ation
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
evalue_read
:
accept cons
t
raint
s
containing "'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_
b
ernstein_coefficients:
e
nsure
res
u
l
t
partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernst
e
in
:
piecewise_l
s
t
:
correc
t
ly
p
rint and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
olaege
r
emove_all_equaliti
e
s: keep removing parameter equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolae
g
e
u
pd
a
t
e
p
olyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolaege
doc: consis
t
ent us
e
of K
e
vin's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: update now publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
f
o
r_each_low
e
r_upper_
b
o
u
nd: al
l
ow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdo
o
laege
Rev
e
rt
"eadd_par
t
itions
:
t
r
y to combine mul
t
iple
d
omain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Ve
r
d
oolaege
ev
a
lu
e
_
r
ea
d
_partitio
n
: put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
a
l
u
e: reduce_evalu
e
: a
d
d note on some
m
issed opportu
n
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
ool
a
ege
bern
s
tein
.
cc: handle input wi
t
h uni
o
n
s
+
r
e
latio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolae
g
e
maxi
m
ize
.
cc: deal with unions in input dur
i
ng
v
e
rification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_substitute: pr
o
perly
han
d
le relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: correctly rea
d
variable names
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
r
doolaege
evalue_read:
accept top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaeg
e
upda
t
e
p
olyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Verdoolaege
eva
l
u
e
_ba
c
ksu
b
stitute: a
d
d required modulo c
o
nst
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olaege
e
value
.
c: *_
p
artiti
o
ns: simpli
f
y constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
doc: more specific information on b
u
ggy cddlib ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoolaege
configure
.
in: requi
r
e cddli
b
0
.
94e by testin
g
fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
d
o
o
laege
configure
.
in: only co
m
pile o
c
c if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoola
e
ge
ba
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
ad
d
some tests for imp
l
e
m
ent
a
tion
o
f pr
o
j
ection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
do
c
:
do
c
ument new options and new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
doolaege
AUTHORS: update
suppor
t
information
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
gen
f
un
.
cc: short_r
a
t::print: correctly pr
i
nt po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expo
r
t
s
eri
e
s a
s
barvinok_enu
m
e
rate_serie
s
and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
remove_param
e
ter_equalities: stop "removin
g
"
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
series: leave freeing of P argument to
c
alling fun
c
t
io
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
d
oc:
document imp
l
em
e
ntation of
the projection
t
heore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd barvinok_enum
e
rate_e_se
r
i
e
s
implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: f
i
x
a
nd do
c
ument p
a
ral
l
el
polytope
s
cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-inde
p
endent part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
po
l
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
doc
:
h
ow t
o
count th
e
num
b
er of elements
i
n p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en V
e
r
doo
l
aege
doc/imp
l
eme
n
tation
.
tex: avoid multiply defined la
b
el
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoolaege
lattice_wid
t
h
.
c: try v
e
rtic
e
s of previous
integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: document inte
g
er hull
compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
oola
e
ge
hull
.
c: a
d
d a
l
l points found by sa
m
p
l
i
ng directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
P
o
s
sible optimiz
a
tion
s
for gene
r
alized basis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Support use of
g
ene
r
al
i
zed basi
s
reduction
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
a
ege
ad
d
P
olyhedron_Integ
e
r_
M
inimum f
o
r com
p
u
tin
g
the in
t
ege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc: document generalized
basis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc/barvin
o
k
.
b
ib: add missi
n
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
dd
m
ore
mi
s
sing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laeg
e
config
u
re
.
in: only compile libbarvinok
a
s a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
Polyhed
r
on_Red
u
c
ed_Basi
s
:
d
o
n't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
compute_width
_
direct
i
o
n
s: o
n
ly keep
l
ist of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
zsolve:
d
on'
t
ins
t
a
l
l li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doolaeg
e
ve
r
sion
.
c: show use
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolae
g
e
c
o
n
figure
.
in: don't set with_{poly,pip}lib_pre
f
i
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
Polyhedron_Sample: be satisfied with
a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
c
one_integer
_
hull:
optional
l
y print stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
basis_reduction: ke
e
p
track of number o
f
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
laege
opti
o
ns: move --pr
i
nt-s
t
ats to libr
a
r
y
commit
|
commitdiff
|
tree
next