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
lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
2008-04-17
Sven Verdoolaege
lattice_point
.
cc:
m
ulti_monom/la
t
tice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoola
e
ge
d
o
c:
c
lean up
"
exponential subst
i
tution" s
e
ctio
n
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolae
g
e
test_bound
.
cc: avoid
l
oss of precision
c
aused
b
y co
n
version
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
laege
barv
i
nok_b
o
und: optionally tak
e
maximal size o
f
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaege
barvinok_bound: add
-
-
itera
t
e op
t
ions fo
r
evalu
a
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
verify
.
c: export functions for setting and cle
a
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
verify
.
c
: e
v
alue_optimum: allo
w
computation of opti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
b
e
rns
t
e
in
.
c
c
: e
v
al
u
e2ex: don't as
s
ume
all
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
bound
.
cc: fix call to evalu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{ad
d
,mul
}
_pe
r
iodics
:
plug me
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoo
l
aege
evalue
_
b
ernstein_coeff
i
ci
e
n
t
s:
handle
pr
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolae
g
e
upda
t
e polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n
Verdoolaege
lattice_width
.
c:
skip directions t
h
at ar
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add
cdd94e-test to dist
r
ibuti
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verd
o
olaege
omega/occ: optionally use p
a
rker for c
o
mputing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
n
ormal
i
za
t
ion
.
c: skew_to_positive_orthant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/convert
.
cc:
r
e
lation2Doma
i
n:
o
nly co
l
lect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
occ: add dump
f
or dum
p
ing
in
b
arvinok_enumerat
e
_
e
format
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
erdoolaege
barvinok_enumerate_e: optionally use
parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
er
d
oo
l
aege
standard_constraints: take constraints instead
of
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalizat
i
o
n
.
c
:
extrac
t
standard
_
constraints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
par
k
er/cou
n
t_solutions
.
c
c: fix trea
t
ment of
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
comp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ol
a
ege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
d
o
o
laege
euler
.
cc: evalue_der
i
ve: handle constant p
o
ly
n
o
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add som
e
test sets from
cases 2004 and cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
do
o
laege
rename ba
r
vinok_maximize to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaeg
e
a
d
d a
t
est for
t
est_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue
_
range_pr
o
pagatio
n
:
rem
o
ve
redu
n
dan
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_bound: record
number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
g
e
test_bound: convert quasipolyno
m
ials to
po
l
yn
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
d
oo
l
a
e
ge
test_bound: compare
polynomial bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oo
l
aege
verify
.
c: optimum: handle input evalu
a
ting to n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: ex
t
ract evalue_optimum
from maximiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doola
e
ge
verify
.
c:
extract c
o
mmon cod
e
f
or verifying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
evalue_range_propagati
o
n: add
mo
n
otonic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
b
arvinok_maximize: optio
n
ally use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
eg
e
Add some suppo
r
t fo
r
d
ealing with e
v
a
l
ues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
bar
v
inok_en
u
merate: suppo
r
t
u
se of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
i
mp
l
e
ment Bernou
l
li_
s
um as
conv
e
r
s
ion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Bernoulli_su
m
_evalue: expl
o
i
t
i
n
te
g
er bo
u
nds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaeg
e
keep track of number
of Bern
o
u
ll
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
bernoulli
.
c: protect s
h
ared ev
a
lue from modifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test Bernoulli sum
s
based exact e
n
umerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
r
v
i
nok_count_wit
h
_o
p
ti
o
ns: compute (exact) Be
r
noul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
e
rnoulli_s
u
m_evalue: optionally han
d
le
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
lat
t
ice_
p
o
i
nt
.
h: exp
o
rt fra
c
tio
n
al_part wit
h
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
barvin
o
k
_
enumerate_with_options: compute
(exact
)
Ber
n
oull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Ber
n
oulli_sum_evalue:
h
andle equalit
i
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli
_
s
um_evalue: cut off s
o
me redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_e
v
a
lue:
m
ake sure no
empty part
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
Bernoulli_sum_evalue: remo
v
e redundant
c
onstrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ver
d
oolaege
b
e
rnoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
Bernoulli_sum: han
d
le co
n
text
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
for_
e
ach_low
e
r_upper_bound: add an
o
ther callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olae
g
e
verify
.
c:
a
djust
default range to context if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
euler
.
cc: su
m
mate_over_dom
a
in: only c
o
nsider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
par
a
m_util
.
c: export Param_Vertex_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Param_Polyhedr
o
n
_
Facet: pass facet defini
n
g const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
genfun
.
cc: parallel_
p
ol
y
topes: don't bothe
r
ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_split_d
o
m
a
ins_
i
nto
_
o
r
t
h
a
n
ts:
d
on't
reduce
e
val
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_read:
only
a
ll
o
w ter
m
s to cross
newlines i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
ge
eval
u
e_read: only accept implicit mu
l
tiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
e
g
e
ev
a
lue_read: acc
e
pt constraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
evalu
e
_ber
n
stein_coeffici
e
nts:
e
nsur
e
r
esult p
a
rt
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
ber
n
s
t
ein: piecewise_lst: correctly print a
n
d e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
r
e
move_all_equal
i
t
ies
:
keep
removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
p
o
lyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
consistent u
s
e
o
f Kevin'
s
i
n
itia
l
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdoolaege
doc: update n
o
w publish
e
d pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoola
e
ge
for_each_
l
ower_up
p
er_
b
ound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rev
e
rt
"
ead
d
_part
i
tions:
t
ry to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
ev
a
l
ue_
r
ead_p
a
rtition: put pa
r
titions b
a
ck
in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
evalue: reduce_evalue
:
add note on some mis
s
ed opp
o
rtunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
bernst
e
i
n
.
cc: handle inp
u
t with unions + relatio
n
vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaeg
e
m
a
ximize
.
c
c
: deal
w
ith unions in input during v
e
rification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_subst
i
tu
t
e: properly handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
eva
l
ue
.
c: cl
e
an
up emul
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdool
a
ege
evalue_read: c
o
rrectly
r
ead v
a
riabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
_
rea
d
: accept top level "relati
o
n
"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
upd
a
t
e polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
eval
u
e_backsu
b
stitute: add r
e
quired m
o
dulo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
evalue
.
c: *_part
i
ti
o
ns:
s
impl
i
fy constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aege
doc
:
more
specifi
c
informati
o
n on buggy
cddlib ve
r
sion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoolaege
config
u
re
.
in: require cddlib 0
.
94e b
y
testing for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Ve
r
doola
e
ge
con
f
igur
e
.
i
n
: o
n
ly compil
e
oc
c
if
c
ode_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
add some test
s
f
o
r implementati
o
n of pr
o
jecti
o
n theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docu
m
ent new options and
new applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
AUT
H
ORS: update sup
p
ort
in
f
o
rmation
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoo
l
aege
genfun
.
c
c: s
h
ort_ra
t
::print: co
r
rectly p
r
int polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erd
o
olaege
Ex
p
ort s
e
ries
a
s ba
r
vinok_enu
m
erate
_
series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
e
r
d
o
olae
g
e
rem
o
ve_parame
t
er_equalities: stop "removing
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
eries
:
leave freeing
of P ar
g
ument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
do
c
: doc
u
men
t
implementati
o
n o
f
the pr
o
jection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add
barvinok_enumerate_e_
s
eries implementing t
h
e pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
genfun
.
cc: fix and document parallel
polyt
o
pes
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
Move GiNaC
-
independent part of li
b
rary
t
o barv
i
no
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaeg
e
do
c
:
how to co
u
nt the
number of
eleme
n
ts in p
o
s
sibly
.
.
.
commit
|
commitdiff
|
tree
next