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
bernstein: numeric2value: fix typo to allow correct conversion of big values
2008-05-04
S
ven
Verdoolaege
ber
n
stei
n
: n
u
meri
c
2value: fix typo t
o
all
o
w cor
r
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
util
.
c: Factor_
C
ontext: ex
t
racted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doolaege
s
umma
t
e
.
c: barvinok
_
summate: ignore flo
o
rs independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
evalue
.
c:
a
d
d
evalu
e
_
floor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: print barvinok version num
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
doc: update some referen
c
es
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdo
o
laege
Make laurent based summation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
barvinok_summa
t
e: handl
e
quasi-poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
lae
g
e
reduce_
e
valu
e
: extra
c
t out eval
u
e_reduce_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oola
e
ge
e
value
.
c:
evalue_shift_variables
:
all
o
w shifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summate
.
c: handle equalities for al
l
summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
e
r
doolaege
s
u
m
mat
e
.
c
:
barvinok_s
u
mm
a
te: move common parts of summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c
:
evalue_s
u
m:
m
o
v
e sign h
a
ndling into esum_ov
e
r
_
d
o
ma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rd
o
olaege
barvin
o
k
_
e
.
c
c:
e
nume
r
a
t
e_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
summate
.
c:
e
x
tract barvinok_su
m
mate from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olae
g
e
r
ename s
u
mmate
.
c
c
t
o
bar
v
ino
k
_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoolaege
ev
a
l
u
e
.
c: re
d
uce_evalue: reduce flo
o
r wit
h
co
n
stant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
A
dd Laurent ex
p
ansion based sum
m
ation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
eval
u
e
.
c: extend
eequal to ha
n
d
l
e domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
binomi
a
l
.
c:
e
xtract
b
inomial and fa
c
to
r
ial
f
rom
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
p
o
wer
.
h: ext
r
act
from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
la
e
g
e
introduce ev
a
lue
_
shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
e
g
e
l
a
ttice_point
.
cc: export r
e
lative_coordinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
lattice_p
o
int
.
h:
m
ake sure cor
r
e
ct evalu
e
s a
r
e used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
l
a
ttice_point
.
cc: add ceiling fun
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
r
doolaege
util
.
c
:
internalize ug
l
y bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
a
t
t
i
ce_
p
oint
.
cc: multi_m
o
no
m
/la
t
tice_p
o
ints:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
er
d
oolaeg
e
doc
:
cle
a
n
up "expon
e
ntial
substitut
i
on"
se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
t
e
st_bound
.
c
c: avo
i
d loss of precision caused by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
ba
r
vino
k
_b
o
u
nd:
optio
n
ally
t
ake maximal
s
ize of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
barvinok_bound: add -
-
iterat
e
opti
o
n
s for evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolaege
verify
.
c:
e
xport func
t
ions
f
or se
t
t
i
ng
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
dool
a
e
ge
verify
.
c: evalue_opti
m
um: al
l
ow compu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
bernstein
.
c
c
:
eva
l
ue2ex:
d
o
n't assume all period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
bound
.
cc:
f
ix call
t
o evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
olae
g
e
e{add,mul}_per
i
od
i
c
s
:
plug
memo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_b
e
rnstein_coef
f
icien
t
s: han
d
le problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Ve
r
doolaege
lattice_
w
idth
.
c
:
s
kip direct
i
ons that are id
e
ntica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolae
g
e
Makefi
l
e
.
am:
add cdd
9
4e
-
t
e
st to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaeg
e
omega/occ: op
t
i
ona
l
ly use parker for computing cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
no
r
malizatio
n
.
c: skew_to_positive
_
o
r
t
h
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaeg
e
omega/conve
r
t
.
c
c
:
relation2Domain: only col
l
e
ct se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
oc
c
: add dump fo
r
dum
p
i
n
g in barvinok_enum
e
ra
t
e_e f
o
rma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
bar
v
inok_
e
n
u
mer
a
t
e
_e
:
o
p
tionally use p
a
r
k
er'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
stan
d
ard_
c
onstra
i
nts: t
a
k
e constraints in
s
tead of pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdool
a
ege
n
ormalization
.
c: extra
c
t st
a
n
dard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaege
p
a
rker/count_soluti
o
ns
.
cc: fix
treatmen
t
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
er
d
oolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
Add
parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
euler
.
cc:
e
v
a
lue_derive:
ha
n
dle constant pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
a
d
d so
m
e test sets from case
s
2004 and c
c
2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
r
e
name barvinok_
m
aximize to barv
i
nok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a t
e
st for t
e
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_range_propagat
i
o
n: remove redunda
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
test_b
o
und: record num
b
er of polynomia
l
s as
"
size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
te
s
t_bound:
c
onver
t
quasipoly
n
omials t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_bo
u
n
d
: compare polynom
i
a
l bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: o
p
timum:
h
andle input
evaluati
n
g
to n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
ver
i
fy
.
c: e
x
tract evalue_opt
i
mum from maxi
m
ize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
verify
.
c: extract common co
d
e for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_
r
ange_propagation: add
m
o
not
o
n
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
barvi
n
ok_maxim
i
ze: optionally use
(
basi
c
)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some
s
upport for dealing with
evalues that
r
ep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
barvinok_enumerate: su
p
port use of Eul
e
r-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Bern
o
u
lli_s
u
m
as conversi
o
n
f
r
o
m
unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_evalue: explo
i
t in
t
eger bo
u
nds t
o
re
d
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
k
eep track of number of
B
ernoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
berno
u
l
li
.
c: p
r
otect shared evalue f
r
om modific
a
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
t
e
st Bernoulli sums based exac
t
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
barvin
o
k
_
c
o
unt_with_op
t
ion
s
: compute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum_evalue: opti
o
nally
ha
n
dle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
latt
i
ce_point
.
h:
e
xport
f
ra
c
tional_pa
r
t with C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
barvinok_e
n
u
merate_with_opt
i
o
n
s
:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
B
ernoulli_sum_eva
l
ue: handle
e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_su
m
_
e
value: cut
of
f
some
r
edund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
e
rnoulli_sum
_
evalue: make s
u
re no empty partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum
_
ev
a
lue:
remo
v
e
redundant
c
o
n
strai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ber
n
oulli
.
c
:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoola
e
ge
B
e
rnoulli_sum: handle contex
t
c
o
n
s
traint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
fo
r
_each_lower_upper_bound: add
a
n
o
ther
callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
verify
.
c: adjust d
e
f
a
ult ran
g
e
to context
if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
ege
euler
.
c
c: summate_over
_
domain: only co
n
s
i
der
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
p
aram
_
util
.
c
:
expor
t
Par
a
m_Vertex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
P
aram
_
P
olyhedron_Facet: p
a
ss
fac
e
t defining
c
o
n
stra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
genfun
.
cc: parallel_po
l
ytopes: don
'
t
b
other handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erd
o
olaege
evalue_
s
pli
t
_do
m
ain
s
_
int
o
_orthants: d
o
n
't re
d
uc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
e
value_read:
only a
l
low
t
erms to cross newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_
r
ea
d
: only a
c
cept implicit
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_read: ac
c
e
pt cons
t
raints con
t
a
i
ning
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
lae
g
e
evalue_bernstein_co
e
fficients: e
n
sure result
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
l
a
e
g
e
be
r
nstein: piecewise
_
lst: cor
r
e
c
tly
p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ver
d
oolaege
r
emove_all_equa
l
ities: keep rem
o
ving
p
a
r
ameter e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
u
p
date po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
g
e
d
o
c: c
o
nsist
e
nt use of Ke
v
in's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: up
d
ate now pu
b
lis
h
ed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
for_ea
c
h
_
lo
w
er_upper_boun
d
:
allo
w
absence
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_parti
t
i
ons:
try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdo
o
laeg
e
evalue_re
a
d_partition: put parti
t
ions b
a
ck in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value:
reduce_evalue: a
d
d n
o
te on
s
om
e
missed
o
p
p
o
rtunities
.
.
.
commit
|
commitdiff
|
tree
next