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: export relative_coordinates
2008-04-25
S
ven Ve
r
doolaege
lattice_
p
oint
.
cc: export relative_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lat
t
i
ce_
p
oi
n
t
.
h: make
s
u
r
e
c
o
rrect evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdool
a
ege
l
a
ttice_point
.
cc: add ceil
i
ng
f
unction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c:
internalize ug
l
y bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_poi
n
t
.
cc
:
multi_mono
m
/lattice_po
i
nts:
r
e
tu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ver
d
ool
a
ege
d
o
c: clean
up "e
x
pone
n
tial
s
ubstitution" sect
i
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bou
n
d
.
cc
:
avoid loss of
p
r
ecision caused by conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oo
l
a
e
g
e
b
ar
v
inok_bound: op
t
i
onally
take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
barvino
k
_bound: add --iterate op
t
i
o
ns for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: e
x
port functions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
verify
.
c: eva
l
ue
_
optimum:
a
l
low co
m
putation o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdool
a
ege
bernstein
.
cc: evalue
2
ex: don'
t
as
s
ume all pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
boun
d
.
cc: fix
c
all to evalue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}
_
periodi
c
s:
p
lug mem
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaeg
e
eval
u
e_bernst
e
in_coef
f
i
c
ients: handle pr
o
b
lems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
lae
g
e
lattice
_
width
.
c: skip directions that
a
re id
e
ntical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdool
a
ege
Makefile
.
am: a
d
d cdd94e-te
s
t to
d
istribu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ:
optionally use par
k
er
for
c
om
p
uting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
g
e
normalization
.
c: skew_to
_
positive_orthant: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoola
e
ge
om
e
ga/conv
e
rt
.
cc: rela
t
ion2Domain: onl
y
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdool
a
ege
occ: a
d
d dum
p
for
d
umping in barvi
n
o
k
_enumerate_e
f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok
_
enum
e
rate_e: o
p
t
i
onally u
s
e parker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoola
e
ge
standar
d
_constraints: take c
o
nstraints inst
e
ad
of po
l
y
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
normal
i
zation
.
c: extra
c
t standard_const
r
aints
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
parker
/
count_solutions
.
c
c
: f
i
x treatment of existent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
euler
.
c
c: evalue_
d
erive: h
a
ndle co
n
stant po
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
add
s
ome
tes
t
sets from cases 2004
a
nd cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename b
a
rv
i
n
o
k_maximiz
e
to b
a
rvino
k
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add
a
test for test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
e
value_r
a
nge
_
p
r
opagation
:
remove redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
test
_
bound: record
n
umber of polynomia
l
s as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
tes
t
_bo
u
nd
:
con
v
e
rt quasipol
y
nomials t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
t
e
st_bound
:
compare polynomial
b
o
und algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
f
y
.
c: optimum: han
d
le i
n
put evaluating to n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoo
l
aege
v
erify
.
c: e
x
tract evalue_optimum
f
r
om
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
verif
y
.
c
:
extract common code for verifyi
n
g o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_range_propagatio
n
:
a
d
d mono
t
o
nicit
y
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
la
e
ge
b
a
rvinok_maximize: optio
n
ally us
e
(bas
i
c)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laeg
e
Ad
d
some sup
p
ort for deal
i
ng with evalues that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok_enumera
t
e: supp
o
rt use of E
u
ler-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
l
a
ege
im
p
l
ement Bernoulli_s
u
m
as conversi
o
n
f
rom unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_su
m
_ev
a
lue: ex
p
loit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
keep tr
a
ck of num
b
er
o
f Bernoul
l
i
su
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
bernoulli
.
c: protect
s
hared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test Bernoulli sums
b
ased exact enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolae
g
e
ba
r
vinok_c
o
unt
_
wi
t
h_options: compu
t
e
(exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oola
e
ge
B
e
rnoul
l
i_
s
um_ev
a
lue: opti
o
n
a
l
ly ha
n
dle
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
lattice
_
point
.
h: e
x
port
fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
doolaege
bar
v
inok_e
n
u
merate_with_op
t
ions: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
Bernoulli_
s
um_evalue
:
han
d
l
e equal
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_sum_evalue
:
cut off som
e
redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
Bernou
l
l
i_sum_evalue
:
make
s
u
r
e no empty partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
ernoulli_sum_evalue: remove redundant constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c:
mino
r
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
Bernou
l
li_sum: handle con
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdo
o
laege
Ber
n
o
u
ll
i
_su
m
_
evalue:
m
a
ke sure enough memory is
a
lloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_e
a
ch_lower
_
u
p
per
_
bou
n
d
:
add anoth
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
ve
r
ify
.
c: adjust default
range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rd
o
o
l
aege
eule
r
.
cc:
s
u
mmate_over_
d
omain: only consi
d
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: export Param_Ve
r
tex_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Para
m
_Polyhedron_F
a
cet:
p
ass fa
c
et defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
genfun
.
cc: parallel_po
l
ytopes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
evalue_spl
i
t_domains_into_orthants: don't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
evalue_read: only
a
l
low terms
t
o
cross ne
w
lines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaeg
e
evalue_
r
ead: only accept implicit multiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolae
g
e
e
value
_
read: accept constra
i
nts con
t
aining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laeg
e
ev
a
lue_berns
t
e
in_coeffici
e
n
ts: e
n
s
u
re r
e
sult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
bernstein: piecewise_l
s
t
:
correctly print and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
remove_all
_
equalit
i
es
:
kee
p
removin
g
parameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
update p
o
ly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
d
o
c: co
n
sistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdoolaege
doc: update n
o
w published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
f
or_
e
ach_low
e
r_upper_bou
n
d: allow
absence of l
o
w
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
Revert "
e
add_pa
r
tition
s
: t
r
y
t
o c
o
mbi
n
e mult
i
ple
domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_r
e
ad_partition:
put partit
i
ons back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue
:
reduc
e
_evalue
:
add note on some misse
d
opportun
i
tie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
ae
g
e
b
ernstein
.
cc: handle in
p
ut with unions + relation violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Ve
r
dool
a
ege
maximize
.
cc: deal with un
i
ons in input
during veri
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
_
substitute:
p
roperly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaeg
e
eva
l
ue
.
c: clean up em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
ege
evalue_read: corre
c
tly read
v
ariabl
e
name
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
e
value_
r
ead: accept top le
v
el "
r
elation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
doolaeg
e
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
V
erdoolaege
evalue_backsubstitute: add requi
r
ed mo
d
ulo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en
V
erdoolaege
evalue
.
c
:
*_partition
s
: simpli
f
y constraints
be
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
d
oc: more
specific informatio
n
on buggy cd
d
li
b
versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en
Verdool
a
ege
c
o
nfigure
.
in:
require
cddlib 0
.
94e b
y
t
e
s
ting
f
or b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven
Verdoolaege
conf
i
g
u
r
e
.
in
:
only
compi
l
e o
c
c i
f
c
o
d
e_
g
en lib
r
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
add some tests f
o
r
implementati
o
n of
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolae
g
e
doc: document new o
p
tions
a
nd new a
p
plicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
A
UTH
O
RS: update support informat
i
on
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaeg
e
g
enfun
.
cc: s
h
o
rt_rat::print: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolae
g
e
Export
s
erie
s
a
s
barvinok
_
e
numerat
e
_
series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
remov
e
_parameter_eq
u
a
lities:
s
top "re
m
oving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
series: leave
f
reeing o
f
P ar
g
ument to callin
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
d
oc: document im
p
l
e
me
n
tation of the p
r
oject
i
o
n
theorem
commit
|
commitdiff
|
tree
next