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
ve
r
ify
.
c: evalue_optimum:
a
llow
c
o
mputa
t
ion of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc:
e
val
u
e2ex:
d
on't
a
s
sume
a
ll period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolaege
b
ou
n
d
.
cc: fix
call to ev
a
lue_
c
o
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
e{a
d
d,mul
}
_
p
eriodics
:
plug memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erd
o
olaege
evalue_ber
n
stein_coefficie
n
ts: handle proble
m
s w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olae
g
e
lattice_widt
h
.
c
: skip directio
n
s th
a
t a
r
e ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
Makefile
.
am: ad
d
cdd94
e
-test to distributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/o
c
c
:
optionally use parker for computin
g
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
normalization
.
c: skew_to_posit
i
ve_orthant:
proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/con
v
ert
.
c
c
:
r
ela
t
i
o
n2Domain: only co
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdool
a
ege
oc
c
: a
d
d
dump for dumping in
b
arv
i
n
ok_enumera
t
e_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoola
e
g
e
barvinok_enumerate_e:
o
ptionally use parker'
s
meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
sta
n
dard_
c
onst
r
aints: take
c
onstr
a
ints instead of poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norma
l
ization
.
c: extract standard_
c
onstrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
parke
r
/count_solutions
.
cc: fix treat
m
ent
of exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
e
rdoolaege
com
p
i
l
e pa
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
cc:
ev
a
lue_deriv
e
: handl
e
c
onstant p
o
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
add some test sets from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ren
a
me b
a
rvinok_ma
x
imize
to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
a
d
d a test for te
s
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
eval
u
e_range_propagation: remove
r
edun
d
ant poly
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test
_
bound: record nu
m
ber of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolae
g
e
test_bound: c
o
nvert qu
a
sipolynomia
l
s
to p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare polynomial bound algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoola
e
g
e
verify
.
c: optimum:
h
andle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
verify
.
c
: extract evalue_optimum from
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: extract c
o
mmon code for ver
i
fying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
evalue_range_prop
a
g
ati
o
n: add monoto
n
i
c
it
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
o
l
aege
b
a
rvinok_m
a
ximize: optiona
l
ly
us
e
(basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
Add s
o
me support for dealing wit
h
evalue
s
that
r
epres
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok_en
u
merate: support us
e
of Euler
-
Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
implement Bernoulli_s
u
m
as conversion from
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue: exploit int
e
ger b
o
unds
t
o r
e
d
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep
t
r
ack of number
o
f Ber
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
o
l
a
ege
bernoulli
.
c
: prote
c
t
s
har
e
d evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test Bernoulli sums ba
s
ed
exact enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvinok_count_with_o
p
t
i
ons: comp
u
te (exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
Bernoulli_sum_e
v
alue:
o
p
tionall
y
handle fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
la
t
ti
c
e
_
poi
n
t
.
h: exp
o
rt
f
ractional_part with
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_enumerate_with_optio
n
s: compute
(
exa
c
t) B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_sum_evalu
e
: ha
n
dle equal
i
ti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Be
r
n
oull
i
_
s
um_evalue: cut off some
r
edund
a
nt
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli
_
sum_evalu
e
: make
s
ure no emp
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: remove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
b
er
n
oulli
.
c:
m
inor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
Bernoul
l
i_su
m
: handle context constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_evalue: make sure enough
m
emory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_eac
h
_lo
w
er_upper_bound: add another
call
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
veri
f
y
.
c: adjust d
e
fault
ran
g
e to context i
f
n
eede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
eule
r
.
cc: summate
_
o
v
er_domain:
o
nly consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
e
g
e
par
a
m_util
.
c: export
Param_Ve
r
t
ex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolaege
Param_Polyhedr
o
n_Facet: pass facet defining c
o
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
genf
u
n
.
cc: p
a
ral
l
el_polytopes:
d
on't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_s
p
li
t
_domains
_
into_o
r
thant
s
: do
n
't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
evalue_
r
e
a
d: only a
l
low t
e
r
m
s to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
evalue
_
re
a
d: o
n
ly acc
e
pt impl
i
cit
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_
r
ead:
accept constraints contai
n
ing "'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_bernstein_coefficients: ensu
r
e
r
esu
l
t partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
b
e
rnstein: piecewi
s
e_lst: co
r
rectly p
r
i
nt a
n
d
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
re
m
o
v
e_all_equalities: keep re
m
oving para
m
eter equ
a
liti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
update p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
do
c
: consistent use of Kevi
n
's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
doc: up
d
ate now
p
ublished pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
for
_
each_lower_u
p
p
e
r_
b
o
u
n
d
:
allow abse
n
c
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
Rever
t
"
eadd_partition
s
: try to combine multi
p
le
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
evalue_rea
d
_par
t
ition
:
put par
t
it
i
o
ns back in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value: reduce_evalue: add note o
n
some miss
e
d o
p
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
bernstein
.
cc: handle input with unions + re
l
ation
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
aege
maxi
m
ize
.
cc:
deal
w
ith unions in i
n
put during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
l
u
e
_substitut
e
: properly handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oola
e
ge
evalue
.
c
:
clean up
emul
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalue_re
a
d: co
r
rect
l
y r
e
ad variable names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
eva
l
ue_read
:
accept top lev
e
l
"
rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update po
l
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oo
l
aege
evalue_
b
a
cksubstitute: add required modulo co
n
s
t
rain
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verd
o
olaege
eva
l
ue
.
c
: *_partiti
o
ns: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoolaege
doc: more
specifi
c
i
nform
a
tion on buggy cd
d
l
i
b versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoolaege
configure
.
i
n: requ
i
re cddlib 0
.
94e by t
e
stin
g
for
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoolaege
configure
.
in: only compile o
c
c if
c
o
de
_
gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
add some tests f
o
r imple
m
entation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
doc: document new
o
ptions and
n
ew a
p
p
lication
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: up
d
at
e
su
p
port inf
o
rmation
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n V
e
rd
o
olaege
genfun
.
cc: short_rat::print:
correctly pr
i
n
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
E
x
port series
a
s barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equalities: s
t
o
p "rem
o
ving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolae
g
e
series
:
leave fr
e
ein
g
o
f
P a
r
g
um
e
n
t to calling f
u
nct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc: document imp
l
e
m
ent
a
t
ion
o
f the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
ol
a
ege
add barvinok_enumerat
e
_e_series im
p
l
e
m
e
n
ting
t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfun
.
cc: fi
x
and document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
o
o
laege
Only compi
l
e
zsolv
e
if gcc 3
.
4 or
l
ater is a
v
aila
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Mo
v
e
GiN
a
C-independ
e
nt part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c
:
how to count the num
b
er of eleme
n
ts in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
la
e
ge
doc/imp
l
e
m
en
t
ation
.
tex: avoid multiply de
f
ined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
latti
c
e
_
wid
t
h
.
c: try
v
ertices of previous
i
nteger
h
ul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verd
o
olaege
d
o
c:
d
oc
u
ment inte
g
e
r
hull
computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
oolaege
hull
.
c: a
d
d all points
f
oun
d
by sampling
d
irectly
to
.
.
.
commit
|
commitdiff
|
tree
next