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
properly handle NTL CPPFLAGS and LDFLAGS
2008-05-07
S
ven V
e
rdoolaege
p
r
ope
r
ly ha
n
dle NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
ege
b
a
si
s
_reduct
i
on_templ
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
b
a
rvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
add
s
ome test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olae
g
e
d
oc:
add late
s
t (accepted)
p
ublica
t
i
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
a
m:
add section_array
.
h
to
d
istribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
normalization
.
c:
compute_shifts:
r
e
m
ove re
d
unda
n
t return
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdoolae
g
e
move Fre
e
_Par
a
mNam
e
s
polylib a
n
d
m
a
k
e
p
ar
a
m names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
o
c
c: add interface to barvinok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aeg
e
ex_convert
.
cc: extra
c
t
ex2evalue
from rang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: do
c
ume
n
t more --summation methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erd
o
olaege
options
.
c
: ren
a
me "barvinok"
s
u
mma
t
i
o
n metho
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
Makefil
e
.
am:
check-euler:
a
l
so check laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
summate
.
c
:
barvi
n
ok_su
m
mat
e
: h
a
ndl
e
p
r
oducts
of pol
y
t
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
eva
l
u
e
.
c: export evalue_reo
r
der_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
aege
be
r
n
stein: numeri
c
2v
a
lue: fix typo to allow
c
o
rrec
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
uti
l
.
c: Factor
_
C
o
ntext:
ex
t
racted
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
summate
.
c: b
a
rvinok_
s
ummate: ignor
e
flo
o
r
s
ind
e
pendent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
eval
u
e
.
c: a
d
d evalue_floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
omega/occ: p
r
int barvinok ver
s
i
on
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
doc: update
s
o
me refer
e
n
c
e
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
Ma
k
e laurent based
s
ummation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summate: handle quasi-p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oolaege
reduc
e
_evalue: extract
out evalue
_
r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
evalue
.
c
: ev
a
lue_shift_variables: allo
w
sh
i
ft
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c:
h
and
l
e e
q
ualitie
s
for all summation alg
o
rith
m
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doolaege
s
ummate
.
c: barvinok_summ
a
te: move
c
ommon
par
t
s of s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
r
dool
a
e
ge
evalue
.
c:
ev
a
lue_sum: move sign h
a
ndlin
g
int
o
esum_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
b
a
rv
i
nok_e
.
c
c: enumerate_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
laege
summate
.
c: ex
t
ract barvinok_sum
m
ate from barvi
n
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ola
e
ge
rename summate
.
cc to b
a
rvi
n
ok_su
m
mate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
olaege
evalue
.
c
:
redu
c
e_e
v
a
lue: reduc
e
floor with con
s
tan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaege
Add
L
aure
n
t exp
a
nsion based
s
u
m
m
ati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdo
o
laege
e
v
alue
.
c
: extend e
e
qual to handle d
o
mains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
binomia
l
.
c: extr
a
ct
b
inomi
a
l
and fac
t
orial f
r
om e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
lae
g
e
powe
r
.
h: e
x
tract
from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
oolaege
introduce
e
value_shift_variable
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Verd
o
ol
a
ege
lattice_poi
n
t
.
cc: export r
e
lative
_
coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
l
at
t
ice_po
i
nt
.
h: ma
k
e sure correct
e
valu
e
s are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lattice_po
i
nt
.
c
c
:
add ceiling
f
u
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ver
d
oola
e
ge
lat
t
ic
e
_poi
n
t
.
cc: multi_monom/lattic
e
_points
:
r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdoolaege
d
o
c: clean u
p
"exponen
t
i
al su
b
stitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
t
est_bound
.
cc: avo
i
d loss of precisio
n
ca
u
sed by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoo
l
aege
b
a
rvinok_bound: optionally
take maximal s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doolaege
barvinok_
b
ound: add
-
-iter
a
te opt
i
ons f
o
r ev
a
l
uatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
dool
a
ege
veri
f
y
.
c: export functions f
o
r
setting and cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolaege
veri
f
y
.
c: evalue_opti
m
um: allow co
m
putation of o
p
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
e
rdoo
l
ae
g
e
bernstein
.
cc: eval
u
e2ex: don
'
t
a
ssu
m
e all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bou
n
d
.
cc: fix call to
e
value_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{ad
d
,mul}
_
periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
eval
u
e_bernstein_co
e
fficients: hand
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaeg
e
u
pdate pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoola
e
ge
l
a
tt
i
ce_width
.
c: skip direction
s
that a
r
e identi
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdool
a
ege
Makefile
.
am
:
add cdd94e-test to distr
i
b
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaeg
e
o
m
e
g
a/occ: optionally use parker for compu
t
ing cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normalization
.
c
: skew_
t
o_positive_or
t
han
t
:
p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
omega/convert
.
cc
:
relation2Domain
:
o
nly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
occ: add du
m
p for
d
umping in barvinok_en
u
merate_e
format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoola
e
ge
barvi
n
ok_enumerate_e:
optionally use p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erdo
o
laege
s
t
andard_constra
i
n
t
s: tak
e
constraints ins
t
ead of polyhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaeg
e
norma
l
iza
t
ion
.
c:
e
xtract stan
d
ard_constrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rd
o
o
laege
parker/cou
n
t_
s
o
l
utions
.
cc: fix treatment
o
f e
x
istentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
c
om
p
i
l
e p
a
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
A
d
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
eule
r
.
c
c: evalue_derive: handle con
s
tant pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets f
r
om c
a
s
es 2004
and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
renam
e
barvinok_maximize
t
o barvinok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olae
g
e
a
dd a
test
f
or tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_prop
a
g
ation: remove re
d
undant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
t
e
st_bound: reco
r
d number of polyno
m
ials a
s
"s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_bound: convert qua
s
ipolynomials
t
o polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test
_
bo
u
nd: c
o
mpare poly
n
omial
b
ound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
v
e
ri
f
y
.
c:
o
ptimum
:
handle in
p
ut ev
a
lu
a
ting
t
o nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c
: extr
a
ct evalue_o
p
ti
m
um from m
a
xim
i
z
e
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract
c
o
m
mon code for veri
f
ying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propag
a
tion:
a
dd mon
o
tonic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_maximize
:
optionally use (
b
asic) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add some support for de
a
ling
with
e
values
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
b
arvinok_enumerate: su
p
po
r
t us
e
of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
implement
Ber
n
oulli_sum as conversio
n
f
rom unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_evalue: exploit
integer bounds t
o
reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep
t
rack of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bernoulli
.
c:
p
rotect shared eval
u
e from mod
i
fications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
test
B
ernou
l
l
i
sums ba
s
ed e
x
act enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bar
v
i
n
ok_count_with_options: compute (exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
n
oulli_sum_evalu
e
: optionally handle fr
a
c
tion
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
lattice
_
point
.
h: export f
r
acti
o
nal_part with
C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok_enumerate_with_optio
n
s:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
Bernoulli_sum_evalu
e
:
handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Berno
u
lli_sum_eva
l
ue: cut off some redundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
erno
u
lli_sum_eva
l
ue: make sure no empty
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_s
u
m_evalue: rem
o
ve redundant c
o
nstr
a
i
n
t
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
be
r
noulli
.
c: minor ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
o
o
laege
Bernoulli_sum
:
hand
l
e c
o
ntext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_
s
um_evalue: make sure
e
nough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_lo
w
er_
u
p
p
er_bound:
a
d
d
a
nother cal
l
b
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
verify
.
c: adjus
t
default
range to
c
ontex
t
i
f
neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: s
u
mmate_o
v
e
r
_
d
omain: only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolae
g
e
param_util
.
c
: export Param_Vertex_Set_
F
acets
commit
|
commitdiff
|
tree
next