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
power.h: extract from euler.cc
2008-04-25
Sven Verd
o
olaege
power
.
h:
e
x
tract f
r
o
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doo
l
aege
introdu
c
e evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
lattice_point
.
cc:
export
relati
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
t
ice_point
.
h: mak
e
sur
e
corr
e
c
t
e
v
a
l
ues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
l
a
ttic
e
_point
.
cc:
ad
d
c
eiling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
util
.
c: inte
r
n
a
liz
e
u
g
ly
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
latt
i
ce_po
i
nt
.
cc
:
multi_monom/la
t
tice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoola
e
ge
d
o
c: c
l
e
an up "exponentia
l
substitution" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
test_bound
.
cc: avoid l
o
ss of precis
i
on caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoola
e
ge
barvinok
_
bound: optionally t
a
k
e
maximal size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
ba
r
vinok_boun
d
:
add --i
t
era
t
e
o
ptions for evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
verify
.
c: expo
r
t f
u
nctions for s
e
ttin
g
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verify
.
c: evalue_opt
i
mum
:
all
o
w computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaeg
e
bernstei
n
.
c
c:
e
value2ex:
d
on't assume all p
e
riodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc:
fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
e
{
add,mu
l
}_
p
eriodics: plug memory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
evalue_bernstein_
c
oefficients
:
handle p
r
obl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdoolaege
la
t
t
i
ce_w
i
dth
.
c: skip direct
i
ons t
h
a
t are identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Ve
r
doolaege
Makefile
.
am: add cd
d
94e
-
te
s
t to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
omega/occ: optionally us
e
p
arker f
o
r c
o
mputing cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
a
ege
normali
z
ation
.
c: skew_to_
p
o
s
itive_orthant: prop
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
er
d
ool
a
eg
e
omega/convert
.
cc: rela
t
ion
2
Domain: on
l
y
coll
e
c
t
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
occ:
a
d
d dump for dumpin
g
i
n barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
ven
Verdoolaege
b
arvin
o
k_enumerate_e
:
opt
i
onally use parker's
m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
a
e
g
e
standard_c
o
nstra
i
n
t
s:
take
c
onstra
i
nts instead o
f
p
o
lyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
no
r
ma
l
izati
o
n
.
c: e
x
trac
t
standard_c
o
n
straints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
d
oola
e
ge
parker/coun
t
_
s
oluti
o
ns
.
c
c: fi
x
t
reatment of existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
compile
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
A
d
d pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
euler
.
cc: e
v
a
l
ue_de
r
ive: handl
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add some test sets from cases 2004
and cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
r
e
n
a
me barvin
o
k_m
a
ximize to
b
arvino
k
_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doolaege
add a
t
est for t
e
st_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
a
nge_propag
a
t
i
on: remove red
u
ndant p
o
lynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
t
est_bound: rec
o
rd n
u
mbe
r
of po
l
yno
m
ials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test_bound: conver
t
quasipolyno
m
ials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
test_bou
n
d: compare po
l
ynomial b
o
un
d
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
i
f
y
.
c: optimum: hand
l
e
i
nput evaluating
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
ver
i
fy
.
c: extrac
t
evalue_optimum from m
a
ximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
verif
y
.
c: extrac
t
c
o
mmon code fo
r
ve
r
ifying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
eval
u
e_range_propagation: a
d
d monot
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok_maximi
z
e: optionally use (basic) rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doola
e
ge
Ad
d
som
e
support f
o
r dealing with e
v
a
lues that repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barv
i
nok_enum
e
rate: sup
p
ort use of Eul
e
r-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
im
p
lemen
t
Bernoulli_
s
um as
c
onversion
from
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_
e
value: expl
o
i
t integer bo
u
nd
s
to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
keep t
r
ack
of
number
o
f Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
be
r
noulli
.
c: protect shared evalue
f
rom modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test Bernou
l
li sums based exact enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaeg
e
barvinok_c
o
u
n
t
_with_options: compute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
Bernoulli_
s
um_evalue: optionall
y
handle
f
r
act
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
l
attic
e
_
point
.
h: export fr
a
ctional_part wit
h
C l
i
nka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvino
k
_en
u
m
e
rate_with_optio
n
s:
c
omp
u
te (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rd
o
o
l
aege
B
e
rnoulli_sum_evalue: handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
eg
e
Bernoulli_
s
um_evalu
e
: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaeg
e
Bernoul
l
i_sum_eval
u
e: make
s
ure no empty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_s
u
m_
e
v
a
l
ue: remove redundant
co
n
str
a
int i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
a
ege
bernoulli
.
c: m
i
nor re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum:
h
a
ndl
e
context cons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
Bernoull
i
_s
u
m_e
v
a
lue: ma
k
e sure
e
n
o
u
g
h memor
y
i
s alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
for_ea
c
h
_
lower_upper_bound
:
add another callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
verify
.
c: adjust
default range
t
o context if
n
eede
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olae
g
e
euler
.
c
c: summ
a
te_over_dom
a
in: onl
y
con
s
ide
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param
_
util
.
c
:
e
x
port Param_Vertex_
S
et_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Param_Poly
h
ed
r
on_Facet: pass facet def
i
ning c
o
n
stra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
g
enfun
.
cc:
p
a
rallel_po
l
ytopes:
don't bother
h
an
d
li
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
eval
u
e_split
_
domains_into_orthants:
d
on't reduce ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ead: on
l
y allow terms to c
r
o
s
s newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
evalue_re
a
d: only
accept
i
m
p
l
i
cit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_read:
accept constraints c
o
ntain
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
a
ege
evalue
_
berns
t
ein_co
e
fficients: ens
u
re re
s
ult
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
bern
s
tein
:
piecewis
e
_lst: correctl
y
prin
t
an
d
evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
laeg
e
r
emove_all_equalities: keep
r
e
m
o
v
i
n
g parameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olae
g
e
doc: consist
e
nt
u
se of Kev
i
n's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: update
n
ow
p
ublish
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: allow ab
s
en
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Ver
d
oolaege
Revert "eadd_partitions:
try to c
o
mb
i
ne mu
l
ti
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition:
pu
t
partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue: reduce_evalue: add note
o
n
some missed opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oolaege
bernstein
.
cc: handle input
with
u
nions + relat
i
o
n violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
Verdoola
e
g
e
maximize
.
c
c: de
a
l with unions in
inpu
t
during ver
i
fi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
ev
a
l
u
e_substi
t
ute: prop
e
rl
y
handl
e
relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
ege
evalue
.
c: clean up
emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read
:
correct
l
y read varia
b
le
nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_read: accep
t
top lev
e
l
"
rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
e
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdool
a
ege
evalue_backsubst
i
tute: add require
d
modulo
c
onstraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
d
oola
e
ge
e
value
.
c: *_pa
r
t
i
t
i
o
n
s
: simplif
y
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdoola
e
ge
doc:
m
ore
specific info
r
ma
t
ion on buggy
c
ddlib ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
V
e
r
doolaege
configure
.
in: req
u
ire cddl
i
b 0
.
94e by testin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven
Verdoolaege
configure
.
in:
only compile oc
c
if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
l
a
ege
add
s
ome
t
e
sts
for impl
e
ment
a
t
i
on of project
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
doc: docume
n
t
new o
p
tions and new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
ge
AUTHORS
:
update suppor
t
i
nformation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
genfun
.
cc: s
h
ort_rat::print: corre
c
tl
y
print
p
olynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
Export series as barvinok_e
n
u
m
er
a
te_se
r
ies and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
olaege
r
e
m
ove_parameter_equalities:
s
t
o
p "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
next