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/convert.cc: relation2Domain: only collect set variables
2008-04-03
Sven
V
e
r
doolaege
omega/convert
.
c
c
: rel
a
tion2D
o
main:
o
nly collect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaege
occ: ad
d
dump for
dumping
i
n
bar
v
in
o
k_enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
barvinok_en
u
mera
t
e_e: o
p
ti
o
nally use parker's
m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaege
standard_constraints: take co
n
strain
t
s
ins
t
ead of pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
r
doolaege
n
o
rma
l
ization
.
c
:
extract standard_constraint
s
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdo
o
laege
parker/count_solutions
.
cc
:
fix
t
r
e
atmen
t
of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoola
e
ge
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
do
o
laege
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: evalue_derive: h
a
nd
l
e constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add some
test sets from cases 20
0
4 and cc
2
005 pa
p
er
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
rename barv
i
nok_maxi
m
ize to barvi
n
ok
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
a
d
d
a
test for test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
evalue_range_
p
r
o
pagation: remove red
u
ndant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test_bound: record number of
polynomials as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
t
e
st
_
bound: convert quasipolynomials
to po
l
y
nomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aeg
e
te
s
t
_bound: compare polynomial bound alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
veri
f
y
.
c: o
p
timum: handle input evalua
t
ing to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
v
e
rify
.
c: extract evalue_opt
i
mum from
m
axim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
verify
.
c: extract c
o
mmon c
o
de for verifying opera
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
e
v
alue_ran
g
e_pr
o
pagation: add mono
t
onicity
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_maximi
z
e: opti
o
n
al
l
y us
e
(bas
i
c)
r
ang
e
propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
A
d
d some support
for dealing with eva
l
ues
that rep
r
esen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
barvinok_enumerate: support u
s
e
o
f
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ol
a
eg
e
im
p
lement Bernoulli
_
s
um as conversion from
unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoull
i
_s
u
m_evalue: exploit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
kee
p
trac
k
o
f number of Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
dool
a
ege
bernou
l
li
.
c: protect shared
evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaeg
e
test Be
r
nou
l
l
i
s
u
m
s
base
d
e
xact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
c
ount_with_opt
i
ons: compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoul
l
i_sum_evalue
:
op
t
ionally handle
f
racti
o
na
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_p
o
i
n
t
.
h: export fractional_par
t
with
C
linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_enumer
a
te_with_
o
ptions
:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum
_
evalue: handle
e
q
ualitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_su
m
_evalue: cut off some redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
B
e
rnoulli_sum_evalue: mak
e
sure no
empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_s
u
m_
e
value: remove redun
d
a
nt cons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
bernoulli
.
c: min
o
r refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Ber
n
ou
l
li_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Be
r
nou
l
li_sum_evalue: make sure enough
m
e
m
ory
i
s a
l
located
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
f
or_each_
l
ower_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: a
d
jus
t
defa
u
lt
r
a
n
g
e to contex
t
if n
e
e
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eul
e
r
.
cc: summate_over_domain: only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
l
aege
p
a
ra
m
_util
.
c:
export Para
m
_
Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Param_P
o
l
yhedron_Facet: pass facet d
e
fining con
s
tr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
genfun
.
cc: parallel_polytopes: do
n
't b
o
t
h
e
r han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_split_domain
s
_into_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_read: only
a
llow terms to cross newlines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_read: only accept im
p
licit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_re
a
d: accept constraint
s
containing "'-' s
p
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
doolaege
evalue_b
e
rnstein
_
coeff
i
cients: ensu
r
e result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
ber
n
stein: p
i
e
c
ewise_lst: corre
c
tly
p
r
i
nt and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
aege
r
emov
e
_all_equ
a
l
i
tie
s
:
kee
p
removing par
a
meter equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ver
d
oolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoola
e
g
e
doc: consistent use of K
e
vin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc: up
d
a
t
e
n
o
w published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
e
ge
for
_
ea
c
h
_low
e
r_upper_bound: al
l
ow absence of
l
o
w
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
aege
Reve
r
t "e
a
dd_partitions: try to
c
ombine multip
l
e d
o
main
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
e
v
a
l
ue_
r
ead_pa
r
tition: put partitions b
a
c
k in the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
lae
g
e
evalue: reduce_evalue: add note on some missed oppor
t
un
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernst
e
in
.
cc: handle inpu
t
with unions + relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoo
l
ae
g
e
maximize
.
c
c: deal
w
i
th unions
i
n inp
u
t during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
ol
a
ege
e
value_sub
s
titute
:
p
r
operl
y
h
andl
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
a
lue
.
c:
cl
e
an up em
u
l
a
nd ead
d
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue_read:
c
o
rrectly read var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
e
v
alue_re
a
d: a
c
ce
p
t top
level
"rela
t
ion
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
upda
t
e pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdool
a
ege
evalue_backsu
b
sti
t
ute: add
requi
r
e
d modulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
value
.
c:
*
_
partition
s
: si
m
p
l
ify constraints b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more specific informati
o
n on bugg
y
cddlib
v
er
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolae
g
e
configure
.
i
n
: requ
i
re
cddlib
0
.
9
4
e by tes
t
ing f
o
r b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
erdoola
e
ge
configur
e
.
i
n
: only
compile occ i
f
c
ode_
g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
add some
t
ests fo
r
implementa
t
ion of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
doc: document new opti
o
ns and new applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoola
e
g
e
AUTHORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
g
enfun
.
cc: short_rat::print: co
r
rectly
p
rint polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Export serie
s
as barvino
k
_enumera
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
aege
remove_parameter_equ
a
lities: stop "
r
emoving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
s
eries: le
a
ve fre
e
ing of P
a
r
gum
e
nt to
c
alling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoolaege
doc: documen
t
i
m
plementation of
the projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
ad
d
bar
v
inok_enumer
a
te_e_series implement
i
n
g
the
p
ro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
gen
f
un
.
c
c: fix and doc
u
ment paral
l
el poly
t
opes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only com
p
ile
z
solve
i
f gcc 3
.
4 or
l
at
e
r is ava
i
lable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Mov
e
Gi
N
a
C-indepen
d
e
n
t p
a
rt of libra
r
y to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
laege
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
r
d
oolaege
doc: how to
c
ount the
n
umber o
f
el
e
ments in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
do
c
/imple
m
e
ntation
.
tex: avoid multiply defi
n
ed lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoola
e
ge
lat
t
ice_w
i
dt
h
.
c: try ve
r
tice
s
of previo
u
s i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc: documen
t
inte
g
er hull com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
hull
.
c: add
all po
i
nt
s
found by sampling directl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
d
o
o
laege
Possib
l
e optimizations for generalized basis red
u
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
V
erdo
o
laege
Support use of generalized
basis re
d
uction to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
ad
d
Polyhedron_Integ
e
r_Minimum for computi
n
g the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document generalized
basis reduction
b
ase
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc/barvinok
.
bi
b
:
add miss
i
ng
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verd
o
ol
a
ege
add more missi
n
g assert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoola
e
g
e
evalue
.
c:
add miss
i
ng include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verdoolaege
configure
.
in: pass path of GMP
installation
to P
o
ly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
do
o
laege
conf
i
g
u
re
.
in:
only
c
ompile l
i
bbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
doola
e
g
e
Polyhedron_R
e
duced_Basis: do
n
't stop t
o
o early when
.
.
.
commit
|
commitdiff
|
tree
next