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
barvinok 0.29
2008-04-05
Sven Verdoolaege
lattice_wid
t
h
.
c
:
skip directions t
h
at are
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add cdd9
4
e-test to dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/occ: optionally use p
a
rker f
o
r co
m
puting cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdo
o
laeg
e
no
r
malization
.
c:
s
kew
_
to
_
positi
v
e_ortha
n
t: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
omega
/
c
o
n
v
e
r
t
.
cc: relati
o
n2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven
Verdoolaege
occ: add du
m
p
for dumpin
g
in
b
ar
v
i
n
ok_enumerate_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdool
a
ege
b
arvinok
_
enumerate_
e
: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doola
e
ge
s
tandard_co
n
s
t
raints:
t
ake constr
a
ints instead of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdool
a
eg
e
norm
a
lization
.
c: ex
t
r
a
ct st
a
ndard_
c
o
n
straints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/count
_
solutions
.
c
c: f
i
x treatment
of
existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
ege
comp
i
le
parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eul
e
r
.
c
c
: eval
u
e_derive: ha
n
dle constant p
o
l
yno
m
i
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaeg
e
add
s
ome
t
est s
e
ts fr
o
m
c
ases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvino
k
_
m
a
x
imize
to ba
r
vi
n
ok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
add a t
e
st
for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue
_
ran
g
e
_
propagation:
remove re
d
unda
n
t pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
test_bound: record n
u
mber of poly
n
omial
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
ae
g
e
te
s
t_bound: convert quasipolynomials t
o
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rd
o
o
l
a
eg
e
te
s
t_bound: compare pol
y
nomial bound
algo
r
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
verify
.
c: opti
m
um: h
a
ndle input e
v
aluating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
ext
r
act evalue_optimu
m
from
m
a
x
imiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoo
l
aege
verify
.
c: extract comm
o
n code for verifyi
n
g operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_r
a
nge_propagation
:
a
dd monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
barvinok_
m
aximize: optionally use (basi
c
) ra
n
ge prop
a
gatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd som
e
support f
o
r dealing with evalues th
a
t r
e
presen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
b
a
r
vinok_
e
nume
r
ate: sup
p
o
rt use
of Euler-Macl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Be
r
noulli_sum a
s
con
v
er
s
ion f
r
o
m
unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
n
ou
l
li_sum_evalue:
exp
l
oit inte
g
er bou
n
d
s
t
o
red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
keep track of nu
m
ber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
bern
o
ulli
.
c:
p
rote
c
t shared
evalue from modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
B
erno
u
ll
i
su
m
s based
exact enumera
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvino
k
_cou
n
t_with_opti
o
ns: compute (exact) Bern
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_evalue: optionally
h
andle
fracti
o
na
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
lattice_point
.
h
:
exp
o
rt fractional_par
t
w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_
e
num
e
rate_with_options
:
comput
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoola
e
g
e
Berno
u
lli_sum_e
v
alue: cut of
f
some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olaege
Bernoul
l
i_sum
_
evalue
:
make sure
n
o
e
m
p
ty p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
o
laege
B
e
rnoulli_sum_evalue: remove redu
n
dant constraint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
er
d
oolaeg
e
b
e
rnoulli
.
c: minor ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
Bernoulli_
s
um: han
d
le
c
ontext constrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
fo
r
_each_lower_upper_bound: add anoth
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c
:
adjust default range to c
o
n
t
ex
t
if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
o
olae
g
e
euler
.
cc
:
sum
m
a
t
e
_
ov
e
r_domain: only consider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
g
e
param_ut
i
l
.
c: export Pa
r
am_Ve
r
t
ex_Set
_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Par
a
m_Polyhedron_Facet: pass f
a
cet def
i
ning
c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oo
l
aege
gen
f
un
.
cc: parallel_po
l
ytopes:
don't
b
other handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_split_domains_
i
nto_o
r
t
h
ants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
lu
e
_read: only
allow t
e
rms to cross n
e
wli
n
e
s insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
v
alue_read: only accept impl
i
cit mu
l
tiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
evalue_
r
ead:
a
ccept
constraints containi
n
g
"'-
'
s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_bernst
e
i
n
_coefficien
t
s: e
n
sure result partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoola
e
ge
b
ernstein: piecewis
e
_lst: correctly
p
rint
and evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolae
g
e
rem
o
ve_
a
ll_equalities: keep r
e
m
oving pa
r
ameter equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verd
o
olaege
update po
l
y
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc:
consi
s
te
n
t use of
Kevi
n
's
i
nitial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: updat
e
now pub
l
ished pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
f
or_each_lower_upper_
b
ound: all
o
w a
b
sence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
R
e
vert "eadd_par
t
i
t
io
n
s: try to combine
multip
l
e
domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_rea
d
_parti
t
i
o
n: put p
a
rtitions back in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue:
r
educe_evalue
:
add note on some misse
d
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erd
o
olae
g
e
berns
t
ein
.
cc: handle in
p
ut with unions + rel
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
oolaeg
e
maximize
.
cc
:
deal with uni
o
n
s
in input d
u
ri
n
g verifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolae
g
e
evalue
_
subst
i
tut
e
: properly handle
relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
.
c: clean up emul
a
nd ead
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
v
a
lue_read: correctly read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
ev
a
lue_read: accept to
p
level "r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
update po
l
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
V
e
rdoolaege
evalue_b
a
cks
u
bsti
t
u
t
e: add required
m
odulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
evalue
.
c
: *_
p
artit
i
on
s
: si
m
pl
i
f
y
constraints
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ve
n
Ver
d
ool
a
ege
doc: mor
e
speci
f
ic information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doola
e
ge
con
f
igure
.
in:
require
c
ddlib 0
.
9
4
e by testing for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doola
e
ge
con
f
igure
.
in: only compile occ if cod
e
_
g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaeg
e
add s
o
me test
s
for implementation
o
f projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc: document new opti
o
ns and
new
a
p
p
li
c
ations
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
aege
AUTHORS: update su
p
po
r
t
informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
fun
.
cc: short_rat::print:
c
orrec
t
ly print polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
E
xport series
a
s barvi
n
o
k_enumerate_ser
i
es
and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
remove_p
a
rameter_eq
u
alities
:
s
t
op "removing" e
q
ua
l
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
se
r
ies: leave freeing of P argumen
t
to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
a
e
ge
doc: d
o
cument
i
m
plementation
of the pro
j
ection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoola
e
ge
a
dd barvinok
_
en
u
merate_e_seri
e
s implemen
t
i
n
g the project
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
genfun
.
cc
:
fix a
n
d
doc
u
ment parall
e
l polytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
Move GiNaC-indep
e
n
den
t
part of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
polyl
i
b:
u
pd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count
t
he num
b
er of elements
in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolaege
doc/i
m
p
l
ementation
.
tex: avoid multip
l
y defined label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoo
l
aege
lattice_width
.
c: try
v
ert
i
ces of previous integer hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
do
o
laege
doc: document in
t
eger h
u
ll co
m
putation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
doolaege
hu
l
l
.
c: add al
l
points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Po
s
sible optimiza
t
ion
s
for gener
a
lized b
a
s
i
s re
d
ucti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Su
p
port use of gener
a
lized basis reduct
i
o
n
to com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
oolaege
add P
o
l
yhedr
o
n_Integer_Minim
u
m for
c
o
mp
u
ting the
inte
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: docum
e
nt generalize
d
basis
r
educti
o
n ba
s
ed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc
/
barvino
k
.
b
i
b
: ad
d
m
i
ss
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
add more miss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
configure
.
in:
only co
m
pil
e
l
i
bbarvinok as
a
s
ta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Po
l
yhedron_Red
u
ced
_
Basis: don't stop
too ear
l
y
when
.
.
.
commit
|
commitdiff
|
tree
next