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
euler.cc: evalue_derive: handle constant polynomials
2008-03-31
S
v
en
V
erdoolaege
e
u
ler
.
cc: eval
u
e
_derive: handle con
s
tant p
o
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
add some test sets from cases
2
0
04 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
rename barvinok_ma
x
imize to barvi
n
o
k
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add a test
f
o
r t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
v
al
u
e
_
range_propaga
t
ion: remo
v
e r
e
dun
d
a
n
t
p
olynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
g
e
test_
b
ound: record
n
umb
e
r
of polynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bou
n
d: con
v
e
rt
q
uasipo
l
y
nomials to p
o
lyn
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
test_bou
n
d
: compare polynomial bou
n
d algori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
do
o
laege
ve
r
i
fy
.
c: optimum: handle input e
v
aluatin
g
to n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c
: ex
t
ract evalue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
e
g
e
v
e
r
i
fy
.
c: extract comm
o
n
c
o
de for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
evalue
_
range
_
propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
bar
v
inok_maximize
:
optio
n
all
y
use (b
a
s
ic) range pro
p
ag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add some
support for
d
ealing with
e
values that repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ver
d
oolae
g
e
ba
r
vinok_enumerate: support use of Euler-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
m
plement Bernoulli_s
u
m
a
s
c
onversion f
r
om unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ver
d
oolaeg
e
Berno
u
lli_sum_
e
valu
e
:
explo
i
t
i
nteger bounds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laeg
e
keep track of numbe
r
o
f Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
be
r
noulli
.
c
:
p
r
otec
t
shared
e
value from
modifi
c
atio
n
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaeg
e
test
B
ern
o
ulli su
m
s based exact enum
e
rat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
barvinok_c
o
unt_wit
h
_options:
c
ompute (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
g
e
Bernoulli_sum_eva
l
ue:
optio
n
a
l
ly handle
f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
lattic
e
_point
.
h: export
f
rac
t
ional_part wi
t
h C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
b
a
rvinok_enumerate_with
_
option
s
:
c
ompute (ex
a
ct) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoull
i
_sum_evalue: han
d
l
e
e
qu
a
liti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bernoulli_sum_
e
value: cut off
some redundant par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
ae
g
e
Ber
n
oulli_sum_
e
value: ma
k
e sure no empty part
i
t
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_
e
va
l
ue: remove redundant
c
onstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernoulli
.
c: minor refact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
Bernoulli_sum: han
d
le conte
x
t constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
B
e
rnoull
i
_sum
_
eva
l
ue: make sure enough memory is
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
for_e
a
ch_lower_upper_bound: add
a
nother callb
a
ck f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
ver
i
fy
.
c: adjust d
e
f
a
u
l
t
range to c
o
n
text if
n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
euler
.
c
c: summate_over_d
o
main: only cons
i
der actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param
_
u
t
il
.
c: export
Param_Vertex_Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Param_P
o
lyhed
r
on_Facet: pass facet defining c
o
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc
:
parallel_poly
t
opes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
e
value_split_doma
i
ns_into_orthants: don't reduc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoola
e
g
e
evalue_read: only allow terms
t
o
cross newli
n
es inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: on
l
y accept implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
e
v
alue_read:
ac
c
ept
constr
a
ints containi
n
g "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
eval
u
e_bernstein_
c
o
e
fficients: ensure r
e
sult
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
bern
s
tein: piecewise_l
s
t: corre
c
tly
p
ri
n
t and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
rem
o
v
e_all_equa
l
ities: keep r
e
m
o
vin
g
parameter
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
upd
a
te
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
o
c: consiste
n
t
u
se of Kevin
'
s ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
d
o
c: update now p
u
b
lish
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
for_each_lo
w
er_up
p
er_
b
ound: allow
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
Revert "ea
d
d_partitio
n
s:
try t
o
c
ombine m
u
ltiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition:
p
ut part
i
tions bac
k
in t
h
e
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
e
v
a
l
u
e: reduce_evalue: a
d
d
n
ot
e
on some mis
s
ed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
bernstein
.
cc: handle inp
u
t w
i
th unions +
r
elation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n V
e
rdoolaeg
e
m
a
ximi
z
e
.
c
c: deal
with union
s
i
n
i
n
p
u
t
duri
n
g
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
ool
a
ege
ev
a
lue_substit
u
t
e
: properly handle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue
.
c:
c
lean u
p
emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oolaege
e
value_read: correctly read variab
l
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e_read: accept
top level "
r
elation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
v
a
lue_backsubstitute: add required mo
d
ul
o
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoola
e
ge
evalue
.
c: *_p
a
rtitions: simpli
f
y constr
a
ints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
d
o
olaeg
e
d
oc
:
more s
p
e
c
if
i
c
i
nf
o
rmation on bug
g
y cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Verdoola
e
ge
configure
.
in: require c
d
dlib 0
.
94e by testing for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rd
o
olaege
con
f
igure
.
in
:
on
l
y compi
l
e
occ if code_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
e
rdo
o
laege
a
dd some tests for impl
e
mentation of p
r
ojection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc: docum
e
n
t
new options
and n
e
w
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update sup
p
o
r
t information
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
c
c: short_ra
t
:
:print: correctly print po
l
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Exp
o
rt ser
i
es as barvinok_enu
m
erate
_
se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equa
l
ities:
stop "rem
o
ving" e
q
ua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
s
eries: leave freein
g
of
P
argumen
t
to calling fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
doc: document implementation of the projec
t
ion
theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
b
a
r
vinok_enumerate_e_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
genfun
.
c
c:
fix and d
o
cument parall
e
l poly
t
opes c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile
z
solv
e
i
f
gc
c
3
.
4 o
r
lat
e
r is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC
-
independen
t
part of li
b
rary to ba
r
vin
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erd
o
ol
a
ege
polyli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaege
doc: how to count the number of e
l
e
ments in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoo
l
aege
doc/i
m
pleme
n
tation
.
tex: avoid
multiply defi
n
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
lattice_width
.
c: try vertices
of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: docu
m
ent integ
e
r hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verd
o
olaege
hull
.
c:
add a
l
l
points fo
u
nd by sampli
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible
o
ptimiza
t
ions for generalized basis reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
oolaege
Supp
o
rt use
of ge
n
eraliz
e
d basis r
e
du
c
tion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolae
g
e
add Po
l
yhedro
n
_I
n
teger_Minimum
f
or computin
g
the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoola
e
ge
doc:
d
o
cume
n
t generalized basis re
d
uction
based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdool
a
ege
doc/barvinok
.
bib: ad
d
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
d
o
o
l
aege
a
d
d
m
o
re missing assert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolaege
evalue
.
c: add missing include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
co
n
figure
.
in: pass path of GMP ins
t
al
l
ation to Po
l
yLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ve
r
d
o
olaege
configure
.
i
n:
o
nly
co
m
pile libbarv
i
no
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
erdoolaege
Polyhedron_Reduce
d
_Basis: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
comp
u
te_width_directions: only keep list of
d
i
stinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n V
e
r
d
oolaege
zsolve: don't insta
l
l library
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
V
erdo
o
laege
version
.
c: show us
e
of TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Ver
d
oolaege
c
o
n
figu
r
e
.
in: don't s
e
t with_{poly,pip}
l
ib_prefix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
Poly
h
edron_Sample: be satisfied with a rea
s
onable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
con
e
_integ
e
r_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
basis_reduc
t
i
on: keep t
r
ack of number
o
f
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: move --print-stats to
l
ibrar
y
commit
|
commitdiff
|
tree
next