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_maximize: optionally use (basic) range propagation
2008-03-31
Sv
e
n Verd
o
olaege
b
arvinok
_
m
a
ximi
z
e
:
optionally use (ba
s
i
c) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
Ad
d
s
o
me support
for dealing with eval
u
e
s that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvi
n
o
k
_enumerate: support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
im
p
lement Bernoulli_sum as
conversion from un
w
eighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Be
r
no
u
lli_sum_evalue
:
exploit intege
r
bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
e
ep track of numb
e
r
of Bernoulli
su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
eg
e
b
e
rnoul
l
i
.
c: protect
s
hare
d
eval
u
e from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
Bernoulli sums based
e
xact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_count_with_
o
ptio
n
s: compute (e
x
act) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
Bernoulli_sum_evalue: opti
o
nally
handle fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: export fractional_pa
r
t
w
ith C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
barvinok
_
enumerate_wi
t
h_options
:
compute
(
exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
eg
e
Bernoulli_s
u
m_evalue: handle eq
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
Bernoulli_
s
um_
e
v
a
l
ue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
Bernoulli_sum_eval
u
e: ma
k
e sure no e
m
pt
y
p
a
rtition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoul
l
i_sum_e
v
alue: remov
e
redunda
n
t constr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor ref
a
c
tori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
Bernoulli_sum: h
a
ndle co
n
text constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Berno
u
lli_sum_evalu
e
: make
sure eno
u
gh memory is al
l
oc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
for_each_lower_up
p
er_bound: add another call
b
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust de
f
ault
range
to co
n
text if need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
euler
.
cc
:
s
um
m
ate_over_domain:
only co
n
sider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
la
e
ge
param_u
t
il
.
c:
e
xport Para
m
_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
g
e
Param_Polyhedron_Facet:
pa
s
s
facet defining constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
genfun
.
c
c: parallel_poly
t
opes: d
o
n't bother
hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_sp
l
it_domai
n
s
_into_orthants:
don'
t
re
d
u
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_read:
only all
o
w terms to
cross newline
s
i
n
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
ol
a
ege
evalue_read: only acc
e
pt
implicit
m
u
ltip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
evalue_read: ac
c
ept const
r
aints contai
n
i
ng "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
evalue_
b
ernstein
_
coef
f
icients:
ens
u
re
result part
i
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
bernstein:
p
i
e
cewise_lst: c
o
r
r
ectly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
o
o
laege
remove_all_eq
u
alities:
k
e
ep
r
emoving para
m
e
t
er equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
doolaege
update
polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rd
o
ola
e
ge
doc: consi
s
tent use o
f
Kevin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc: update now
publi
s
hed pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
f
o
r_each
_
lower_upper_bound:
allo
w
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
Revert "eadd_
p
a
r
titions: try to combine mult
i
ple do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
e
rdool
a
ege
evalue_read_pa
r
t
ition: put partitions back
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdo
o
laege
eva
l
u
e
:
reduce_e
v
a
lue: add note on some missed
opport
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ber
n
s
t
ein
.
cc:
hand
l
e
i
nput
w
ith unions
+
rel
a
tio
n
v
iolate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
ola
e
ge
maximi
z
e
.
cc: deal with
u
nions in inp
u
t during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
ae
g
e
ev
a
lue_
s
ubs
t
itute: pr
o
perly ha
n
dle relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Ver
d
o
ol
a
ege
e
v
a
lue
.
c
: clean
u
p emul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
e
rdoolaege
evalue_read: correctl
y
read vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaeg
e
evalue_read: accept top level "rel
a
t
i
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backs
u
bsti
t
ute
:
a
d
d required mod
u
lo constr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
evalue
.
c:
*
_
p
artitions: simp
l
ify constr
a
i
n
ts befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoolaege
doc: more specific
informati
o
n
o
n buggy cddli
b
vers
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoolaege
co
n
f
igure
.
in: requi
r
e cddlib 0
.
94e by testi
n
g
f
or bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
onf
i
g
u
re
.
in: only compile
occ if code_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
ba
r
vi
n
ok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add s
o
me tests
f
or
imple
m
entation of
projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
d
oc: document
n
ew
o
ptions an
d
new app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
AU
T
HORS: update suppo
r
t informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
laege
genf
u
n
.
cc
:
short_
r
at::print: cor
r
ectly p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
E
xport series
as barvinok_e
n
umerat
e
_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
remove_parameter_equal
i
ties:
s
top "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
d
oolaege
series:
l
eave freeing of P argument
to
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
ool
a
ege
d
o
c: document
implementation
o
f the
p
r
o
j
ec
t
ion
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerate_e_ser
i
es
imp
l
ementing the
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
ge
n
f
u
n
.
cc: fix and
documen
t
parallel poly
t
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile zsolve if gc
c
3
.
4 or
lat
e
r is
a
vailabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
a
e
ge
Move G
i
NaC-independent p
a
rt of
l
ibrary to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n
V
e
r
doolaeg
e
doc:
h
ow t
o
co
u
n
t t
h
e num
b
er of elem
e
nts i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdool
a
ege
doc/implement
a
tion
.
te
x
: avoid
multiply defi
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
l
a
ttice_
w
id
t
h
.
c: try
vertices of previous int
e
ger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document integer h
u
ll computation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
hull
.
c
: a
d
d al
l
p
o
ints found by sampling directly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
P
o
ssibl
e
o
ptimizations f
o
r genera
l
ized
b
asis red
u
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
ae
g
e
Support
u
se of ge
n
eralized basi
s
reducti
o
n to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
add Polyhe
d
ron_Integer_M
i
n
i
mum f
o
r c
o
mputing
the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: document generalized basis redu
c
tion based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
oolaege
doc/ba
r
vinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add
more
m
iss
i
ng asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verd
o
o
l
aege
ev
a
lue
.
c
:
add
m
issing include of
alloc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n Verdoolaege
config
u
re
.
in: pass pat
h
of GMP installat
i
o
n
to Pol
y
Li
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
V
erd
o
olaege
configure
.
i
n: only compi
l
e libba
r
vinok
a
s a
s
tatic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Pol
y
he
d
r
o
n
_Redu
c
ed
_
Basis: don't
stop too ear
l
y
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olae
g
e
compute_width
_
dire
c
tions: only k
e
ep li
s
t o
f
dis
t
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: don't
insta
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
olaege
version
.
c: show use
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
erdoolae
g
e
c
o
nf
i
gure
.
in: don't set w
i
th_{po
l
y
,pip}l
i
b_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
Polyhedron_Sa
m
ple:
b
e
satisfied with a reasonable cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
one_inte
g
e
r_hull: optionall
y
p
r
i
nt s
t
a
t
s
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
erdoolaege
basis
_
r
edu
c
tion: keep tr
a
ck of number of L
P
s solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
opt
i
ons: move --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ver
d
o
o
laege
bernst
e
in:
r
e
work testing framework
to n
o
t depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
be
r
nstein: add pi
e
cewise_lst::is_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support n
e
we
r
versions of GiN
a
C (>=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdo
o
laege
s
t
and
a
rd_constraint
s
: move
f
rom topcom
.
c t
o
p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
po
l
ysign
.
h: remove
d
ependency o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
zsolve
:
add ba
n
ner
.
h
t
o
dist
r
ibu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Poly
h
edron_Lattice_
W
idth_Directions: pr
i
nt progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoola
e
ge
b
a
sis_redu
c
t
i
on_pip: abort
on i
n
valid (empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
README: explain h
o
w t
o
get su
b
m
o
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoola
e
ge
doc: d
o
cument
la
t
ti
c
e width
computation
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
some lattice width tests from
Jo
n
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedr
o
n
_
Latt
i
ce_Width:
d
ecide on facets to close
.
.
.
commit
|
commitdiff
|
tree
next