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
Sven Verdoolaege
b
ernstein: numeric2valu
e
: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
olaege
ut
i
l
.
c: Factor_Context
:
extr
a
cted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summate
.
c: barvinok_summate
:
i
gnore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
eg
e
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
omega/occ: pri
n
t barvino
k
v
ersi
o
n n
u
mb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
d
o
ol
a
ege
Make laurent based summation
t
he default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
summate
.
c
: ba
r
vinok_summate: ha
n
dle
q
uasi-polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_
e
v
alue:
e
x
tr
a
ct out
e
value_redu
c
e
_
size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaeg
e
ev
a
lue
.
c: evalue_
s
hift_va
r
iables: allow shif
t
i
ng
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaeg
e
s
u
mmate
.
c: handle
e
q
u
alities
f
or all sum
m
ation al
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
g
e
summate
.
c: b
a
rvin
o
k_summate: move
comm
o
n parts of summ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
d
o
olaeg
e
evalue
.
c: evalue_sum: mo
v
e sign
h
andling into esum
_
over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barvi
n
o
k_e
.
cc: enumerate_sum: use b
a
rvino
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
summ
a
te
.
c
: extract b
a
rvinok_
s
ummate from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
rename summate
.
cc to barvinok_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
evalue
.
c: re
d
uce_evalue: reduce floor with con
s
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
e
ge
A
d
d Laurent
e
xpansio
n
based s
u
mmatio
n
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ver
d
oolaeg
e
evalue
.
c
:
e
xten
d
e
equal to handle
d
o
m
ains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
e
ge
binomial
.
c
: extract binomi
a
l and fa
c
torial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
pow
e
r
.
h: extract f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
introduce
e
v
a
lue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_point
.
cc: expor
t
relative_co
o
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
V
erdoolae
g
e
lattice_point
.
h: make
sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
la
t
tice_point
.
cc: add ce
i
ling function
commit
|
commitdiff
|
tree
2008-04-24
S
ven
V
er
d
oolaege
u
t
il
.
c: internalize ugly b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verdoolaege
l
a
t
t
ice_p
o
i
nt
.
cc: m
u
lti_
m
o
n
om/lattice_points: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoola
e
g
e
d
o
c: clean up "ex
p
onential substitu
t
ion" sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
dool
a
eg
e
test_bound
.
cc: avoid loss of
precis
i
on caused by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verd
o
ol
a
ege
barvinok_bound: optio
n
ally take m
a
ximal size of
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolae
g
e
bar
v
in
o
k_bound: add --ite
r
ate options fo
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
do
o
laege
verify
.
c: export fun
c
tio
n
s for s
e
t
t
i
n
g an
d
cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
e
value_optimum: al
l
ow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bernstein
.
cc
:
ev
a
l
ue2ex: don
'
t as
s
u
m
e all pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rd
o
olaege
bound
.
c
c
: fix call
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
e{ad
d
,mul}_periodics: pl
u
g memory le
a
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
ev
a
lue_bernstei
n
_c
o
e
ff
i
cients: handle problems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n
Verdoolaege
lattice_width
.
c: s
k
ip
direct
i
ons that
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdool
a
ege
M
akef
i
le
.
am: add cdd
9
4e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
omega/occ: optio
n
a
ll
y
use parker for comput
i
ng cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
a
e
ge
normalizat
i
on
.
c: skew_to_positive_orthant
:
p
r
operl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: rela
t
ion2Domai
n
: only coll
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoo
l
aege
oc
c
: add dump for dumping in ba
r
vinok_enumer
a
te_e
f
orm
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enum
e
rate_e
:
o
p
tionally use p
a
rker's
metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_c
o
nstraints: t
a
ke con
s
traints instead o
f
po
l
yhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normali
z
ati
o
n
.
c: extract standard_
c
onstrai
n
ts
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
o
l
a
ege
parker/count
_
sol
u
t
i
ons
.
c
c: fi
x
t
reatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
doola
e
ge
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
e
u
ler
.
cc: e
v
a
l
ue
_
derive
:
handle constant
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
a
ege
add
som
e
te
s
t
set
s
from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
la
e
ge
r
ename ba
r
vinok
_
maxi
m
iz
e
t
o b
a
rvinok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
add a
tes
t
for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
eva
l
ue_ran
g
e_propagation
:
remove redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
tes
t
_bound: recor
d
number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
t
e
st_bound: con
v
ert qua
s
ipolynomi
a
ls t
o
polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
tes
t
_
b
ound: compare polynomia
l
bound a
l
gori
t
hm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
verify
.
c
: optimum:
h
andle inp
u
t ev
a
luating t
o
n
egativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: ext
r
act
e
value_
o
ptimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
veri
f
y
.
c: extra
c
t
c
ommon
code for verify
i
n
g
o
pe
r
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
evalue_range_propagation
:
a
d
d monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
b
a
rv
i
nok_m
a
ximize: op
t
iona
l
ly use
(
basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ad
d
some support fo
r
dea
l
ing w
i
t
h
e
v
alues that
r
epresent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvi
n
ok_enumerate: support use of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoo
l
a
e
ge
i
mplem
e
nt Bernou
l
li_sum as conve
r
sion from
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_su
m
_evalue:
exploit integer bou
n
ds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
keep t
r
a
ck of numb
e
r
o
f Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
bernoulli
.
c: prote
c
t shared eval
u
e from modific
a
t
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
Bernoulli su
m
s based exact enume
r
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
b
a
rvinok_count
_
with_options:
compute (exact) Berno
u
ll
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
Bernoulli
_
sum_eval
u
e:
opti
o
na
l
ly ha
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
l
a
ttice_point
.
h: export fractional_par
t
with C li
n
kag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
b
a
rvin
o
k_enum
e
ra
t
e_
w
ith_options: c
o
mpute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_evalue: h
a
n
d
l
e
e
q
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
Bernoull
i
_sum
_
evalue: cut
off some r
e
dundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
B
e
rnoulli
_
sum_evalue: mak
e
sure n
o
em
p
ty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_
s
um_evalue: remove redundant constrain
t
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum: handle c
o
ntext con
s
traints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
e
g
e
Be
r
noulli_sum_evalue: make
sure e
n
oug
h
m
e
mory i
s
al
l
oc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
for
_
each_l
o
w
e
r_upper
_
bou
n
d: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
ve
r
i
f
y
.
c:
adjust
d
efault range
t
o
c
o
ntext
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
euler
.
cc: summate_over_do
m
ain:
only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
pa
r
am_util
.
c: e
x
port Para
m
_Vertex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Param_Polyhedron_Facet
:
pas
s
fa
c
et defining
c
o
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
c
c
: paral
l
el_po
l
ytope
s
:
d
on't bothe
r
han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eval
u
e_split_dom
a
ins_int
o
_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
e
value_r
e
ad
:
only
a
llow
terms to cross
n
ewlines i
n
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doo
l
aege
evalue_read: o
n
ly accept implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
e
ge
e
va
l
u
e
_read:
accept constraints containing "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoo
l
aege
evalue_
b
ernstein_
c
oefficie
n
ts
:
ensure resul
t
p
a
rt
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rdool
a
ege
b
ernstein: piece
w
ise_lst
:
correctly print and e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
r
emo
v
e_all
_
e
q
u
alities: keep re
m
o
v
ing parameter
equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc:
c
on
s
i
s
t
ent
u
se of
K
evin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
la
e
ge
for
_
each_low
e
r_uppe
r
_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
Rev
e
rt "eadd_part
i
tion
s
: try to
c
o
mbine multiple d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verd
o
olaege
eva
l
ue_read_partition: put pa
r
titions ba
c
k in the same
.
.
.
commit
|
commitdiff
|
tree
next