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
options.c: rename "barvinok" summation method to "box"
2008-05-04
Sven Verd
o
ol
a
e
g
e
options
.
c: rename
"barvinok
"
summatio
n
method t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
l
a
ege
Makefile
.
am: check-euler
:
also check
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
o
l
aege
s
umm
a
te
.
c: barvin
o
k_su
m
mate: handle products of pol
y
top
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdo
o
l
aege
evalue
.
c: e
x
por
t
evalue_reorder_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
bernstei
n
:
n
umeric
2
val
u
e: fix typo to allow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
util
.
c: Factor_Context: extract
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aege
s
u
mmat
e
.
c: barvino
k
_summate: ignore floors
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
evalue
.
c: add
e
v
alue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
om
e
ga/occ: print barvin
o
k version nu
m
ber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc:
u
pdate s
o
me references
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
M
a
k
e laurent based summatio
n
the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
s
ummat
e
.
c:
b
arvinok
_
summate
:
hand
l
e
q
u
asi
-
p
o
l
y
n
om
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
redu
c
e_evalu
e
: e
x
tract out e
v
alue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
evalue_shift_variables: all
o
w shif
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
s
ummate
.
c: handle equalities for
a
ll summ
a
tion al
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
summate
.
c
:
b
a
r
vinok_su
m
mate: move common parts o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c: eva
l
ue_sum: move sign
handl
i
ng
into esum
_
over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
b
arvino
k
_e
.
cc:
e
numerate_su
m
:
use barvinok_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c: extract barvinok_summat
e
from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoolaege
rename sum
m
ate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
eval
u
e
.
c
: reduce_
e
value:
r
educe floo
r
w
i
th
const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoo
l
a
e
g
e
Add
La
u
rent ex
p
ansion b
a
sed summ
a
tion
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaeg
e
e
v
alue
.
c: e
x
tend
eequ
a
l to h
a
ndle do
m
ains
a
nd
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Ver
d
oolaege
binomi
a
l
.
c: extract
binomi
a
l a
n
d
facto
r
i
a
l
from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
pow
e
r
.
h: extract fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
Ver
d
oolaege
intr
o
duce
e
value_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
oolaege
lat
t
ice_p
o
int
.
cc: export re
l
a
t
ive_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
l
attice_point
.
h:
m
ake sure c
o
rrect e
v
al
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdo
o
laege
l
a
ttice_po
i
nt
.
cc: add
c
ei
l
ing f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
util
.
c: in
t
ernalize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoo
l
aege
lattice_point
.
cc: multi_monom/lattice
_
p
o
i
nts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up "exponential sub
s
t
i
tu
t
i
o
n" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
t
e
s
t
_boun
d
.
cc: avoi
d
loss
o
f preci
s
ion caused by
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
b
arvi
n
ok_bound: o
p
ti
o
n
ally take maximal size of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvinok_bound: add --iterate o
p
tions for evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
laege
verif
y
.
c:
e
x
por
t
functions for setti
n
g and cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
d
o
o
l
aege
verify
.
c:
evalue_optimum: allow com
p
utation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
ber
n
stein
.
cc: evalue2ex: don't
assume all perio
d
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
doo
l
aege
bo
u
nd
.
cc
:
fix
call to evalue
_
conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
e{a
d
d,mul}_periodics: plug memory l
e
ak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
evalue_bernst
e
in_co
e
fficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
r
do
o
laege
up
d
a
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
lattice_
w
idth
.
c: ski
p
direct
i
ons that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdool
a
ege
Makefile
.
a
m
: add cdd94e-tes
t
to
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
dool
a
ege
omega/occ
:
opt
i
onally use parker fo
r
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
o
olaege
norma
l
izatio
n
.
c: skew_to_posit
i
v
e
_
orthant: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
mega/convert
.
cc
:
relation2Dom
a
in: only
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
do
o
l
aege
occ:
add dump for dum
p
i
n
g
in bar
v
inok_enumerat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
b
a
r
vi
n
ok
_
enumerate_e: optionally use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_co
n
strai
n
ts: ta
k
e constrain
t
s instead of pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
normalization
.
c
:
extra
c
t sta
n
dard_constr
a
int
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
p
a
rker/count_
s
olutions
.
c
c
:
f
ix treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
co
m
pile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
Add
par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
eu
l
er
.
cc:
evalue_der
i
v
e: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets from cases
2
00
4
and cc 20
0
5 pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
rename
barv
i
nok_maximize to ba
r
v
inok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add a t
e
st for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propa
g
ation: r
e
move redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound
:
record numbe
r
of pol
y
n
om
i
als as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
test_bound: convert quasip
o
lynomials to polyno
m
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
test_bound: compar
e
polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handle
i
n
put
e
val
u
ating t
o
neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
verify
.
c: extract evalue
_
optimum from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ver
i
fy
.
c: extra
c
t c
o
mm
o
n code for v
e
rifying
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_range_
p
r
o
paga
t
ion: add
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok
_
maximiz
e
: optionally use
(
basic) range p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Add some support for deali
n
g with evalues
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
a
r
v
inok
_
enume
r
ate: support
use of Euler-Macla
u
r
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
i
mpl
e
ment Bernoulli_sum as conver
s
ion from unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
do
o
laege
B
e
rnoulli_s
u
m_evalue: exploi
t
i
n
teger
b
o
u
nds t
o
red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
keep tr
a
ck
o
f number of Bern
o
ul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: protect shared evalue fr
o
m mod
i
fica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test Ber
n
oulli su
m
s bas
e
d exact enume
r
ati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
barvinok_cou
n
t_with_options:
c
omput
e
(exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolae
g
e
Bernoulli_sum
_
eva
l
u
e
:
o
ptionally handle fra
c
ti
o
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
a
e
ge
lattice_point
.
h: ex
p
o
rt fractional_p
a
rt wi
t
h C
li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
b
arvi
n
ok_en
u
m
e
rate_with_options:
c
o
mpute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_evalue
:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Be
r
no
u
lli_sum_evalue:
cut off some redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
eg
e
Ber
n
oulli_sum_evalue: ma
k
e
sure n
o
empty
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bernoulli_sum_eval
u
e: remove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bernoulli
.
c
: minor re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bern
o
ulli_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
Bern
o
ulli_sum_evalue: make sure e
n
ough m
e
mory
is
a
llo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
for_each
_
lower_up
p
er
_
bound: add
ano
t
her c
a
llbac
k
fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adju
s
t def
a
u
l
t r
a
n
g
e to co
n
text
i
f ne
e
de
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
eul
e
r
.
cc: s
u
mmat
e
_over
_
domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
param_util
.
c: export Param_Vertex
_
Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_
P
olyhedron_Facet: pass facet
d
e
fining constra
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
gen
f
un
.
cc: parallel_po
l
ytopes: don't bother
handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
value_split_doma
i
ns_into_orthants: do
n
't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ol
a
ege
evalue_read: only all
o
w terms t
o
cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
d
oo
l
aege
e
v
a
lue_r
e
ad: only a
c
ce
p
t
impl
i
cit multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eva
l
ue_read: accept
constr
a
ints contain
i
ng "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
evalue_bernstein_coef
f
icients:
e
nsure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernst
e
in: piecewise_lst: correct
l
y pr
i
nt
a
n
d
evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
remove_all_equalities: ke
e
p
removing param
e
ter
e
qualitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
l
aege
upd
a
t
e polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
ool
a
ege
doc:
c
o
n
sistent use
o
f
Kevin's initials
commit
|
commitdiff
|
tree
next