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
configure: use correct header files in case of bundled polylib
2008-06-12
Sven Verdoolaeg
e
configure: use correct header files in ca
s
e
o
f bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdool
a
ege
con
f
ig
u
re
.
i
n
: fix c
h
eck fo
r
co
d
e
_gen library ava
i
lability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
omega/o
c
c: on
l
y o
p
en debug output file i
f
the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
omeg
a
/Makef
i
le
.
am: avoid b
i
son's
-
o
option
as
nam
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
range
.
cc: add missing inc
l
ude of all
o
ca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoo
l
aege
add edito
r
s
to I
T
SL paper
s
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
erdool
a
ege
use
a
r
gp for a
r
gum
e
nt parsing
i
n barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
rdoolae
g
e
prop
e
rly handle NTL
C
P
PFLAGS
and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdoolaege
bas
i
s_reduc
t
ion_temp
l
.
c:
add missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
bar
v
inok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
a
d
d so
m
e tes
t
sets fro
m
it
s
l20
0
8 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
doc:
a
dd latest (acc
e
pted) pub
l
icatio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
M
ak
e
file
.
am: add sec
t
ion_arra
y
.
h to
d
ist
r
i
bution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
normaliza
t
ion
.
c:
c
ompute_sh
i
ft
s
: rem
o
v
e
red
u
ndant return
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oolaeg
e
move F
r
ee_ParamNames pol
y
lib and make param
n
ames con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add interface t
o
b
arvinok_s
u
mm
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ex
_
conve
r
t
.
cc: extract ex2eval
u
e from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
doc: document
m
o
re --summatio
n
method
s
f
or
b
a
rvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaeg
e
o
ptio
n
s
.
c
: re
n
ame "
b
ar
v
inok"
s
ummation method
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
M
akefile
.
am
:
check-euler: also check l
a
urent
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
s
ummate
.
c: barvinok_summate:
handle products
o
f polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
la
e
ge
evalue
.
c:
e
xport evalue_reo
r
de
r
_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
ae
g
e
bernstein: nu
m
eric2value: fi
x
typo to a
l
low c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
aege
util
.
c: Factor_Context: extracted
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummat
e
.
c:
barvinok
_
summat
e
:
ignore floors
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
e
value
.
c
:
a
d
d
e
value_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
omega/occ: print ba
r
vinok ver
s
ion
n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
d
o
c:
u
pdate some references
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oo
l
aege
M
ake laurent bas
e
d s
u
m
m
a
tion the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
summate
.
c: barvinok_
s
ummate
:
h
a
ndle quasi
-
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue: ex
t
ract out eval
u
e_reduce_s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolaege
evalue
.
c:
evalue_sh
i
f
t
_variab
l
e
s
:
al
l
ow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summa
t
e
.
c
:
handl
e
equal
i
ties for
all summati
o
n
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoola
e
ge
su
m
mate
.
c:
b
ar
v
inok_summate: m
o
ve com
m
on par
t
s of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
evalue
.
c:
e
value_sum: move sign handling into
e
su
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barv
i
nok_e
.
cc:
enu
m
erat
e
_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
summate
.
c: extr
a
ct
b
a
r
vin
o
k_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verd
o
olaeg
e
rename summate
.
c
c
to barv
i
nok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
olaeg
e
evalu
e
.
c
:
reduce_eval
u
e
: reduce floo
r
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
Add Laure
n
t
e
xp
a
nsion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
e
value
.
c: extend eequ
a
l
t
o handle dom
a
i
ns and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
binomial
.
c: extract
b
inomial
a
nd
f
actorial from
e
u
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
p
o
wer
.
h
:
extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n V
e
rdoolaege
introduce evalue_s
h
ift_va
r
ia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_point
.
c
c: exp
o
r
t
re
l
a
t
ive_coor
d
inate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erd
o
olaege
lattic
e
_point
.
h
: make sure corr
e
ct
ev
a
lues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
latti
c
e_point
.
c
c
: add
ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
u
t
i
l
.
c: inter
n
al
i
ze ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ve
r
do
o
laeg
e
lattice_point
.
cc: multi_monom
/
l
at
t
ice
_
points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoo
l
aege
d
o
c:
c
l
ean up
"
e
xpone
n
ti
a
l substi
t
ution"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolaege
t
e
s
t_bo
u
nd
.
cc
:
avoid
l
oss of prec
i
sion
caused
by c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
o
laege
barv
i
nok_bound: o
p
tionally
take max
i
mal
s
ize
o
f do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoola
e
ge
barvino
k
_bound: add --iterate o
p
t
i
ons
f
or evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdo
o
la
e
ge
verify
.
c: export fun
c
t
i
ons for setting
a
n
d
cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optimum: allow
c
omputation of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
be
r
ns
t
e
i
n
.
cc: evalue2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
b
o
und
.
c
c: fix call to
e
value_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
l
a
ege
e{ad
d
,mul}
_
p
eriodics: pl
u
g memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
evalu
e
_berns
t
ei
n
_
coefficients: han
d
le problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update p
o
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolae
g
e
lat
t
ice_width
.
c
: skip direction
s
that are id
e
ntica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Makefile
.
am:
a
d
d cdd94e-tes
t
to di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
erdo
o
laege
o
m
e
ga
/
occ: optionally use
p
a
rker for comp
u
t
ing
cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
n
orma
l
ization
.
c: sk
e
w_to_positive_orthan
t
: pro
p
er
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ver
d
oolaege
omega/convert
.
cc: relatio
n
2Domain: onl
y
c
o
llect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ver
d
oolaege
occ:
add dump for dumping
in barvi
n
ok_enumerate_e
f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barv
i
nok_enumerate_e: optionally
u
s
e
parker's
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Ve
r
doolaege
standard_constrai
n
t
s
: take constraints instea
d
of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normalization
.
c: extract
s
tandard_
c
onstraints
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
a
e
g
e
par
k
e
r
/count
_
solutions
.
cc: f
i
x t
r
ea
t
ment of existentia
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
eu
l
er
.
cc: evalue_d
e
riv
e
: ha
n
dle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
add
s
ome test sets from cases
2
00
4
and
c
c
2
005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
rename
b
arvinok_maximize to b
a
rvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
evalue_range
_
pro
p
a
gati
o
n: r
e
move re
d
u
n
d
a
nt polyn
o
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_bound:
re
c
or
d
number of polynom
i
als as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
test_bound: conv
e
r
t
quasipolynomials to
pol
y
no
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_
b
ound: compare pol
y
nomial
b
ound a
l
gor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ve
r
ify
.
c: optim
u
m: ha
n
dle in
p
u
t
ev
a
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
doolaege
verify
.
c
: extract
e
v
alue
_
optimum fr
o
m maxim
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: ex
t
ract c
o
mmon code
f
or ve
r
i
f
yin
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
value_range_propa
g
ation: add mon
o
tonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_maximize: optionally use (basic) range propagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
eg
e
A
d
d
some support for
dealing with
ev
a
lues that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
barv
i
nok_
e
nu
m
erate: support use of Euler-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
eg
e
i
mplement Ber
n
o
u
lli_su
m
as co
n
v
ersion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernou
l
li_sum
_
e
v
alue
:
exp
l
oit integer
b
ou
n
ds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
keep track of
number of B
e
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
ernoul
l
i
.
c: protect sha
r
ed
evalue from modif
i
catio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
te
s
t Bernoul
l
i
sums based e
x
act
e
numer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_count_with_opti
o
n
s
: c
o
mpute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
er
n
oulli_sum_e
v
alue: opti
o
nally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
lattice_point
.
h: export fractiona
l
_part with C
l
ink
a
ge
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
bar
v
inok_e
n
umerate_with_opti
o
ns: compute (ex
a
ct) B
e
r
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_eva
l
u
e
:
ha
n
dle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernou
l
li_sum_ev
a
lue: cut off some redundant pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli
_
sum_eva
l
ue
:
m
ake sure no empty p
a
rtitio
n
s
.
.
.
commit
|
commitdiff
|
tree
next