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: fix typo
2008-05-08
S
ven
Verd
o
ol
a
ege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
ool
a
ege
add e
d
itor
s
to
I
TSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Verdo
o
laege
use ar
g
p
for
argument parsing in b
a
r
v
in
o
k_ehrhar
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolae
g
e
properly handle NTL CP
P
FLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
rd
o
olaege
ba
s
i
s
_reduction_templ
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ba
r
v
inok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
olaege
ad
d
some
test sets from itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
do
c
: add lat
e
st
(
a
ccepte
d
) publi
c
ations
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
Makefile
.
am
:
add section_ar
r
ay
.
h to
d
i
st
r
ibutio
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
normalization
.
c: compute_s
h
ifts: remove
red
u
ndant ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
l
a
e
ge
move Free_ParamNam
e
s polylib and
m
ake param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
occ: ad
d
interface t
o
barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
ex_convert
.
cc: ex
t
ract ex2
e
v
a
lue f
r
om range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc:
docum
e
nt more --summation
m
etho
d
s for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
options
.
c: r
e
name "barvinok" summation method to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makef
i
le
.
am: chec
k
-euler:
also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
s
ummate
.
c
: b
a
rvinok_su
m
mate:
han
d
le produc
t
s of
polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoo
l
a
e
ge
ev
a
lue
.
c: expor
t
evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
b
e
rns
t
ein: numeric2value: fix typo to allow
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
d
o
olaege
util
.
c: Fact
o
r_Context: ex
t
racted from
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
sum
m
ate
.
c: barvinok_summ
a
t
e: ignore floors ind
e
p
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
evalue
.
c:
add evalue_fl
o
or
2
fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
om
e
g
a
/occ:
print b
a
r
v
inok version number
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
d
o
c: u
p
date some
r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdool
a
ege
Make
laur
e
nt based su
m
mation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summa
t
e
.
c:
b
a
r
v
i
nok_
s
umma
t
e
: handle q
u
asi-polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
reduce_eva
l
ue: extra
c
t out
evalue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aege
evalue
.
c
: evalue_shift_variable
s
:
a
llo
w
shif
t
ing
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
summa
t
e
.
c: handle equalities
for all su
m
mation a
l
gorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summate
.
c:
bar
v
i
n
o
k
_summate: move
common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
e
value_su
m
: move s
i
gn handling into
e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
barvinok_e
.
cc: enumerate_sum
:
use barvin
o
k_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
summate
.
c: ext
r
a
c
t
b
a
r
vinok_su
m
mate f
r
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
r
e
name summa
t
e
.
cc to barvi
n
ok_s
u
mmate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
evalue
.
c: reduce_
e
val
u
e: reduce floor
with
c
ons
t
an
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaeg
e
A
dd Lau
r
ent exp
a
nsio
n
ba
s
ed su
m
ma
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
er
d
oolaege
evalu
e
.
c
:
e
xten
d
eequal to handle domains and N
a
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verd
o
olaege
binomial
.
c: extr
a
ct binomi
a
l and
f
a
c
to
r
i
a
l from
e
u
l
e
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
powe
r
.
h: e
x
tract f
r
om euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
g
e
introduce eva
l
ue_shift_var
i
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ver
d
o
o
laege
lattice_point
.
cc: ex
p
o
r
t
relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaeg
e
lattice_point
.
h: mak
e
sure correct evalu
e
s ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latt
i
ce_point
.
c
c
: add ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
ut
i
l
.
c:
i
nternalize ugly b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
c
c: mul
t
i
_monom/lattice_point
s
: re
t
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up
"exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_b
o
und
.
cc: avoid loss of
p
r
e
c
isi
o
n caused by c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvinok_
b
ound:
o
ptionally
t
a
k
e maximal size
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
barvinok_bound: add --iterate options for ev
a
luat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
lae
g
e
v
e
rify
.
c:
export functions for setting and cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c: evalue_optimum: allow c
o
mputation
o
f o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
bernstein
.
cc:
evalue
2
ex: do
n
't ass
u
me all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc
:
f
i
x
call
t
o
ev
a
l
u
e_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
e{ad
d
,mul}_peri
o
dics:
p
lug memory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
oo
l
aege
evalue_bernstein_coefficients: handle pr
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doola
e
ge
update
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven V
e
rdoolaeg
e
latt
i
c
e
_width
.
c: skip d
i
rections t
h
a
t are id
e
nt
i
ca
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verdoolaege
M
a
ke
f
ile
.
a
m
: add cdd94e-test to distribu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdool
a
ege
omega/o
c
c: optionally
use parker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaeg
e
normali
z
ation
.
c
: skew_to_posit
i
ve
_
orthan
t
: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verd
o
ol
a
eg
e
omega/conve
r
t
.
cc: r
e
lation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
occ
:
add dump f
o
r dumping
i
n bar
v
inok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
b
arvinok_e
n
u
merat
e
_e: opti
o
n
a
ll
y
u
s
e
pa
r
ker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
stan
d
ar
d
_co
n
straints: take constraints instea
d
of p
o
ly
h
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: e
x
tract stan
d
ard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
eg
e
parker/c
o
unt_solu
t
ions
.
cc
:
fix treatm
e
nt
o
f e
x
i
s
te
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
o
laege
c
o
m
pile parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add
p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
e
value
_
derive: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoo
l
a
e
ge
a
d
d some test sets from cases
2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
e
n
a
me barvi
n
ok_maximize to
b
arvin
o
k
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
d
d a test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
eva
l
u
e
_r
a
n
g
e
_
propag
a
ti
o
n: remove
r
e
dundant pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test_bound: record n
u
mber of pol
y
nomial
s
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laeg
e
t
e
s
t_bound: c
o
n
v
ert quasip
o
lynomials
to polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
t
e
st_boun
d
: co
m
pare p
o
ly
n
omial bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verif
y
.
c: optimum: handle input evalu
a
ting to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
verif
y
.
c: e
x
tract evalue_optimum from max
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
a
ege
ver
i
f
y
.
c: ext
r
a
ct common code f
o
r verifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_ra
n
ge_propagati
o
n:
add mono
t
onicity t
e
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vinok_maxi
m
ize:
op
t
i
o
nally
use (basic) range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d some support for de
a
ling wi
t
h evalues that repres
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
barvin
o
k
_enu
m
e
r
a
te: support use of
Eul
e
r-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
im
p
lem
e
nt Bernoulli_sum as conve
r
s
i
on from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
_
eva
l
ue: exploit integer bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
keep track of
number
o
f Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
bernoull
i
.
c: prot
e
ct shared ev
a
lue from modi
f
i
c
a
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Be
r
noulli sum
s
based ex
a
ct enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
ba
r
v
i
nok_c
o
unt_w
i
t
h_options: comp
u
te
(
exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Be
r
noulli_sum_ev
a
lue: optionally
handle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
lattice_p
o
int
.
h
:
exp
o
rt frac
t
ional_
p
art with
C
linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barv
i
no
k
_en
u
merate_w
i
th_o
p
tions: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
Bernoull
i
_sum_
e
va
l
ue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rd
o
ol
a
e
g
e
Bernoulli_sum_evalue: cut off som
e
red
u
ndant par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
Berno
u
ll
i
_s
u
m_evalue: ma
k
e
sure no empty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Ber
n
o
ulli_
s
um_ev
a
l
u
e
:
re
m
ove redund
a
nt
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernou
l
li
.
c
:
minor
ref
a
ctor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um: handle co
n
t
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
Bernoulli
_
sum_evalue: m
a
ke sure enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
for_each_l
o
we
r
_upper_bound: add
a
nother
c
a
l
lback for
.
.
.
commit
|
commitdiff
|
tree
next