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 typos
2008-07-30
Sven Verdoola
e
ge
doc: fix ty
p
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaeg
e
add
m
is
s
ing
alg
o
rithm
include for
f
in
d
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n Verd
o
olaege
F
ix out-of-bo
u
n
ds er
r
or
i
n Laurent expa
n
si
o
n based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en
Verdool
a
eg
e
Include empty
.
c fi
l
e in libbarvin
o
k if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoo
l
aege
c
orrectly
reflect
extr
a
sources
f
o
r
l
ibbarvin
o
k
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
fix typo in com
m
ent
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
li
b
/string
.
in
.
h
: c
o
py __restrict
h
a
nd
l
ing from
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verd
o
ol
a
ege
update gnul
i
b function to
last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
e
numerator
:
:handle:
r
eplace inco
r
r
e
ct
delete
by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
S
v
e
n Verdoolaege
update
p
iplib
f
or corre
c
ted Urs_parms hand
l
i
n
g
commit
|
commitdiff
|
tree
2008-06-12
S
v
e
n
Verdoolaege
c
onfigure: use correct h
e
ader files in case of
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
o
m
ega/occ:
o
nly open debug
o
utpu
t
file if there
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
add ed
i
tors to ITSL paper
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
bar
v
inok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
a
d
d
some t
e
s
t
se
t
s
f
rom i
t
sl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolae
g
e
doc: add la
t
est (accepted)
publ
i
cations
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
Makefile
.
a
m
: add s
e
ction
_
array
.
h to dis
t
ributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
normalization
.
c: com
p
ute_shifts
:
remove
r
edunda
n
t return
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
olaege
move Free_Para
m
Names po
l
ylib and make p
a
ram
n
ames
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add interfa
c
e to
ba
r
vinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_conve
r
t
.
cc: extract ex2ev
a
lue from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc: docum
e
n
t
more --summation me
t
h
ods for barv
i
nok_
s
umm
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
options
.
c: rename
"
barvino
k
" summ
a
t
ion
method to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdo
o
laeg
e
Makefile
.
am
:
c
h
eck-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaeg
e
summate
.
c
:
b
a
r
v
i
nok_sum
m
ate: ha
n
d
l
e pro
d
ucts of po
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
eval
u
e
.
c
: export eval
u
e_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
ber
n
stein: numeric2val
u
e:
fix
t
y
po to allow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdool
a
ege
u
t
il
.
c: Factor
_
Context: ext
r
act
e
d from barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doolaege
summa
t
e
.
c: barvinok_s
u
m
m
ate: ign
o
r
e floors
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doolaege
evalue
.
c
:
a
dd evalue_
f
lo
o
r2
f
rac
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Ve
r
doolaeg
e
ome
g
a/occ: print
b
arvinok ve
r
sio
n
n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: up
d
ate some refer
e
n
ces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
e
g
e
Make
laurent based summation t
h
e default
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
summate
.
c:
b
arv
i
nok_summa
t
e: handle quasi
-
poly
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
re
d
uce_evalue:
extract out evalue_r
e
duce
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
l
u
e
.
c: evalue_shift_variables:
a
l
low shifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: handle equalities
f
o
r
a
ll su
m
mation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summate
.
c: barvinok
_
summate: move
c
ommon parts of summ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doolaege
evalue
.
c
: evalu
e
_sum: move sign handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
d
ool
a
e
ge
bar
v
ino
k
_e
.
c
c: enumerate_
s
um: use b
a
rvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_summ
a
te from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
r
e
name summate
.
c
c
to barv
i
no
k
_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doolaege
evalue
.
c: reduc
e
_ev
a
lue: reduce
f
l
oor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
Add Laur
e
nt
ex
p
ansio
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
e
v
a
l
ue
.
c
:
extend eeq
u
a
l
t
o handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
e
ge
b
i
nomial
.
c: extract binomial and factori
a
l
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
p
ower
.
h: ext
r
a
c
t from eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
ege
introduce evalue_shi
f
t_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoola
e
ge
lattice
_
point
.
cc: export r
e
lative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_
p
oint
.
h: make s
u
re correct evalues
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
la
t
ti
c
e
_point
.
cc: add ceiling functio
n
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Ve
r
doola
e
ge
u
ti
l
.
c: int
e
rnalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoolaege
l
a
tt
i
ce_p
o
int
.
cc: m
u
lti_monom/lattice_
p
o
i
nts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erd
o
o
l
a
ege
d
oc:
cle
a
n up
"exponential
s
ubstitution" sec
t
io
n
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
dool
a
ege
test_boun
d
.
cc: a
v
oid loss of p
r
ecisi
o
n caused by
conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoo
l
aege
b
arvinok_
b
ound: optio
n
ally
t
ake maximal si
z
e
of domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvinok_bound
:
add --iterate optio
n
s for e
v
aluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
verif
y
.
c
:
exp
o
r
t
funct
i
ons
for setti
n
g and cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoolaege
v
e
rify
.
c:
evalue_o
p
timum
:
allow computatio
n
of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
bernst
e
in
.
cc
:
evalue2e
x
: don't assum
e
all p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
b
o
un
d
.
cc:
fix ca
l
l t
o
evalue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mu
l
}_peri
o
dics: plug memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
evalue_bern
s
tein
_
coefficients:
h
and
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en V
e
rdoolaege
lattice_width
.
c: skip di
r
ectio
n
s that are identi
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Mak
e
f
ile
.
am: add cdd94e-te
s
t to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
aeg
e
omega/occ: optionally
u
se
p
arker
for
comput
i
ng ca
r
dinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaeg
e
normalization
.
c: sk
e
w_to_positive_or
t
hant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
omega
/
conv
e
r
t
.
cc: relation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
d
oolae
g
e
o
c
c: add d
u
mp
f
or
d
umpi
n
g
in barvinok_enum
e
rate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaeg
e
barvin
o
k_enumerat
e
_e: optiona
l
ly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
s
t
and
a
rd_constrai
n
ts:
t
ake constraints instea
d
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
zation
.
c: extrac
t
standard_c
o
nstra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker
/
co
u
nt_solut
i
ons
.
cc: fix treatment
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doo
l
aege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
eg
e
Add
p
ark
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc:
e
value_derive: handle co
n
s
ta
n
t pol
y
nomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
d
d some te
s
t sets from cases 20
0
4
and cc
2
005
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
rename
barvi
n
ok_
m
a
ximize to b
a
r
v
inok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaeg
e
e
v
alue
_
ra
n
g
e
_pro
p
agatio
n
:
r
e
mov
e
redu
n
dant
p
o
l
ynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
lae
g
e
test
_
bound: r
e
cord number of pol
y
nomi
a
ls as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
test_bound
:
co
n
vert q
u
asipolynomials t
o
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
ege
t
est_
b
o
un
d
: compare
polynom
i
al
b
o
und algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
verif
y
.
c: opti
m
um: h
a
ndle input evaluating
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
ve
r
ify
.
c
: extract
e
v
a
lue_op
t
imu
m
fro
m
max
i
m
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolae
g
e
verify
.
c: e
x
tract common cod
e
for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_pr
o
pagati
o
n:
a
dd
monot
o
nic
i
ty
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_maximize
:
optional
l
y use (b
a
sic)
r
ange pr
o
pagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
s
ome support for
d
ealing
wit
h
evalues
that
repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
b
a
rvinok_enumerate: support us
e
o
f Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imp
l
ement
Bernou
l
li_sum a
s
conversio
n
fr
o
m unw
e
ig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
Bernoulli_sum_eval
u
e
:
e
x
p
loit
i
n
tege
r
b
ounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ke
e
p track of number
o
f Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
berno
u
lli
.
c
: pr
o
te
c
t shared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t Bernoulli sum
s
based exact enum
e
r
ati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
co
u
nt
_
with_options:
c
ompute (exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
l
aege
Bernoulli_sum_ev
a
l
u
e: option
a
ll
y
handle fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
lattice_
p
o
int
.
h: ex
p
or
t
f
r
a
c
t
ion
a
l_p
a
r
t
w
i
th C
l
inkage
commit
|
commitdiff
|
tree
next