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
verify.c: evalue_optimum: allow computation of optimum in 0D domain
2008-04-08
Sven Verd
o
o
laege
ver
i
fy
.
c:
eval
u
e
_optimum:
allow computation
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
d
o
olaege
bernstein
.
cc: e
v
al
u
e2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
b
o
und
.
cc: fix call
to e
v
a
l
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoo
l
aege
e{add,mul
}
_p
e
riodic
s
:
p
l
u
g
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_coefficients: ha
n
d
le problems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ol
a
e
g
e
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven
V
erdoolaege
latti
c
e
_
width
.
c: skip directions that
a
re
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Ver
d
o
olaege
Makefi
l
e
.
am
:
a
d
d
cd
d
94e-tes
t
to distr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoola
e
ge
omega/occ: opt
i
o
n
ally us
e
parker for com
p
uting cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoolaege
normal
i
zation
.
c
:
skew_to_positive_orthant: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoola
e
ge
o
mega/convert
.
c
c: rel
a
t
i
on2
D
o
m
a
i
n: only collect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
o
laege
o
c
c: add d
u
mp
f
o
r dum
p
ing in bar
v
in
o
k_
e
numerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
bar
v
i
nok_en
u
mera
t
e_e
:
optionally use p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaege
standard_constraints
:
take
c
onst
r
aints instead of poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
normalization
.
c: extract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaeg
e
p
arker/count_soluti
o
n
s
.
cc: fix trea
t
m
ent of e
x
istential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en
Ve
r
doola
e
ge
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
eu
l
er
.
cc
:
evalue_derive: hand
l
e constant pol
y
nomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaeg
e
ad
d
some
test set
s
from cases
2004 and cc 2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
r
e
name barvinok_maxim
i
ze to
b
arvinok
_
bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
add a test for test_
b
o
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_r
a
nge_pr
o
pagati
o
n:
r
e
move redundan
t
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bo
u
nd: reco
r
d
n
umber of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
t
e
st_boun
d
: convert quasipolynomial
s
to polyno
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
t
e
st
_
bo
u
nd: c
o
mpare polynomial b
o
un
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: op
t
imum: h
a
ndl
e
inpu
t
evaluating
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ve
r
ify
.
c: extract e
v
alue_o
p
timum f
r
om maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: e
x
tract common c
o
de for verif
y
ing opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoo
l
a
ege
evalue
_
range_propagatio
n
:
a
d
d monot
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
ba
r
vinok_maximize:
o
ptionally use (b
a
sic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add some support for
d
ealing with evalues that r
e
p
r
e
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
olae
g
e
barvinok_
e
numerate: suppo
r
t use
o
f Eule
r
-Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
implement Bern
o
ul
l
i_sum a
s
conv
e
rsi
o
n
f
rom unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
Bernoulli
_
sum
_
ev
a
lue: exploit i
n
tege
r
bounds to re
d
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ke
e
p track of number of Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
o
la
e
ge
bernoulli
.
c:
pro
t
ect
shared evalue from modifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
t
e
s
t
Bernoulli
sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oo
l
aege
barvinok
_
cou
n
t_
w
ith_
o
ptions: comp
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
o
o
laege
Bernoulli_
s
um_evalue: optionally handle
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lattice_point
.
h: export f
r
a
ctio
n
al_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolae
g
e
barv
i
n
o
k
_enumerate_with_options: c
o
mput
e
(e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
B
erno
u
l
l
i_s
u
m_evalue:
handl
e
equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
Bernoulli_sum
_
e
v
alue: cu
t
off some
r
e
dundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
Bern
o
ull
i
_
s
um_
e
v
a
lue:
m
ake su
r
e no empty partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bern
o
ulli_su
m
_eva
l
u
e: remov
e
redundant co
n
strain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: min
o
r
r
ef
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_sum:
handle con
t
ext
co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
B
ernoulli_sum_evalu
e
: ma
k
e su
r
e enough
m
emory is al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
for_ea
c
h
_
l
ower_upp
e
r
_
bo
u
n
d
: add anoth
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
verify
.
c: adjust default rang
e
t
o context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
l
aege
euler
.
cc:
s
ummate_ove
r
_domain:
o
nly
c
o
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_ut
i
l
.
c: export
P
aram_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Param_Polyhed
r
o
n_Facet: pass fac
e
t d
e
fi
n
ing
c
onstr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
ge
n
f
u
n
.
cc
:
p
a
r
all
e
l_pol
y
topes: don't
b
othe
r
hand
l
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
ev
a
lue_spl
i
t_domains_int
o
_orthants: do
n
't redu
c
e ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
ev
a
l
ue_read:
only allow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oola
e
ge
evalue_read: only
ac
c
ept im
p
licit
m
ultiplication
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
ev
a
lue_
r
ead: a
c
cept con
s
tra
i
nts containing "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ev
a
lu
e
_bernstein_coe
f
ficients: en
s
ure result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
b
e
r
nstein: piecewise_lst
:
correc
t
ly print
a
nd e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
remove_all_equa
l
ities: keep
removing parameter e
q
ual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdo
o
laege
u
pdate
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: consistent u
s
e of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verd
o
olaege
d
oc: update
now
publ
i
shed
p
a
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower
_
upper
_
b
ound: allow absence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
Revert
"
eadd_partitions: try to co
m
bin
e
multi
p
le
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
evalue_read_partition: put part
i
tions
ba
c
k
i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue:
r
educe_evalue:
a
d
d
note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verd
o
olaege
be
r
nstein
.
cc: han
d
le input w
i
th unions + relation vi
o
l
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
la
e
ge
maximize
.
cc: de
a
l with unions in input du
r
ing verifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
_
substitute: pro
p
erly handle
r
e
lat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolae
g
e
evalue
.
c: clean
u
p e
m
u
l
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: correctly read
variabl
e
na
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
eva
l
ue_r
e
ad: a
c
cept top
leve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Ve
r
doolaege
evalue_bac
k
substitute: add
require
d
modu
l
o co
n
straints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rd
o
ola
e
ge
evalue
.
c
:
*_part
i
tions: simplify
c
onstraint
s
be
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more specific information on bug
g
y cddlib
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
laege
configure
.
in: req
u
ire
c
d
dlib 0
.
94e b
y
tes
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
confi
g
ure
.
in:
o
nl
y
compil
e
occ if code_gen libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoo
l
a
e
ge
ba
r
v
in
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
add some tests for impleme
n
tation of proj
e
ctio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document ne
w
option
s
and new app
l
i
c
a
tion
s
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
r
doolae
g
e
AUT
H
ORS: upd
a
te support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
e
rdoolaeg
e
ge
n
fun
.
cc: short_
r
at::print: corre
c
t
l
y print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdool
a
e
g
e
Export series as barvinok_enumerate_s
e
ries an
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
remove_parameter
_
equalities:
s
top "removing" equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
seri
e
s: l
e
av
e
fre
e
ing of
P
argument
t
o
calli
n
g func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
d
oc: doc
u
ment im
p
lement
a
tion of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
add barvinok_enu
m
era
t
e
_e_seri
e
s
implem
e
nting the
p
r
ojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
ae
g
e
ge
n
fun
.
cc: fix and document para
l
lel poly
t
o
pes c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Only com
p
i
l
e
zsolve
i
f gcc 3
.
4
o
r la
t
er
i
s ava
i
lable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
ve GiNaC-i
n
depen
d
ent
pa
r
t
of l
i
bra
r
y to
bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
p
olylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc
:
how to count the number
o
f elem
e
nts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaeg
e
d
o
c
/
implementation
.
t
e
x: avoid m
u
ltiply defin
e
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
lattice_wid
t
h
.
c: try
vertic
e
s of previous in
t
eger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: docum
e
nt integer hull c
o
mputation
commit
|
commitdiff
|
tree
2007-11-21
S
ve
n
Verdoolaege
hu
l
l
.
c: add all po
i
n
t
s found by sampling
d
irectly to
.
.
.
commit
|
commitdiff
|
tree
next