repo.or.cz
/
barvinok
/
uuh.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: add ceiling function
2008-04-24
Sven Verdoo
l
aege
lattice_point
.
cc: add ceilin
g
f
unction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
util
.
c:
i
nt
e
r
n
a
l
ize u
g
ly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoola
e
ge
lattice_point
.
c
c: mult
i
_
m
onom/lat
t
ic
e
_poin
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
e
n
Verdoolaege
doc
:
clea
n
up "e
x
pone
n
tial
s
ubstitution" section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
e
r
doolaeg
e
t
est_bou
n
d
.
cc: avoid loss of
p
recis
i
on caused by
c
onv
e
rsio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
er
d
ool
a
ege
barvino
k
_bound:
optional
l
y tak
e
ma
x
imal size
o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
do
o
laege
barv
i
nok_bo
u
nd: a
d
d --iterate op
t
ion
s
for
e
valuat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
ve
r
ify
.
c:
export f
u
nctions for
s
etting and cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoola
e
ge
v
e
r
ify
.
c: e
v
alue
_
op
t
imum
:
allow co
m
p
u
tation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bern
s
tein
.
cc: e
v
alue2ex
:
don't assu
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
b
o
und
.
cc: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
e{add,mul}_pe
r
iodi
c
s: pl
u
g memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
evalue_bernstein_coe
f
fic
i
ents:
h
an
d
le
problems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
lae
g
e
l
attice_w
i
dth
.
c
:
s
kip directions that
a
re ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdoo
l
aege
M
akefile
.
am: ad
d
cdd
9
4e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdool
a
ege
o
m
ega/occ:
o
ptionally use parker f
o
r com
p
uting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
normalization
.
c:
s
kew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
c
c: relation2Domain: only
c
ollect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoo
l
aege
oc
c
:
add du
m
p for dum
p
ing in
b
arvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
bar
v
i
n
ok
_
enumer
a
te_e: optionally use parker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
s
t
an
d
ard_constr
a
ints: tak
e
c
o
nstrain
t
s instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
ege
norma
l
ization
.
c: extr
a
ct standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
er
d
oo
l
aege
p
ar
k
er/count_s
o
lut
i
ons
.
cc: fix treatment of
ex
i
stenti
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaege
com
p
ile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
euler
.
c
c
:
e
value_derive: handle constant
p
ol
y
n
omials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
a
dd so
m
e t
e
s
t sets
from cases 2004 and cc
2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
e
name barv
i
nok
_
maximize to barvi
n
o
k
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
e
v
alue_range_p
r
opagatio
n
: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
test
_
bound: recor
d
number of po
l
ynomials
a
s
"s
i
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bound: c
o
nvert q
u
as
i
po
l
y
n
omials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bou
n
d: comp
a
re poly
n
o
m
ial b
o
un
d
a
l
g
o
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimu
m
: handle in
p
ut evaluating
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
v
e
r
ify
.
c: extra
c
t
e
value_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdo
o
laege
ver
i
fy
.
c: extract common
c
ode for v
e
ri
f
y
i
ng
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eval
u
e_rang
e
_pr
o
pagation: add
monotonicit
y
t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_max
i
miz
e
: o
p
tional
l
y
u
s
e (b
a
sic) range propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
Add some supp
o
r
t
for de
a
l
i
ng
with e
v
al
u
es that represen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
e
n
umerate: suppor
t
use
o
f Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
i
m
p
lement Berno
u
lli_s
u
m as conversion fr
o
m unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Be
r
noulli_sum_evalue
:
explo
i
t
int
e
ger
b
o
unds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
keep
t
r
a
ck of
numb
e
r
of
Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoull
i
.
c: protec
t
shared evalue from modificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test Bernoull
i
su
m
s base
d
exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_count_w
i
th_
o
ptions
:
comp
u
te (exact) Ber
n
ou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoo
l
a
ege
Bernoulli_sum_eval
u
e: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
lattic
e
_point
.
h: export fracti
o
n
a
l
_part
w
i
th C
linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
b
a
rvinok_enumerate_wit
h
_op
t
ion
s
: comp
u
t
e
(exact
)
Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolae
g
e
Bernoulli_sum_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
B
e
rno
u
lli_s
u
m
_
e
value: cut o
f
f
some
red
u
ndant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
nou
l
li_sum_e
v
alue:
make sur
e
no emp
t
y partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
e
rno
u
lli_s
u
m_evalue: remove redun
d
ant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
bernou
l
li
.
c: minor refactori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
ernoulli
_
sum:
h
andle context
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oo
l
aege
B
ernoulli_sum_ev
a
lue: make sure enough memor
y
is allo
c
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
fo
r
_eac
h
_lower_uppe
r
_bound
:
a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: adjust default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
eule
r
.
cc
:
summate_ov
e
r_domain: only cons
i
d
er act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
param_
u
til
.
c: export Para
m
_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Param
_
P
olyhedron_Facet: pa
s
s face
t
definin
g
con
s
tra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
ge
n
fun
.
cc
:
parallel_polyto
p
e
s
: don't bothe
r
h
a
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
o
l
a
ege
eva
l
ue_spli
t
_d
o
ma
i
ns_in
t
o_or
t
hant
s
: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_
r
e
ad:
only allow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
a
d: only acc
e
pt implicit multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
eva
l
ue_read: accept
c
onstraints contai
n
ing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_bernstein_
c
oefficients:
ensure
r
esult p
a
rti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdoolaege
bernstein: piecewi
s
e
_lst: co
r
rect
l
y prin
t
and evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
remove_all_equ
a
lities: keep removing parameter equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
upd
a
t
e
po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent use
o
f Kevin'
s
init
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
ege
doc: update
n
ow published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoo
l
aege
f
or_
e
ach_lower_upp
e
r_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "e
a
dd_partit
i
ons:
try to combi
n
e
m
u
ltiple doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition: put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalue: reduce_e
v
alue: add n
o
te on so
m
e missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
b
e
r
n
stein
.
c
c: handle inp
u
t
with uni
o
ns +
r
e
l
ation vio
l
at
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
ma
x
imize
.
c
c
: deal
with unions in input
d
uring verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue_su
b
s
t
i
tut
e
: pr
o
perly handle
r
elations
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
olaege
evalue
.
c: clean u
p
emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
eval
u
e_read: co
r
r
e
c
t
ly
r
e
ad
v
ari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: a
c
cept
top lev
e
l "rel
a
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolae
g
e
u
pd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdoolaege
evalue_backsubstitute: add require
d
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdo
o
laege
evalue
.
c: *
_
partitions: simplify cons
t
raints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more specif
i
c info
r
mat
i
on on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: require cddlib 0
.
94e
by t
e
sting for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
o
nfigu
r
e
.
in: only compile
o
c
c if
c
o
de_g
e
n l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
add some tests for implementation of projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolae
g
e
d
o
c: document new options an
d
new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
AUTHORS: upda
t
e support inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
genfu
n
.
cc
:
sho
r
t_rat::print: correctly print
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Export s
e
ries as bar
v
inok_enume
r
ate
_
serie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
a
eg
e
remove_parameter_equalities: stop
"
removin
g
" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
ser
i
es:
l
ea
v
e freeing
o
f P argu
m
e
nt
to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
d
o
c
: d
o
cument
i
mplem
e
ntation
o
f the proje
c
t
i
o
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add
barvinok_e
n
umerate_e_series implementin
g
t
h
e
p
r
oje
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
gen
f
u
n
.
c
c: fix an
d
docum
e
nt pa
r
a
llel pol
y
t
opes class
commit
|
commitdiff
|
tree
next