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
doc: fix typos
2008-03-31
Sven Verdool
a
ege
k
eep tr
a
ck of number of
B
ernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
b
e
rnoul
l
i
.
c: protect shared evalue fr
o
m modifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
test B
e
rnoulli sums
b
as
e
d exact enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
ba
r
v
ino
k
_count_with_options: c
o
mpute (exact) B
e
rn
o
u
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
e
rnoulli_sum_evalue: optionally
handle
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
lattice_point
.
h
:
export fractional_
p
art with C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvino
k
_
enumerate_wi
t
h_options
:
compute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bern
o
ulli_s
u
m_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_su
m
_evalue: cut off
so
m
e red
u
n
d
ant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bernoulli_sum_eva
l
ue: make s
u
re no empty
pa
r
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Ber
n
oulli_su
m
_evalu
e
:
remo
v
e
redundant c
o
nstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
Bernoul
l
i_sum: handle context c
o
nstrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Berno
u
lli_sum_evalue: ma
k
e sure eno
u
gh memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
for
_
e
ach_lower_upper_bound
:
add anot
h
er ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
veri
f
y
.
c:
a
dju
s
t defau
l
t range
t
o c
o
nte
x
t
i
f n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
euler
.
cc
:
summate_over_do
m
ain: only
c
onsider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
p
a
ram_util
.
c: exp
o
rt Param
_
V
e
rtex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Facet:
p
a
ss facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
genfun
.
c
c
:
p
arall
e
l
_
polytopes: don't bother
h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eva
l
ue_split_d
o
main
s
_into_
o
rthants:
d
on't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read: only al
l
o
w terms
t
o
cross newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoola
e
ge
eval
u
e_read:
o
nly
accep
t
implicit mu
l
t
i
plicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
valu
e
_
r
ea
d
:
a
ccept constra
i
nts c
o
ntaining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
evalue
_
b
e
rnst
e
in_coefficients: en
s
ure result p
a
rti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
V
erdoo
l
aege
bernste
i
n
:
piecew
i
se_lst: correc
t
ly print
a
n
d ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaege
r
emove_all_equalities: k
e
e
p
r
e
m
o
ving parameter equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
doc: consistent use of K
e
v
in's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaeg
e
doc: update now publ
i
shed p
a
p
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
for_each_low
e
r_upper_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdool
a
e
g
e
R
e
v
ert "eadd_partit
i
ons
:
try to c
o
mbine
multip
l
e do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read
_
par
t
iti
o
n
: put partitions ba
c
k in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
evalue
:
reduce_evalue: add
n
ote
on some missed opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
bernst
e
in
.
cc: handle input with unions + rela
t
ion vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
o
ol
a
e
g
e
maximize
.
cc: deal with unions in input during
v
erificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
olaege
evalue_sub
s
tit
u
te:
p
roperly handle
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
doolae
g
e
evalue
.
c: clean
u
p
e
m
ul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue_read: corre
c
t
ly read variabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: a
c
cept top level
"
r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
u
pd
a
te pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
olaege
evalue_backs
u
bstit
u
t
e: add
requi
r
e
d
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
erd
o
olaege
evalue
.
c:
*
_p
a
rtitions:
s
implify
c
o
nstraints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
m
ore specific information on buggy cdd
l
ib version
s
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Ve
r
doola
e
ge
c
onfigu
r
e
.
in: require cddl
i
b 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doola
e
ge
configure
.
in:
o
nly compile occ
i
f
c
ode_
g
en l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
ae
g
e
add
s
ome te
s
ts
for implementation of pro
j
e
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
doc: do
c
ument
n
ew options
a
n
d new app
l
i
c
ati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUT
H
O
R
S: up
d
ate s
u
p
port information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfu
n
.
cc: short_rat::print: corr
e
ctly print p
o
lynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export s
e
ries as barvinok_enumerate_series and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
remove_
p
aram
e
ter_eq
u
alities
:
stop "removing" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
aege
series: leave freeing of P argumen
t
to c
a
l
l
ing func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
d
oc: documen
t
implem
e
nta
t
ion of
t
he projecti
o
n th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add ba
r
v
inok_enume
r
a
t
e_e_series implement
i
ng the pr
o
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
genfun
.
cc
:
fi
x
a
nd
documen
t
pa
r
allel po
l
y
t
opes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Only compi
l
e zs
o
l
ve if gcc 3
.
4 or late
r
is
available
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olaeg
e
M
o
ve GiNaC-i
n
dependent p
a
rt of libra
r
y to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoo
l
a
e
ge
doc
:
how to count the numb
e
r
o
f ele
m
ents in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc/
i
mplementatio
n
.
tex: a
v
oid m
u
ltip
l
y d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
lattice_width
.
c: try
v
ertice
s
o
f previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
document integ
e
r hull
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add
a
l
l
p
oints found by sampling d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
P
o
ssible optimizations f
o
r generali
z
ed basis red
u
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verd
o
ola
e
ge
Suppor
t
use
o
f
generalized basis reduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
add P
o
l
yh
e
dr
o
n_Integ
e
r
_Minimum fo
r
c
o
mputi
n
g t
h
e
i
nteg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc: document generalize
d
b
a
s
is red
u
ction based
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoo
l
aege
doc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
d
d mo
r
e missing a
s
ser
t
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolae
g
e
evalue
.
c: add
missing
i
nclude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolae
g
e
c
o
nf
i
gure
.
in: pass
p
ath
of
G
M
P
installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
V
erdo
o
laege
c
on
f
igure
.
i
n
: only compile li
b
barvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
V
erdoolaege
Polyhedron_Re
d
uced_Basis: don't
stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdo
o
laege
compute_widt
h
_dire
c
tion
s
: only kee
p
list of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve
:
don
'
t
i
nstall library
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoo
l
aege
version
.
c:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
co
n
fi
g
ure
.
in: don't set
w
it
h
_{poly,pip}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sample: be
s
atisfied with a reasonab
l
e
choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone
_
int
e
ger_hull:
opt
i
o
n
ally print
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
bas
i
s_re
d
uction: keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
rdoolae
g
e
options: move
--prin
t
-stats t
o
lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoo
l
aege
bernstein: rework
test
i
ng
f
ramework to
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
o
laege
bernstei
n
: add piecewise_lst::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
ege
support newer version
s
o
f
G
iNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verd
o
o
laeg
e
sta
n
dard_constraints: move fro
m
topc
o
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
polysign
.
h: r
e
m
o
ve dependency on lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaeg
e
z
s
olve: add b
a
nner
.
h to dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
Po
l
yhedron_Lat
t
ice_Width_
D
i
r
ections: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
basis_re
d
u
c
ti
o
n_p
i
p
:
abort on invali
d
(empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaeg
e
R
E
ADME: explain
h
o
w to
g
et
s
ubmodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdo
o
laege
doc: d
o
c
u
ment lattice width compu
t
ation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdool
a
ege
some la
t
tice
width tests f
r
om J
o
n
Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lattice_Width: decide on face
t
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
add
P
olyhedron_
L
attice_Widt
h
for
c
omputing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
hilbe
r
t
.
c: add Cone_Intege
r
_Hull fo
r
compu
t
ing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
poly
s
ig
n
: add
p
ip-backed
version
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
e
rdoolaege
po
l
y
sign: add constraints_opt to com
p
ute op
t
i
mum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysi
g
n_cdd:
s
wit
c
h to u
s
e of Matrix r
e
presentati
o
n
.
.
.
commit
|
commitdiff
|
tree
next