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
introduce evalue_shift_variables
2008-04-25
S
ven Verdoolaege
introduce eva
l
ue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
latti
c
e_point
.
cc: export
relat
i
v
e_coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdo
o
laeg
e
lat
t
ice_point
.
h:
mak
e
sure corr
e
ct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
lat
t
ic
e
_point
.
cc: add cei
l
ing function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c:
int
e
r
n
alize ug
l
y b
v
_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdool
a
ege
lattic
e
_po
i
nt
.
cc:
m
ulti_monom/latt
i
ce_points: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoo
l
ae
g
e
d
oc: clean up "expo
n
e
ntial su
b
stitution" section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
laege
test_bound
.
cc: avoid loss of pre
c
isio
n
ca
u
s
ed b
y
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven V
e
rdool
a
ege
barvinok
_
bound:
op
t
ionally take max
i
mal s
i
z
e of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
barvi
n
ok_bound: add --
i
te
r
ate opti
o
ns for
e
va
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdool
a
e
g
e
ver
i
fy
.
c
:
export
f
unctions for s
e
t
t
i
n
g
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
la
e
ge
v
erify
.
c: ev
a
lue_optimum:
a
llow computation of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
c
c
:
evalue2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
cc: fix cal
l
to evalue_
c
onvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
e{add
,
mul}_periodics: plu
g
m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
e
v
alue_
b
ernstein_c
o
e
fficients:
h
a
n
dle proble
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoolaeg
e
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoola
e
g
e
lattice_widt
h
.
c: s
k
ip directions th
a
t are i
d
en
t
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
V
erdoolaege
M
a
kefile
.
am:
a
dd cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdo
o
laege
omega/
o
cc
:
optionally use pa
r
ke
r
fo
r
computing
c
ardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
d
o
ola
e
g
e
normalization
.
c
:
s
k
ew_to_pos
i
tiv
e
_orth
a
nt: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
dool
a
eg
e
omega/co
n
vert
.
cc: relation
2
Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
occ: ad
d
dump fo
r
dumping
i
n b
a
r
vinok_e
n
u
m
e
rate
_
e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
barvinok_
e
num
e
rate_e: optional
l
y use pa
r
ker's m
e
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
standard_constraints: take c
o
nstr
a
i
n
ts instead of polyh
e
d
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rmal
i
zati
o
n
.
c
:
extrac
t
s
tandard
_
c
o
nstr
a
i
n
ts f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/
c
ount_solu
t
ion
s
.
cc
:
fix tr
e
at
m
ent of e
x
i
s
te
n
ti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
e
ge
compile
p
ar
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
e
g
e
e
ule
r
.
cc: evalue_derive: handle const
a
nt polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
add some
t
est set
s
from cases 20
0
4 and cc 2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
ename b
a
rvinok
_
m
axi
m
ize t
o
ba
r
vi
n
ok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
test for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
l
ue_range_p
r
o
pagati
o
n
: re
m
ove redundant polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
bound
:
record number of polyn
o
mials
as
"
size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
test_bound: co
n
vert quasipolynomials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
t
est_
b
ound: compar
e
pol
y
nomial bo
u
nd algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
ver
i
fy
.
c: optimum: h
a
nd
l
e
i
n
p
u
t evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: extr
a
ct evalue_
o
ptimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erif
y
.
c: ext
r
a
ct common code for
v
eri
f
ying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ev
a
lue_range_propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
b
ar
v
inok_m
a
ximize: optionally use (basic)
range pr
o
pag
a
ti
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Add some su
p
p
ort for dealing
with evalues
t
hat re
p
re
s
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
barvinok_enum
e
rate: support u
s
e of Euler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
lae
g
e
implement Ber
n
ou
l
li_sum a
s
conv
e
rsion from unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
e
r
noulli_sum_evalue
:
exploit
i
nteger boun
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
la
e
ge
keep track of num
b
er of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
d
oolaege
bernoulli
.
c: protect shar
e
d
evalue from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
t
e
s
t
Bern
o
ulli sums based exact
en
u
mer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolae
g
e
barvinok_cou
n
t_with_option
s
: co
m
pute (exact)
B
e
rn
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_evalue: optional
l
y handle fracti
o
na
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
lattice_p
o
int
.
h: exp
o
rt fra
c
tional_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_e
n
umerate_with_options: compute (exa
c
t) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoull
i
_
s
u
m_evalue: ha
n
d
le e
q
ual
i
ti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_e
v
alue: cut off s
o
me
red
u
ndant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olae
g
e
Bernoull
i
_sum_eva
l
ue:
m
ake sure no em
p
t
y
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
Bernoulli_sum_evalue: remove redundan
t
c
onstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verd
o
o
l
aege
bernoulli
.
c:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
ernou
l
l
i
_sum: handle context const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
e
r
no
u
lli_sum_evalue: mak
e
sure enough memory is all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
a
e
ge
for_each_lower_upper_bound:
a
dd anoth
e
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
ola
e
g
e
verify
.
c:
ad
j
ust default
r
ange
t
o context
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
euler
.
cc: s
u
mma
t
e_ove
r
_domain: only consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
para
m
_util
.
c
:
export P
a
ram_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
eg
e
Param
_
P
oly
h
edr
o
n_Facet: pass facet de
f
ining cons
t
r
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: parall
e
l_polytope
s
: don't both
e
r handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
v
alue_split_doma
i
ns_into
_
orthants: don
'
t reduc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoo
l
a
e
g
e
evalue_rea
d
: only
allow terms to cross ne
w
l
ines in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
g
e
evalue
_
r
e
ad: on
l
y acce
p
t imp
l
i
c
it multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ev
a
lue_read: accept
constraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
e
v
alue
_
bernstei
n
_c
o
efficients:
e
nsure re
s
ult
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
be
r
nstein:
p
iecewise_lst: correctly print
and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ve
r
doolaege
rem
o
ve_al
l
_equa
l
ities
:
keep rem
o
ving parameter
e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
updat
e
p
oly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
e
ge
d
o
c: consistent use of Kevin's init
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rd
o
olaege
d
o
c: update now p
u
blished papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
er
d
oolaege
fo
r
_each_lower_upper_
b
o
u
n
d: allow a
b
sence
o
f lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaeg
e
R
e
ve
r
t "e
a
d
d
_partitions
:
try to
combine mult
i
p
l
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partitio
n
:
put
p
artitions bac
k
in the
s
am
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
ege
evalue: r
e
duce_evalue: add note on some mi
s
sed opp
o
rtuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
berns
t
e
i
n
.
cc: h
a
ndl
e
input with
unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
aege
m
axi
m
ize
.
cc: deal with union
s
in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolae
g
e
eva
l
ue_su
b
sti
t
ute
:
prope
r
ly handl
e
rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdool
a
ege
evalue
.
c: clean up
e
mu
l
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e_read: correctly read v
a
r
iable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
doolaege
evalue_read: acce
p
t
top level "
r
el
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
ege
evalue_backsubs
t
i
t
ute: a
d
d
requir
e
d
mo
d
ulo constr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Ve
r
doolaege
evalue
.
c: *_parti
t
ions
:
simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
e
n Ver
d
oolaege
doc: mo
r
e specific information on bugg
y
cddlib v
e
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: requi
r
e cddlib 0
.
94e
by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolae
g
e
configure
.
in: only com
p
ile occ if code_gen
l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
a
e
ge
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests for im
p
lement
a
tion o
f
p
rojection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: docum
e
nt new options
and
new ap
p
lication
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
AUTHORS: upda
t
e supp
o
r
t
inf
o
rmation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
g
e
nfun
.
cc: short_rat:
:
print
:
corr
e
ctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expor
t
series as b
a
rvinok_enumerate
_
ser
i
es and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
remo
v
e_param
e
ter_e
q
ual
i
ties: stop
"
removi
n
g" eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
dool
a
ege
se
r
i
es: leave
f
reeing of P argument to cal
l
ing function
commit
|
commitdiff
|
tree
next