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_enumerate_e: optionally use parker's method
2008-04-03
Sven Verdool
a
ege
barvinok_enume
r
ate_e: opt
i
onally use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
s
t
andard_constra
i
nt
s
: take constraints inste
a
d of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliza
t
ion
.
c:
e
xtract standard_
c
onstraints
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
parke
r
/coun
t
_solutions
.
cc: fix treatme
n
t of exi
s
te
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven
Verdoolae
g
e
c
o
mpi
l
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: evalue_d
e
rive: handle
c
o
nstant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
add so
m
e tes
t
s
ets
f
rom cases 2004 and c
c
2005 p
a
p
e
rs
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoola
e
ge
ren
a
m
e
barvinok_maximize
to bar
v
inok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a
t
est for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
evalue_ra
n
ge_propag
a
tion: remove redu
n
dant polyno
m
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aeg
e
test_bound: record
n
umber of polynomials as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
te
s
t_bou
n
d: conv
e
rt quasipolynomia
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
te
s
t_bound: compare
po
l
ynomial bound
a
lgo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: opti
m
um: ha
n
dl
e
input eva
l
uatin
g
to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c: extract evalue_
o
ptimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c
:
extract common c
o
d
e
f
o
r ver
i
fyin
g
opera
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagat
i
on: add mo
n
o
tonicity
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bar
v
inok_maximize: op
t
ional
l
y use
(basic
)
range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
o
olaege
A
d
d s
o
me
s
u
p
por
t
for deal
i
n
g wi
t
h
e
v
alu
e
s
t
h
at
r
e
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
b
a
rvinok_enumera
t
e: supp
o
rt use of Euler-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
i
m
plement Bernoul
l
i_sum as conver
s
ion from unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_
e
value: explo
i
t integer bounds
to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
keep track of number
o
f Be
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bernoulli
.
c: p
r
otect shar
e
d ev
a
lue
f
rom modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli sums
b
ased exa
c
t
en
u
m
e
ration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
barvinok_count_with_o
p
tions: compute (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
Ber
n
oul
l
i_sum_evalue: optio
n
ally
handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
l
attice_point
.
h
:
expo
r
t
fractional
_
part wi
t
h C lin
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
barvino
k
_enumerate_with_options:
compute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_eva
l
ue: handle
e
qualities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_eval
u
e: cut off some redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bern
o
u
l
li_
s
um_evalue: make sure no e
m
pty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
Bernoull
i
_sum_eval
u
e: remove re
d
undant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
e
r
n
oulli_sum: handle co
n
text co
n
str
a
int
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli
_
s
u
m_evalue: make sure
enough memory is al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolae
g
e
for_each_lower_up
p
er_bound: a
d
d anoth
e
r ca
l
l
b
ack
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
verify
.
c: adju
s
t default r
a
nge to contex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
oo
l
aege
eu
l
er
.
cc:
s
ummate_over_domain: only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
a
ram
_
util
.
c
: export P
a
ra
m
_Ver
t
ex_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Param_Polyhedron_Fa
c
et: pa
s
s
f
acet d
e
fining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
genfun
.
cc: pa
r
allel_
p
olytopes: don't bother hand
l
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
evalue_split
_
dom
a
ins_into_or
t
hants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only
a
llo
w
terms t
o
cro
s
s
newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ev
a
lue_
r
ead
:
o
n
ly
a
c
c
ept
i
mplicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
evalu
e
_r
e
a
d
:
acc
e
pt constraints
c
ontaining "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
evalue_
b
e
r
n
s
tein_coefficients: e
n
sur
e
result part
i
tio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
b
e
rnste
i
n
:
p
i
ecewise_lst
:
c
o
rrectly print
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
doo
l
aege
remove_al
l
_equalit
i
es: kee
p
removing param
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
d
oc
:
consistent us
e
of Kevin's
i
n
itial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc:
u
p
date n
o
w
published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
for_each_lower_upper_bound:
a
llow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
R
e
vert "eadd
_
partit
i
ons
:
try
t
o combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_p
a
rtition
:
put part
i
ti
o
ns ba
c
k in the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Ver
d
oolaege
evalue: reduc
e
_evalu
e
: add note on some mi
s
sed oppor
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
b
ernstein
.
cc:
handle input with unions
+
r
e
latio
n
vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
max
i
mize
.
cc: d
e
al with unio
n
s in input duri
n
g v
e
rifica
t
io
n
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_su
b
stitute: properly handl
e
r
elation
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoo
l
aege
evalue
.
c
:
clean up emul
and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
evalue_r
e
ad:
correct
l
y read variable n
a
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value_read: accept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitute
:
add required mo
d
u
lo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaege
eval
u
e
.
c: *_partitions: sim
p
lify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdo
o
laege
doc: more speci
f
ic informati
o
n
on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Ve
r
doolaege
c
onfigure
.
in: require
c
ddli
b
0
.
9
4
e by testing
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolaege
configure
.
in: only compile
occ
i
f co
d
e_gen l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verd
o
olaege
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
laeg
e
add some tests
f
or
imp
l
eme
n
tation
o
f
proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
doc: d
o
cument new
o
ptions and new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oola
e
g
e
AUTHORS:
u
pdate su
p
port i
n
fo
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
la
e
ge
genfun
.
cc: short_rat::print: correctly
p
rint polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
V
e
rdoolaege
Ex
p
o
rt
s
eries as barvinok_enumera
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
re
m
ove_param
e
ter_e
q
ua
l
ities:
s
top "
r
emovin
g
"
equal
i
ti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
series: leave
freeing of
P argum
e
n
t to calli
n
g function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
d
o
c: do
c
ument
i
mplementation of the p
r
ojection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
a
e
ge
a
d
d
barvinok_enumer
a
te_e
_
s
e
r
i
es
i
mplem
e
n
t
i
ng t
h
e projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfu
n
.
cc: fix a
n
d document par
a
l
lel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
O
nly com
p
ile z
s
olve if gcc 3
.
4 o
r
l
a
t
er is av
a
ilabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Move
G
iNaC-indepen
d
e
nt pa
r
t of library to bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib:
u
p
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count the number of
e
lements
i
n pos
s
i
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc/implemen
t
at
i
on
.
tex: avoid m
u
l
tip
l
y defined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lat
t
i
c
e_width
.
c
:
t
ry vertic
e
s o
f
previous
int
e
ger
hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
laege
doc
:
d
oc
u
ment intege
r
hull co
m
putati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: a
d
d
all point
s
f
ound by
s
am
p
ling
d
irec
t
ly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
P
o
s
sible optimi
z
ations
f
or genera
l
ized b
a
sis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
e
rdoolaege
Support
u
se of generalized basis reduction to
comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Inte
g
er_M
i
nimum for compu
t
in
g
the
int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
ge
doc: docume
n
t generalized basis redu
c
tion ba
s
ed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc/barvi
n
o
k
.
bib: ad
d
missing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more
m
i
s
si
n
g ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c
:
a
d
d missin
g
incl
u
d
e
o
f alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n
Verdoolaege
configure
.
in: pass path of GMP
installa
t
ion t
o
P
o
lyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
confi
g
ure
.
i
n
: only c
o
mpile lib
b
arvi
n
ok a
s
a st
a
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
Polyhedron_Reduced_Basis:
don't stop too early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ver
d
oo
l
aege
com
p
ut
e
_width_directions: only keep list of dis
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
z
solve:
don't install libr
a
ry
commit
|
commitdiff
|
tree
next