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
summate.c: barvinok_summate: handle quasi-polynomials for euler and laurent
2008-05-03
S
v
en Verdoolaege
su
m
mate
.
c: barv
i
n
ok
_
summate:
handle quasi-p
o
lynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olae
g
e
reduce_e
v
alue: extract o
u
t
evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaeg
e
e
value
.
c: evalue_shift_variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
su
m
m
a
t
e
.
c: handle e
q
u
a
lities for all s
u
mmation algorithms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdo
o
l
aege
summate
.
c: barvinok_summa
t
e: move co
m
mo
n
parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
evalue
.
c: eva
l
u
e_sum: move sign ha
n
dling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
barvi
n
o
k
_e
.
cc: enumerate_sum: use barvinok
_
s
um
m
at
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c: extract barvino
k
_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
e
name summate
.
cc to barvinok
_
sum
m
ate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
evalu
e
.
c:
r
educe
_
e
v
a
l
ue: re
d
u
c
e flo
o
r wit
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
A
dd Laur
e
nt expansion based s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolae
g
e
evalue
.
c: extend ee
q
ual to handle d
o
mains and
N
a
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
o
olaege
binomial
.
c: extract binomi
a
l an
d
factorial from e
u
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doo
l
aege
power
.
h:
e
xtra
c
t f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
oolaege
introduce
e
value_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolae
g
e
l
a
t
tice_poi
n
t
.
cc: export relative_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
lattice_
p
oint
.
h
: make sure co
r
re
c
t eval
u
es are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
lat
t
i
c
e
_point
.
cc: add
ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
r
doola
e
ge
util
.
c: internalize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
erd
o
o
l
ae
g
e
lat
t
ice_point
.
cc:
m
ulti_monom/lattice_point
s
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Ve
r
d
o
ol
a
ege
d
oc:
c
l
ean up
"
exponential substitutio
n
" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
test_bound
.
cc: avoid loss of
pre
c
ision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
bar
v
inok_bound: optionally take maximal
s
ize of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
barvinok_bound: add --iterate o
p
t
i
ons for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoola
e
ge
verif
y
.
c: export functi
o
n
s for setti
n
g
a
n
d
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
ify
.
c: eval
u
e_optimum: allow computation of opti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
b
e
rn
s
tein
.
cc
:
evalue
2
ex: don't assume all p
e
r
i
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
bound
.
cc: fix call
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
e{add,mul}_periodics: plug m
e
m
ory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
evalue_bernstein_coeffi
c
ient
s
: handle pro
b
l
ems
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olaege
l
attice_width
.
c:
s
kip dire
c
tions that are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Makef
i
le
.
a
m
: ad
d
cdd9
4
e-test to distri
b
uti
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
omega/o
c
c: optionally use par
k
er for co
m
putin
g
c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rmalization
.
c: skew_t
o
_
positi
v
e_orthan
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
o
m
ega/convert
.
cc:
rela
t
ion2
D
omain: on
l
y collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
occ: add
d
ump for dumping in barv
i
nok_enu
m
erate_e
f
o
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
d
oolae
g
e
barvinok_enumerate_e: optionally use
p
a
r
ker
'
s metho
d
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
standard_constraints: take con
s
traints i
n
stead
o
f polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
norm
a
l
i
zation
.
c: e
x
tract standa
r
d_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
parker/
c
ount_s
o
lutions
.
cc: f
i
x treatm
e
nt of existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaeg
e
compile p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
eul
e
r
.
cc:
evalue_derive:
handle const
a
n
t
polyno
m
ial
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
ad
d
so
m
e test sets
from cases 2004
a
nd
cc
2
005
p
apers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
rena
m
e barvinok_maximize to b
a
rvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
la
e
ge
add a
test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
evalue
_
range_propagation: remove redundant polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test_
b
ound:
recor
d
number of polynomials as
"
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
a
e
ge
t
est_bound: c
o
nvert quasip
o
lynomials to
p
olynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound
:
compare poly
n
omial bo
u
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaeg
e
verify
.
c: optimum:
h
a
n
dle i
n
put evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
v
erify
.
c:
e
xtrac
t
evalue_optimum f
r
om maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
veri
f
y
.
c: extract common
c
ode f
o
r ve
r
ifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaeg
e
evalue_
r
ange_propag
a
ti
o
n:
a
dd monoto
n
icity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
m
axim
i
ze: optionally use (basic) r
a
nge propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaeg
e
Add
s
ome support fo
r
de
a
ling with eva
l
ues tha
t
represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
b
ar
v
inok_enumer
a
te:
s
upport use of Eu
l
er-
M
acla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement B
e
rnoulli_sum as conversion from unw
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_evalue: exp
l
oi
t
integer
bounds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
keep track of number of Ber
n
oull
i
sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
bernoulli
.
c: protect shared evalue from mod
i
fications
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
t
es
t
Bernoul
l
i
sum
s
b
a
se
d
exact enu
m
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
barvinok_count_with_
o
ptio
n
s: compute (exact)
B
ernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eva
l
ue: optionall
y
handl
e
fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aeg
e
lattice_point
.
h: export fr
a
c
tional_part
w
i
t
h C l
i
n
k
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_en
u
merat
e
_with_o
p
tio
n
s:
com
p
u
t
e (ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noul
l
i_
s
um_evalue: han
d
le
equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
no
u
lli_su
m
_evalue: cut
off s
o
m
e
redunda
n
t
p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
B
ernoulli_s
u
m_e
v
alue:
mak
e
sur
e
no
e
mpty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_s
u
m_evalue:
r
emove redun
d
ant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
be
r
noulli
.
c:
m
inor refac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ol
a
e
g
e
Bernoulli_su
m
:
ha
n
d
le co
n
text
c
onst
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
Berno
u
l
li_sum_eval
u
e
:
ma
k
e sure enough me
m
ory is alloca
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
fo
r
_
each_lower_upper_bo
u
n
d: add
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
v
erify
.
c: adjust default range t
o
context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
uler
.
cc:
summate_ove
r
_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
param_
u
til
.
c: expo
r
t Param_Vertex_Set
_
F
acet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
Param_P
o
lyhedron_Facet: pass facet defining constra
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
ool
a
ege
g
e
n
fun
.
cc:
p
a
ral
l
el_polytop
e
s
:
don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ev
a
lu
e
_split_d
o
ma
i
ns_into_orthants
:
don't red
u
ce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
evalue_read: on
l
y allow terms to cr
o
ss
n
e
w
l
i
nes insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
e
ge
evalue
_
read: only acc
e
pt implicit
multip
l
icatio
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_read:
ac
c
e
p
t cons
t
raints c
o
n
t
a
i
ning "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_bernstein_coefficients:
ensure
result partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
bernstein: piece
w
ise_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaege
remove_all_
e
q
ualities: ke
e
p remov
i
n
g para
m
ete
r
equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoo
l
aege
d
o
c: consistent u
s
e of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
doc: updat
e
now
publi
s
hed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
for_each_lower_upper_boun
d
:
all
o
w
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_partitions: tr
y
to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
evalue_r
e
ad_partition: put
partitions back in
t
he sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
evalue: reduce_evalue: add
note
o
n
s
ome missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
aege
be
r
nst
e
i
n
.
cc:
handle i
n
pu
t
with unions
+ r
e
lati
o
n
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
maximize
.
cc: d
e
al with unio
n
s in
input during ve
r
i
f
i
catio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_substitute:
prope
r
l
y
handle
r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value
.
c: clean up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoo
l
aege
evalue_
r
ead
:
correctly
r
ead variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue
_
r
e
a
d
: accept
top level "r
e
lation"
commit
|
commitdiff
|
tree
next