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
test_bound: convert quasipolynomials to polynomials prior to computing bound
2008-03-31
Sven Verdoolaege
test_bound: conve
r
t quasipolynomials to pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st_bou
n
d: c
o
mpar
e
p
oly
n
omi
a
l bou
n
d algo
r
it
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
ve
r
ify
.
c
:
optimum:
handle input evaluating to ne
g
a
tiv
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
veri
f
y
.
c
:
extract evalue_optim
u
m from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ver
i
fy
.
c: extract
common
c
od
e
f
o
r ver
i
f
y
ing o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_
r
a
nge_
p
ropagation:
a
dd
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
la
e
g
e
barvin
o
k
_
ma
x
imize:
o
ptiona
l
ly use
(basic
)
ran
g
e
p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Add some
s
upport for d
e
aling with evalu
e
s that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
laege
barvinok_enumerate: support u
s
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
i
m
plem
e
nt Be
r
noulli_su
m
as conver
s
ion from unw
e
igh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoul
l
i_sum_evalu
e
: ex
p
loi
t
i
nt
e
ger bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
e
ep track of
number
o
f Be
r
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernoulli
.
c: protect shared eval
u
e from modif
i
catio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
g
e
test Bernoul
l
i sums
ba
s
ed exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_count_wi
t
h_op
t
ions: comp
u
te (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
Bernoulli_sum_evalu
e
:
optiona
l
ly
h
an
d
le fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
l
a
tti
c
e_
p
oint
.
h:
export
fractional_p
a
rt wi
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
b
a
rvinok_
e
numerate_
w
ith_options: com
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoul
l
i_sum_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
Bernoulli_sum
_
eva
l
ue: cut off some
redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_eval
u
e
:
make sure no
e
mpty part
i
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
Ber
n
o
ul
l
i
_
sum
_
evalue
:
remove re
d
undant const
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor refac
t
or
i
ng
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ver
d
oo
l
a
e
ge
Bern
o
u
l
li_
s
um: handle context co
n
strai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
B
e
rnoulli_s
u
m_evalue: make su
r
e enough memory is all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
for_each_lo
w
er
_
upper_bo
u
nd: add ano
t
her
c
allback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
veri
f
y
.
c: ad
j
ust default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c
: su
m
m
a
te_over_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
pa
r
am_u
t
il
.
c:
e
xport Para
m
_Ve
r
tex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
oolaeg
e
Pa
r
am_Polyhedron_Fa
c
et: pass fa
c
et de
f
i
ning cons
t
r
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
genfun
.
cc: para
l
lel_polytopes: don't bother ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
la
e
g
e
evalue_split_dom
a
ins
_
in
t
o
_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
r
doolaege
e
v
alue_read: only allow
t
er
m
s to cross newlines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
evalue
_
r
e
ad:
o
nly a
c
c
e
pt implic
i
t multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: accept co
n
straints cont
a
ining "'
-
'
s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
e
value_ber
n
stein_coefficients: e
n
sure result
p
a
rtiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
b
er
n
stein: piecew
i
s
e_lst: correctly
print and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
ege
remove_all_equa
l
ities: ke
e
p removing
parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoola
e
g
e
doc: co
n
sistent use of Kevin's
ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoola
e
ge
doc: updat
e
now published p
a
p
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdoolaege
for_eac
h
_low
e
r_upper
_
bound: allow
a
b
s
ence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rev
e
rt "eadd
_
partitions: try to combine multiple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_rea
d
_p
a
rtition: put partitions bac
k
in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
ev
a
lue: red
u
ce_evalue:
a
dd note on some missed
o
pportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaeg
e
be
r
nstein
.
cc: hand
l
e
i
nput w
i
th un
i
o
n
s + relation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
maximi
z
e
.
cc: deal with unions in inpu
t
du
r
i
n
g
v
erification
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
olaege
eva
l
u
e
_substitute: proper
l
y handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue
.
c: clean
u
p em
u
l an
d
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aeg
e
ev
a
lue_rea
d
: corr
e
ctl
y
read
v
a
riable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
eva
l
ue_read:
a
cce
p
t t
o
p le
v
el "relatio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoolaege
ev
a
lue_backsub
s
t
itute
:
a
d
d
required m
o
d
u
l
o
c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdoolaege
evalue
.
c
: *_
p
art
i
tions:
simpl
i
f
y
constraints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
la
e
ge
doc:
m
ore speci
f
ic inf
o
rmation on bu
g
gy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configu
r
e
.
in: re
q
uire cddlib 0
.
94e
b
y
testing fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
erdoolaege
configure
.
in:
o
nly c
o
mpile occ
i
f cod
e
_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
add some tests
for implementa
t
ion of proj
e
c
tion th
e
o
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc: document new optio
n
s
and
n
ew applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
AU
T
HORS: update sup
p
ort info
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oola
e
ge
genfun
.
cc: short_ra
t
::
p
rint: c
o
r
r
e
ctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Export series as barvi
n
o
k_enu
m
erate_series a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parame
t
er_equalities:
s
top "removing" equa
l
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
d
o
o
l
aege
se
r
ie
s
: le
a
ve freeing
o
f P argu
m
ent to ca
l
ling function
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaeg
e
d
oc: document implementation of the projection
t
heor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
b
arvinok_enumerate_e_
s
eries
i
m
plementing the
projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix and docume
n
t pa
r
alle
l
pol
y
t
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Onl
y
com
p
ile zsolve if gcc 3
.
4 or later
i
s avai
l
a
b
l
e
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
oolae
g
e
M
o
ve GiNaC-independen
t
part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
po
l
y
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Ve
r
doolaege
doc: how
t
o
count
t
he number of
elements in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
do
c
/implem
e
ntat
i
on
.
tex:
avoid
multiply defined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
ool
a
ege
lattice_width
.
c:
t
r
y
vertices of prev
i
ous integer hu
l
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c:
d
ocument integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
g
e
hull
.
c: add all points
found by samp
l
ing direct
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdo
o
l
a
e
g
e
Possible opti
m
izat
i
o
n
s for genera
l
ized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
d
oolaeg
e
Supp
o
rt use of genera
l
ized bas
i
s reduc
t
ion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
doolae
g
e
add Polyhedron_Integ
e
r_Minimum for computin
g
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doo
l
a
e
g
e
d
oc: document gener
a
l
i
zed basis reduc
t
i
o
n base
d
i
n
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more mi
s
s
ing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c
:
a
dd mi
s
s
ing incl
u
de of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
in: pass pa
t
h of GMP installat
i
on to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
conf
i
gure
.
in: only comp
i
le libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolae
g
e
Poly
h
edron
_
R
educed_Basis
:
don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
compute_width_direc
t
ions:
o
n
ly keep list o
f
di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdo
o
l
aege
z
s
olve: don't in
s
tall l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: s
h
ow
u
se
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
doolaeg
e
configure
.
in: don't set with_{poly,pip}lib_prefix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oola
e
ge
P
o
lyhe
d
r
o
n_Sample:
b
e sati
s
fied w
i
th a reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rd
o
o
laege
con
e
_
i
nteger_hu
l
l: op
t
io
n
ally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdo
o
laege
basis_red
u
ctio
n
:
k
eep tra
c
k of nu
m
ber of LPs s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
opt
i
ons: move --print
-
s
t
ats to library
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n V
e
rdool
a
ege
bernst
e
in
:
rew
o
r
k testin
g
frame
w
ork to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdoolae
g
e
bernstein: add
piecewise_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolae
g
e
s
u
pport newer versions o
f
Gi
N
aC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
t
anda
r
d_
c
ons
t
raints:
m
ov
e
f
rom topcom
.
c to pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en V
e
r
doola
e
g
e
po
l
y
sign
.
h: remove
d
e
pendency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
zsolve: add banner
.
h
to distribution
commit
|
commitdiff
|
tree
next