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
olaege
verify
.
c: eva
l
ue_optimum: all
o
w computat
i
on of
o
ptim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olae
g
e
be
r
nstein
.
cc: ev
a
lue2
e
x:
d
on't
a
ssume all
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
ge
bound
.
cc: fix
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
e{
a
dd,mul}_periodics: plug mem
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
eva
l
ue_bernstein_coef
f
icients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Ver
d
oolaege
l
a
tt
i
ce_width
.
c: skip directio
n
s that are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Ma
k
e
f
ile
.
am: add cdd94e-test to di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
doo
l
ae
g
e
om
e
ga
/
occ:
o
pt
i
on
a
lly use par
k
er for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
normalizati
o
n
.
c: skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
omega/conver
t
.
cc: relation2Domain: onl
y
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: a
d
d
dum
p
f
o
r
d
u
m
p
i
ng in barvinok_e
n
umerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvino
k
_en
u
merate_
e
: optionally use parker
'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
standard_constrain
t
s
: take cons
t
raints inste
a
d
of polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norma
l
ization
.
c: extr
a
ct standard_constraints
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven V
e
rdoolaege
parker/c
o
unt_s
o
lutions
.
cc
:
f
ix treatment
o
f ex
i
ste
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoola
e
ge
com
p
ile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
u
l
e
r
.
cc: evalue
_
deri
v
e:
h
andl
e
c
o
nstant p
o
lynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add som
e
t
e
st
s
ets fro
m
cases 2004 an
d
c
c
2
005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
rename barvinok_max
i
mize to
b
a
rvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for te
s
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
a
n
g
e_pro
p
agation: remove redund
a
nt polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
t
e
st
_
bound: record numb
e
r
of
polynomials a
s
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
tes
t
_bound: convert q
u
asipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_bou
n
d
:
compare polynomi
a
l bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
verify
.
c:
optimum: handle inpu
t
evaluati
n
g
to neg
a
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: extr
a
ct evalu
e
_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verify
.
c
:
e
xtr
a
c
t
com
m
on c
o
de for verifying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue
_
r
a
n
g
e
_propagation: add mono
t
onicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok
_
m
a
ximi
z
e: optionally
u
s
e (basic)
ran
g
e propag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Add some sup
p
ort for d
e
aling with evalues tha
t
r
e
p
rese
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
b
arvin
o
k_enumerate:
supp
o
rt u
s
e o
f
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
i
mplement Bernoulli
_
sum as conv
e
rsion from
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_evalue: exploit integ
e
r
b
ounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
keep tr
a
c
k
of number of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
l
aege
bernou
l
li
.
c: prot
e
ct shared e
v
alue from modificat
i
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st
B
e
r
noulli sums based exact enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvino
k
_cou
n
t
_wit
h
_options: com
p
ute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
ernoulli_sum_evalue: optionally ha
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_
p
o
i
n
t
.
h: expo
r
t fract
i
onal_part with C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaeg
e
barvinok
_
e
n
umerat
e
_with_opt
i
ons: co
m
p
ute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum_evalu
e
: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
lae
g
e
Bernoulli_sum_evalue: cut off some
r
e
dundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
Bern
o
ulli_sum_e
v
alu
e
: make sure no empty par
t
i
t
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bern
o
ull
i
_
s
um_eval
u
e: remove r
e
dunda
n
t constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
bernou
l
li
.
c:
mi
n
or r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum: handle context const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
B
ernoulli_sum_eval
u
e:
mak
e
s
u
re enough memo
r
y
i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
for_each_lower_upper_bound:
a
dd
anot
h
er callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ver
i
fy
.
c: a
d
just defa
u
lt r
a
nge to context
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
euler
.
cc
:
summate_over_
d
omain: only
consider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
param_util
.
c: export
Para
m
_Ve
r
t
ex_
S
et_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
P
a
ram_
P
olyhe
d
ron_Facet: pass facet defining constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ge
n
fun
.
cc: parallel_polytop
e
s:
don
'
t
both
e
r han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_s
p
lit_
d
omains
_
in
t
o_orthants: don't red
u
ce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read
:
only allow terms
t
o cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: only acc
e
pt implicit
m
ultiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
e
value
_
read: accep
t
const
r
aints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bernste
i
n_coefficien
t
s
: ensure result
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doo
l
a
e
ge
bernstein: p
i
ecewise_lst:
corr
e
ct
l
y
p
ri
n
t and ev
a
lua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_eq
u
alities
:
k
e
ep removing p
a
ramete
r
e
q
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
upda
t
e p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdool
a
ege
doc: con
s
i
s
tent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
ege
d
o
c: u
p
date now publis
h
e
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
d
o
olaeg
e
for_each_l
o
wer_upper_
b
ound: allow absen
c
e of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
laege
Rev
e
r
t
"
eadd_partitions: t
r
y t
o
combine multip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
e
value_
r
ead
_
partiti
o
n
:
put p
a
rt
i
tions back
i
n
t
h
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_ev
a
l
u
e
: add
n
ote on some missed op
p
ortun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
aeg
e
bernstein
.
cc: handle inp
u
t
w
ith
u
n
ions + relation v
i
ol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
maximize
.
cc:
deal with unions in in
p
ut du
r
ing
veri
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
ege
evalue_subst
i
tute: proper
l
y hand
l
e
r
ela
t
ion
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean
up
e
mul and
e
add
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
o
l
aeg
e
evalue_r
e
ad:
c
orrectly rea
d
variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
eva
l
ue_read: accept top l
e
ve
l
"re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
update
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Verd
o
olaege
evalue_ba
c
ksubs
t
itut
e
:
add required modulo
c
onstra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
dool
a
ege
evalue
.
c: *_pa
r
ti
t
ions: simplify constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
do
c
: more
s
pecific information on
b
u
g
gy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
V
erdoolaeg
e
configure
.
in: require c
d
d
l
ib 0
.
94e by
t
e
s
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: only compile o
c
c i
f
c
o
de_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Ve
r
d
o
olaege
add som
e
tests for implementation of
projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
do
c
: document new
o
ptions and new applic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: u
p
date support
information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
fun
.
cc:
sh
o
r
t_rat::print: correc
t
ly prin
t
polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Export series
a
s barvinok_enumerate_ser
i
es and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
remove_param
e
ter_equalitie
s
: stop "removi
n
g" e
q
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
series
:
le
a
ve
f
reeing of
P
a
rgument to
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c
: do
c
u
m
ent implementation of the pr
o
jection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
add barvinok_enumera
t
e_e_
s
e
r
ies implementing the proj
e
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
aege
genfun
.
cc:
f
ix and document
p
arallel poly
t
opes class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Only
c
ompile zsolve
if gcc
3
.
4 or l
a
ter
i
s av
a
il
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Mov
e
Gi
N
aC-indepe
n
dent part of librar
y
to b
a
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
p
o
ly
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c: how to count
the num
b
er of
e
l
ements i
n
possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
d
o
c/implementa
t
ion
.
te
x
: avoid mult
i
ply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
laege
lat
t
i
c
e_width
.
c: try vertices of previous int
e
ger
h
u
l
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: d
o
cument integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
rdoola
e
ge
h
u
ll
.
c
:
ad
d
a
l
l points found by
s
ampl
i
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
next