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
NTL_QQ.cc: add stdlib include for abort hidden in NTL_vector_impl
2008-08-28
Sven Verdoolaeg
e
NTL_QQ
.
cc
:
a
d
d std
l
ib include for abort hidden in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
remove g
n
ulib link-war
n
ing module comple
t
ely
commit
|
commitdiff
|
tree
2008-08-24
Sven V
e
rdoolaege
up
d
ate pol
y
lib with extra field in
Para
m
_P
o
lyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
Verdool
a
ege
doc: f
i
x
typ
o
s
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdo
o
laege
update gnulib func
t
ion to las
t
pre
-
GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verdoolaege
enumer
a
tor::handle: replace inco
r
re
c
t delete by
free
commit
|
commitdiff
|
tree
2008-06-17
Sven
V
erdoola
e
g
e
update p
i
plib for corrected Ur
s
_
parms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Ver
d
oola
e
ge
c
o
nfi
g
ure: use corre
c
t heade
r
f
i
les
i
n case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
r
d
oolaege
omega/occ: only open debug
output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n Verdoo
l
aege
d
o
c:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
e
r
d
oolaege
add editors to
I
TSL pa
p
e
rs
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ba
r
vin
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
o
o
laeg
e
add s
o
me
test
s
ets f
r
om
i
t
s
l2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rdool
a
ege
d
oc: add latest (accept
e
d) publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
Makefile
.
am: add section_arra
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
doolaege
normalization
.
c: co
m
pute
_
sh
i
fts
:
re
m
ove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
move Fre
e
_ParamNames pol
y
li
b
and m
a
ke
param
n
am
e
s
c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
do
o
laege
o
c
c: add interface to barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
olaege
ex_
c
onvert
.
c
c: extract ex2evalue f
r
om range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaege
doc:
d
o
cumen
t
mor
e
--summ
a
tion m
e
thods
for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
e
g
e
opti
o
ns
.
c: rename
"
b
a
rvinok" sum
m
ation m
e
thod to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoo
l
aeg
e
Makefile
.
am: check-eule
r
: also c
h
e
ck laure
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
ol
a
ege
summate
.
c: b
a
rvi
n
o
k
_summate: ha
n
dle products o
f
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoola
e
ge
evalue
.
c
: export evalue_r
e
order_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
bernstein: numeric2value: fix typo to
a
llo
w
c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
r
d
oolaege
util
.
c:
F
acto
r
_Con
t
e
xt: extra
c
ted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
summ
a
te
.
c: barvinok_s
u
m
m
at
e
:
i
g
n
o
re f
l
oo
r
s
in
d
e
p
e
nde
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c:
a
d
d e
v
alue
_
floor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ome
g
a/oc
c
: print barvinok
v
ersion numbe
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
do
c
: updat
e
some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
Make laurent based summ
a
tion the de
f
a
u
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
summate
.
c: barvinok_summate:
handle qua
s
i
-
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
olaege
reduce_e
v
al
u
e: ext
r
act o
u
t
e
value_reduc
e
_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
e
value
.
c: evalue_shift_var
i
ables: a
l
low
shifting o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oola
e
ge
summate
.
c: han
d
le equalities for all
s
umm
a
tio
n
a
l
gorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
s
u
mm
a
te
.
c: barv
i
nok_summat
e
: move co
m
mo
n
parts of s
u
mma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
evalue
.
c: evalue
_
sum: move sign handling into es
u
m_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
olaege
barvino
k
_e
.
c
c
:
enumerate_sum:
u
se bar
v
inok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
ege
summate
.
c
:
extr
a
ct barvi
n
ok_summa
t
e from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
rename summ
a
te
.
cc to barvi
n
ok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaeg
e
evalue
.
c: r
e
duce_ev
a
lue: reduce f
l
oor
w
i
th c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Add La
u
rent
e
xpansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
evalue
.
c:
e
xtend eequal t
o
han
d
le dom
a
ins
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
binomial
.
c: extra
c
t b
i
nomial an
d
factoria
l
from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verd
o
olaege
po
w
er
.
h: extract
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
oduce eva
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
l
a
ttice_point
.
cc: export
re
l
a
tive_coordina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
latti
c
e_
p
oin
t
.
h: make sure cor
r
e
c
t eva
l
ue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoola
e
ge
lat
t
i
ce_point
.
cc: add ce
i
ling fun
c
t
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
la
e
ge
util
.
c: in
t
er
n
a
l
i
ze ugly bv
_
cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Ver
d
oolaege
lat
t
ice_point
.
c
c
: multi_monom/l
a
ttice_point
s
: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoolaege
doc: clean up "exp
o
n
e
nt
i
al su
b
stitut
i
on" sec
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
test_
b
o
und
.
cc: avoid loss
o
f
pr
e
cision caused by co
n
vers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
ba
r
vinok_bou
n
d: op
t
ionally
t
ake
m
ax
i
m
al size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound:
add --iterate options for
e
v
a
l
uat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
verify
.
c: ex
p
ort f
u
nctions
f
or setting and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optimum: a
l
low co
m
putation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ve
r
doolaege
ber
n
stein
.
cc: eval
u
e2
e
x: don't a
s
s
u
me
a
l
l
perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaeg
e
bound
.
cc: fix call to eval
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
e{add,mul}_periodics: plug memo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
evalue_bernst
e
in_coefficients: handl
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
update
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoolaege
lat
t
ice_
w
i
dth
.
c: skip d
i
rections that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verdoolaege
Makefile
.
am: add cdd94e-test to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
o
m
e
g
a
/
occ: o
p
tional
l
y use
p
a
rker for computing cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaege
n
ormalization
.
c: skew_to_
p
ositive_orthant: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
o
mega/co
n
vert
.
cc: relati
o
n2Domain:
only c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoo
l
aege
occ: add du
m
p
f
or du
m
p
i
ng in ba
r
v
in
o
k_enu
m
erate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
b
arvinok_enumerate_e
:
op
t
ionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoola
e
ge
standard_con
s
t
r
aints:
t
ake
c
o
n
straints inste
a
d of polyh
e
dr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normalization
.
c: extract sta
n
dard_c
o
nstraint
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
p
arker/count_solutions
.
cc: fix treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Ver
d
oolaege
co
m
pile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
dool
a
ege
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
la
e
ge
euler
.
c
c
: evalue_deri
v
e:
handl
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
add some test
s
ets
f
rom cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
rename barv
i
nok_maximize to bar
v
inok
_
b
o
un
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add a test
f
or test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doo
l
ae
g
e
evalue_range_
p
ropagation: remov
e
redunda
n
t polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st_bou
n
d: record number of poly
n
omials as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound
:
conve
r
t quasipolynomials
t
o
p
olynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
tes
t
_bound: compare polyn
o
mial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: optimum: handle inpu
t
evaluating to
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
v
er
i
fy
.
c
: extract evalue_o
p
timu
m
f
r
om maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
verify
.
c: ex
t
ract c
o
mmon code for v
e
r
ifying op
e
ratio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
r
a
n
ge_propagation: add
m
onotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
barvinok
_
maximize: optiona
l
l
y
use
(basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Add some support for
dealing with
e
val
u
e
s
tha
t
r
ep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
nok_e
n
u
m
era
t
e: support us
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
imp
l
em
e
nt Bernoulli_sum as conversi
o
n from u
n
weigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli
_
s
u
m_evalue: e
x
ploit integer bo
u
nds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdool
a
ege
k
eep track of numb
e
r of Bernoul
l
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoull
i
.
c
:
protect shared evalue from
m
odif
i
c
a
t
i
ons
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdool
a
ege
test Bernoulli su
m
s
based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
barv
i
nok_count_
w
ith_options
:
compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_evalue:
o
p
tionally handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaeg
e
lat
t
ice_point
.
h: export fr
a
ctiona
l
_pa
r
t
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_
e
n
u
merate_wi
t
h_o
p
tion
s
: comp
u
te (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bern
o
ulli
_
su
m
_eva
l
ue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_evalu
e
: c
u
t off some
redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
next