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
evalue.c: export evalue_reorder_terms
2008-05-04
Sven
V
erdoolaege
evalue
.
c: export eval
u
e_reorder_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolae
g
e
bernstein: numeric2value: fix ty
p
o to allow
corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Ve
r
doolaege
util
.
c: Factor_Conte
x
t
: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
summat
e
.
c: barvinok
_
summate:
i
gnore flo
o
r
s
inde
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaeg
e
evalue
.
c:
add evalue_flo
o
r2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
omega/occ: print barvi
n
ok
version number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
do
c
: upd
a
te some
references
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
Ma
k
e
laurent bas
e
d
su
m
mation the
default
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
rdoolaege
su
m
mate
.
c
:
barvin
o
k_
s
ummate: handle
q
uasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
a
ege
reduce_evalue: extract out
e
val
u
e_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
evalue
.
c: evalue_shift_v
a
riables
:
a
llo
w
s
hifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
t
e
.
c: hand
l
e
equal
i
t
i
e
s
fo
r
all sum
m
ation
al
g
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c: barvinok_summate
:
move common
p
a
rts of
summatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c: evalue_sum: move sign
h
andl
i
n
g
into esum_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolae
g
e
barvin
o
k_e
.
cc: enume
r
ate_
s
um: use barvinok_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c:
e
xt
r
act barvinok_summate
f
rom ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
ename summa
t
e
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: re
d
uce_evalue: reduce floor wi
t
h constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
A
dd Laurent expansion
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdo
o
laege
b
i
n
o
mi
a
l
.
c: e
x
tract binomi
a
l and
f
actorial from eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
power
.
h
: ex
t
ract from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
introd
u
ce eva
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolae
g
e
lattice_poi
n
t
.
cc: export
r
elative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
att
i
ce_p
o
i
nt
.
h: m
a
k
e
sure
co
r
rect evalues
a
r
e u
s
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rdoolaege
lattice_poi
n
t
.
cc:
add
ceiling fun
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdo
o
lae
g
e
u
til
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaeg
e
latti
c
e_p
o
int
.
cc: mul
t
i_monom/
l
attice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
d
o
c
:
clean up "exponen
t
ial substitution"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
tes
t
_
bound
.
cc:
avoid loss of pr
e
cis
i
on caused
b
y c
o
n
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoola
e
g
e
bar
v
i
n
ok_bound: op
t
ionally take m
a
ximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erd
o
olaeg
e
bar
v
inok_bound: add --iterate options f
o
r evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verif
y
.
c: export functions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c: evalue_optimu
m
: allow
c
omp
u
ta
t
io
n
of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: evalue2ex: d
o
n't assume a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
olaege
bou
n
d
.
cc: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
e{add,mul
}
_
p
e
r
iod
i
cs: plu
g
memory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
g
e
ev
a
l
u
e_bernste
i
n
_
coef
f
icient
s
: h
a
ndle p
r
ob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattic
e
_w
i
dth
.
c: ski
p
directions
t
hat are
i
de
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add cdd94e
-
test to distribu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
ome
g
a/occ: op
t
i
onally u
s
e
parker for compu
t
in
g
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
n
ormali
z
ation
.
c: skew_t
o
_posit
i
ve_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/conv
e
rt
.
cc: relation2Domain: onl
y
coll
e
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
ege
occ: a
d
d dump for dumping
i
n ba
r
vinok_enume
r
ate_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvi
n
ok_
e
numerate_e: opti
o
nally us
e
park
e
r's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standard
_
constraints:
t
ake
c
onstraint
s
in
s
tead of
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliza
t
ion
.
c: extract standard_constrai
n
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n Verdoolaege
parker/count_solut
i
ons
.
cc: fix tre
a
tment o
f
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoola
e
ge
compil
e
park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
l
aege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
euler
.
cc: evalue_derive: ha
n
d
l
e co
n
stant polyno
m
ia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
ege
a
dd some test
s
e
t
s
from cases
2
004 and c
c
2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
ge
rename barvinok_maximize to
b
arvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
add a
test fo
r
test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
e
v
alue_range_propagation: remov
e
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
tes
t
_
bound: record
number of polynomials as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoola
e
ge
t
e
s
t
_bound: conver
t
quasipolynomi
a
l
s
to polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
t
e
st_bound
:
c
o
mpa
r
e p
o
l
yn
o
mial boun
d
algorit
h
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
v
erif
y
.
c: opt
i
mum: handle inp
u
t evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
doolae
g
e
verify
.
c: ext
r
act evalue_optimum from
maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
e
x
tract c
o
mm
o
n
code for verifying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
eva
l
ue_range_propa
g
ati
o
n: ad
d
mo
n
otonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
b
arvinok_
m
aximize:
op
t
ionally use (basi
c
)
r
a
nge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Add some support for d
e
a
ling with eva
l
ues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate: su
p
port u
s
e of Eule
r
-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Be
r
noulli_sum as con
v
ersio
n
f
rom unweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_sum_evalue: ex
p
loit
i
n
teg
e
r bounds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
k
e
e
p
track of number of Bern
o
ulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
b
ernou
l
li
.
c: protect
s
hared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
te
s
t
Bernoulli su
m
s base
d
exa
c
t enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
bar
v
i
n
o
k
_count_wi
t
h_opt
i
ons: compute (ex
a
ct) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum_eval
u
e: opti
o
nally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
l
a
ttice_point
.
h:
e
x
p
ort fraction
a
l_part
with
C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ba
r
vinok
_
enumerat
e
_with_options: compute (ex
a
ct) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaeg
e
Bernoulli_s
u
m_evalue: han
d
le equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
Bernoulli
_
sum_
e
value:
c
u
t
off
some
r
edu
n
d
ant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue
:
make
sure
n
o empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
Bernoulli_
s
u
m_
e
va
l
ue: remov
e
redu
n
dant const
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
b
e
r
no
u
lli
.
c: minor refacto
r
in
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
B
ernoulli_sum: h
a
ndle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
or_each_lower_upper_bound: add another ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
ve
r
ify
.
c: adjust default r
a
nge
to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaeg
e
eu
l
er
.
cc: su
m
mate_over_
d
omain: only co
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
pa
r
am_
u
til
.
c: export
P
aram_V
e
rtex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Para
m
_Polyhedron_Facet: pass facet
defi
n
i
ng co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
g
e
n
fun
.
cc: pa
r
allel_polytopes
:
don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ve
r
d
oolaege
evalue_split_
d
omains
_
into_o
r
th
a
nts:
d
on't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_r
e
ad: o
n
ly allow ter
m
s to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_read: onl
y
accept
i
mplicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
evalue
_
read: accept constraints containing
"'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eva
l
ue_ber
n
stein_coeff
i
cients: ensure r
e
sul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
bern
s
tein
:
p
i
ecewi
s
e_ls
t
:
co
r
re
c
t
ly
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
remove_all_equalities:
keep re
m
o
vi
n
g parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdoolaeg
e
do
c
:
c
on
s
is
t
ent u
s
e
o
f
Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc: update now p
u
blished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doo
l
a
ege
for_
e
ach_
l
ower_upper
_
bo
u
nd:
allow abse
n
ce of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoola
e
g
e
Revert "eadd_partitions: try t
o
combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
evalue_
r
e
ad
_
partitio
n
: p
u
t p
a
rtitions back in the same
.
.
.
commit
|
commitdiff
|
tree
next