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
S
v
en Verdoolaege
evalue
.
c: e
x
por
t
evalu
e
_
reo
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
doolaege
be
r
n
s
tein: numeric2val
u
e: fix typ
o
to
allow
c
orrec
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
util
.
c: Facto
r
_
C
o
n
text: extract
e
d from bar
v
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
b
arvinok_summate: ignore
floo
r
s ind
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
evalue
.
c
:
add ev
a
lue_
f
loor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
omega/o
c
c: print
barv
i
nok version
n
u
mbe
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
doc: update some ref
e
ren
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
oola
e
ge
Make lau
r
ent ba
s
ed summatio
n
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvi
n
ok
_
summate:
h
and
l
e qu
a
s
i
-polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
reduce
_
evalue: extract out
e
value_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
eval
u
e
.
c: evalue
_
sh
i
f
t_variables:
allow
s
hifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
s
umma
t
e
.
c
: handle equalities f
o
r all summation a
l
gorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summ
a
te
.
c: barvinok
_
summate: move common parts of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
la
e
ge
e
value
.
c: evalue_sum:
m
ove sign h
a
ndling into e
s
um_ov
e
r_dom
a
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
bar
v
in
o
k_e
.
cc: en
u
m
e
r
a
te_sum: use barv
i
nok
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoo
l
ae
g
e
s
umma
t
e
.
c: extr
a
ct ba
r
vi
n
ok_
s
umma
t
e fr
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aege
rename su
m
mate
.
cc to ba
r
vinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: reduce_
e
value: reduce floor w
i
t
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
Ad
d
Lau
r
ent expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdo
o
laege
evalue
.
c: e
x
t
e
nd eequal to handl
e
domains an
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
ol
a
ege
binomial
.
c:
e
xtract bin
o
mial and fac
t
ori
a
l from
eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h
:
extract fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
oduc
e
evalue_shif
t
_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven
Ve
r
doola
e
ge
latt
i
ce
_
poi
n
t
.
cc: e
x
port rel
a
t
i
ve_coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
latti
c
e_poin
t
.
h
:
make
s
ure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
latt
i
ce
_
point
.
cc: add ceiling func
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
u
t
il
.
c: internalize ugly
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
ol
a
ege
lattice_point
.
cc: multi_mo
n
om/
l
attice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoolae
g
e
doc: cl
e
a
n
up "expo
n
ential
s
ubstitution"
se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid loss
o
f pr
e
c
i
sion
c
aused
b
y
conver
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
ba
r
vi
n
ok_boun
d
:
op
t
ionally
t
a
k
e maximal
size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
ba
r
v
i
n
o
k_boun
d
: add -
-
iterate op
t
i
o
ns for evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
verify
.
c: export functions
f
or
s
etting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c: evalue_opt
i
mum: allo
w
computation o
f
o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoolaege
ber
n
st
e
in
.
cc: e
v
alue
2
ex: don't assume al
l
pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bound
.
cc: fix call to evalue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
e{add,mul}_periodics: plug memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
evalue_bernstein_coefficients: hand
l
e problems w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ve
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaeg
e
lattice_width
.
c
:
sk
i
p directions that are i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
Makefile
.
a
m: add cdd94e-test to distri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Ve
r
doola
e
ge
omega/occ: optional
l
y
u
se par
k
er
f
or comput
i
n
g
cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
n
o
rmali
z
a
tio
n
.
c
:
sk
e
w_to_positive_ort
h
ant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
o
mega/
c
onvert
.
cc: rela
t
i
on2Dom
a
in: only collect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
occ:
a
dd
d
um
p
for dumping in barvi
n
ok
_
e
n
u
merate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
barvinok_enumerate_e
:
optionally use
parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
standard_constr
a
ints: take constrain
t
s
instea
d
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
doolaeg
e
norma
l
iz
a
tion
.
c
:
ext
r
act standard_co
n
straints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/co
u
n
t_solutions
.
cc: fix treat
m
ent o
f
existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
compile
p
a
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
ol
a
ege
Add
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
euler
.
cc: evalu
e
_derive: handle constant
polynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add s
o
me tes
t
se
t
s
from
c
ases 2
0
04 and c
c
2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
rename bar
v
in
o
k_maximize to
ba
r
vinok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
add a
t
est for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
evalue_ran
g
e_propag
a
tion: r
e
move redunda
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_bound
:
record nu
m
b
e
r of
p
olynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
test_bound: convert q
u
asipolyn
o
m
i
als to po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
t
e
st_bound
:
comp
a
re
polynomial bound algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
erify
.
c: optimu
m
: handle input
eva
l
uating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
verif
y
.
c: ex
t
ract
e
value_opt
i
m
um
f
r
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c
: ext
r
act c
o
mmon code for verifying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
evalue_r
a
nge_propaga
t
ion: add
m
onotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvinok_maxi
m
ize
:
optionally use (b
a
sic)
range pr
o
pagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoola
e
g
e
Add so
m
e sup
p
o
r
t for dealin
g
with evalu
e
s that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ba
r
vinok_enum
e
rate: support
u
se o
f
Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
impl
e
ment B
e
rnoulli_sum as
c
onversion from unwei
g
h
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
l
i_
s
um_
e
va
l
ue: exploit
i
nteger bound
s
to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
ol
a
ege
keep track of num
b
er
o
f Bernoul
l
i
sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ber
n
oulli
.
c: p
r
otect sha
r
ed e
v
a
lue from modifi
c
atio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test B
e
rnoulli
s
u
ms based exact enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
g
e
b
a
rvin
o
k_count_wit
h
_opti
o
n
s: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_e
v
alue: opti
o
n
ally hand
l
e
f
r
acti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
lattice_point
.
h
: export fractiona
l
_
p
art with
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
l
a
ege
barvin
o
k
_
en
u
me
r
ate_wit
h
_options: comput
e
(exact) B
e
rnoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olae
g
e
Bernoul
l
i_sum_evalue: handle equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
Bernoulli
_
s
u
m_e
v
alue: cut off some
redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: mak
e
sure no empty
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
Bern
o
ulli_s
u
m
_evalue: r
e
move
r
edundant
c
ons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erd
o
ol
a
ege
be
r
no
u
l
li
.
c:
m
i
n
or refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum
:
handle co
n
text
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoola
e
ge
Be
r
no
u
lli_sum_evalue
:
make s
u
r
e enough memo
r
y is al
l
oc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for
_
e
ach_lower_upper
_
bou
n
d: ad
d
anothe
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ve
r
ify
.
c: ad
j
ust default
range
to co
n
tex
t
if
n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
cc: summate_over_do
m
a
i
n: on
l
y consider
a
ctu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
param
_
util
.
c: export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Par
a
m_Pol
y
hedron_Facet: pass fac
e
t definin
g
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
g
enfun
.
cc
:
p
a
ra
l
l
el_poly
t
o
p
es:
don't bo
t
he
r
handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eva
l
ue_split_doma
i
ns_into
_
o
r
thant
s
: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
evalue_rea
d
: only al
l
o
w
terms
t
o c
r
oss
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
evalue_r
e
ad: only acce
p
t implici
t
m
u
l
tiplication
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
do
o
l
a
e
ge
e
v
alue_read: acc
e
p
t const
r
a
ints containing
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eval
u
e_bernstein_coefficie
n
ts: ens
u
re result parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
b
ern
s
tein: piece
w
ise_lst: correctly print a
n
d eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laege
remove_all
_
equa
l
i
t
i
e
s
:
keep re
m
ov
i
ng
p
aram
e
te
r
equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upda
t
e po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laeg
e
doc:
c
onsistent use
o
f Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
oolaege
d
o
c: updat
e
now p
u
b
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
e
rdoola
e
ge
for_
e
ach_
l
ower_upper_bound:
allow absence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
Revert "ea
d
d
_partitions: try to combine mult
i
ple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
next