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
omega/occ: optionally use parker for computing cardinality of a set
2008-04-03
Sven V
e
rdoolaege
omega/occ:
optionally use p
a
rker
f
or c
o
m
putin
g
card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoolaege
norma
l
iza
t
ion
.
c: skew_to_posit
i
ve_orthan
t
: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdool
a
ege
omega/co
n
ver
t
.
cc:
r
elation2Domain: on
l
y
c
ollect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
occ:
a
dd
dump fo
r
dumping
i
n
barvinok_enu
m
erate
_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_e
n
umerate_e
:
opti
o
n
ally u
s
e parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
erdoolaege
stand
a
rd
_
constraints:
take constraints
ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
erdoolaege
normal
i
z
ation
.
c:
extract standard_constrain
t
s f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
parker
/
count_solutions
.
cc: fix trea
t
ment of existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
a
e
ge
c
ompile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
oolaege
euler
.
c
c:
e
val
u
e_derive: handle
c
onsta
n
t polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
ege
add
s
ome test
sets
f
rom cases 2004
and cc
2
005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
r
ename
barvinok
_
maximize to barv
i
nok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test f
o
r tes
t
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_
r
ange_propagation: remove redunda
n
t
p
olynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laeg
e
test_bound
:
record number of pol
y
nomials as
"
s
i
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
test_bound: convert quasipolynomials to poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_bound:
compare pol
y
nomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: o
p
timum: h
a
ndle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c: extra
c
t evalue_optimum from maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
verify
.
c: extract common code for ve
r
ifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_ra
n
g
e_
p
r
o
pagati
o
n
:
a
d
d mono
t
onicit
y
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_maximize: optionally use
(b
a
sic)
range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
A
d
d some suppor
t
for deal
i
ng wi
t
h evalues that represen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
barvinok_enum
e
rate:
s
u
pport use of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
implem
e
n
t Bernoulli_
s
um as c
o
nv
e
rsion from unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
B
ern
o
ul
l
i_sum_evalue
:
exp
l
oit
integer bounds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
keep
tr
a
ck of
n
umber of Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
be
r
noulli
.
c
: protect
s
h
ared evalu
e
from modi
f
ic
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
dool
a
ege
te
s
t Bern
o
ulli sums based exact enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
o
l
a
ege
barvinok_cou
n
t_with_opt
i
ons: compute (e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
Bernoulli
_
sum_evalue: option
a
l
l
y
handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
lattice_point
.
h
:
export
fractional_part with C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barvinok
_
e
n
umerate_with_options:
c
o
mp
u
t
e (exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eval
u
e:
h
andl
e
equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
Bernoulli_sum_evalue: cut
off some redundan
t
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_ev
a
lue:
m
ake sure
n
o
empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalu
e
: remove red
u
nda
n
t
co
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
bernoulli
.
c: minor refactor
i
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
e
rnoulli_su
m
: handle cont
e
x
t
constrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
for_each_lower_upper_bound: add another callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaeg
e
v
er
i
fy
.
c
: adjus
t
defau
l
t range to conte
x
t if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
cc: summat
e
_over_d
o
main: o
n
ly
c
onsider ac
t
ua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
param
_
util
.
c:
expor
t
Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Face
t
: pass f
a
c
et definin
g
con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfu
n
.
cc:
parallel_polyt
o
pes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
evalu
e
_split_domai
n
s
_
into_orth
a
nt
s
:
don't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
ege
evalue_read: only
al
l
ow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
e
val
u
e_read: only accept
i
mplicit mul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
evalue_re
a
d: acc
e
pt
c
onstrain
t
s containing "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_berns
t
ein_coefficients: ensure result
p
artiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein:
p
iece
w
ise_lst: c
o
rrectly print and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
remove_all_equalities: keep removing
p
arameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
u
p
date
p
oly
l
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doo
l
aege
doc: c
o
nsis
t
e
n
t
u
se of Kevin's ini
t
ia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
g
e
doc: update now
pub
l
ished pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_
e
ach_lower
_
upper_b
o
u
n
d:
a
l
lo
w
absence
o
f l
o
w
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rev
e
rt
"ea
d
d_p
a
rtitions: try to
combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
evalue
_
read_partition: put partitions
b
ack in the
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoolaege
eva
l
ue: reduce_evalue: add note on
s
ome m
i
ssed opportu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
berns
t
ein
.
cc: ha
n
dle input with unions +
r
elation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
maximize
.
cc: dea
l
with uni
o
n
s in input during verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
o
o
laege
evalue_substitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoo
l
aege
evalue
.
c: cl
e
an up
emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aege
evalue_r
e
ad: corr
e
ctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read
:
accept
t
o
p le
v
e
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aege
upd
a
te poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
ol
a
ege
evalu
e
_backs
u
b
stit
u
te: add re
q
uired modulo c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c:
*_pa
r
titions: simplify co
n
straints
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
e
n V
e
rdoolaege
doc: more sp
e
cific infor
m
ation on buggy cd
d
lib versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven
Ver
d
oola
e
ge
configure
.
in: re
q
uire cddlib 0
.
9
4
e
b
y te
s
ting for
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoolaege
config
u
r
e
.
in: only
compile oc
c
if
code_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
erdoolaeg
e
a
dd
s
ome
t
ests for implemen
t
ation
o
f
proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
d
o
c
:
document ne
w
options an
d
ne
w
applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
AU
T
H
ORS: updat
e
support infor
m
at
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfu
n
.
cc: short_rat::print: correctly prin
t
poly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
ol
a
ege
Exp
o
rt
ser
i
es a
s
barvinok_enume
r
ate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
remove_parameter_equali
t
i
es: stop
"removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
series
:
leave
freeing of
P
argument to cal
l
ing function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
g
e
d
oc: document implementation of the projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enum
e
rate_e_series im
p
lementin
g
the pr
o
jecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
aege
gen
f
un
.
cc: fix and document pa
r
allel p
o
l
y
t
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
G
i
NaC-ind
e
pendent part o
f
library
t
o barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
polylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
d
o
c: how to count the number of
elements i
n
possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaeg
e
doc/i
m
plementation
.
tex
:
avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
la
t
tice_
w
idth
.
c
: try ve
r
tices
of
p
revious
intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoo
l
aege
doc: doc
u
me
n
t
integer hull computa
t
io
n
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
hull
.
c: add all points
f
o
und b
y
sampling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
Pos
s
ible optimizations for g
e
nera
l
ized basis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
Support u
s
e
o
f genera
l
ized basis redu
c
tion
t
o
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
add
Polyhedro
n
_Inte
g
er_Minim
u
m for co
m
puting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc
:
docume
n
t
generaliz
e
d
basi
s
reduction based
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoo
l
ae
g
e
doc
/
barvinok
.
bib: add
mi
s
s
ing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more
m
i
s
sing assert
.
h
#incl
u
des
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
configure
.
in: only compile libbarvinok
a
s a st
a
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
Polyhedron_Reduced_Basis: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
c
omp
u
t
e
_
width_directions: only keep
l
i
st of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
zsolve: don
'
t insta
l
l
library
commit
|
commitdiff
|
tree
next