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 V
e
rdo
o
laege
te
s
t_bound:
c
onvert quasipolynomials to
polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st_bou
n
d:
c
ompar
e
polynomial boun
d
alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
ve
r
ify
.
c: optimum: handle input evaluating to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
verify
.
c: extract
e
value_optimum
f
rom maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdo
o
la
e
ge
verify
.
c
:
ext
r
act c
o
mmon code for ve
r
ifying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_range
_
propagatio
n
: add mono
t
oni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bar
v
inok_maximize: option
a
lly use (bas
i
c) range
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for
d
e
aling wi
t
h eva
l
ues tha
t
represen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
nok_enumerate: support u
s
e
of Euler
-
Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verd
o
o
la
e
g
e
implem
e
nt Bernoul
l
i_sum a
s
c
onversion from unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaeg
e
Be
r
noulli_sum_eva
l
u
e
: ex
p
l
o
it integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number of Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdool
a
ege
bernou
l
li
.
c
:
protect shared evalue
from modifi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
t
e
st Bernoulli sums based e
x
a
c
t
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvin
o
k_count
_
w
ith_op
t
ions: co
m
pute (exact) B
e
r
n
ou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i_s
u
m_evalue: optionally h
a
n
dle fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
la
t
t
ice_p
o
int
.
h
: export
f
racti
o
nal_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
b
a
rvinok_enumerate
_
wit
h
_options
:
comp
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalue: handle
equal
i
tie
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
Be
r
noulli_sum_evalue: cut off some redundan
t
p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
ge
Bernoulli_
s
um_evalue: make su
r
e no
e
mpty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
o
olae
g
e
Bernoulli_sum_eva
l
ue: remove
r
edundant constra
i
n
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
be
r
noulli
.
c: m
i
nor r
e
factori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
Bernoul
l
i_sum:
hand
l
e cont
e
xt
constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Berno
u
lli_
s
um_evalue: make sur
e
enough m
e
mory is allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_lower_upper_bound
:
add
a
nother callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
ad
j
ust defaul
t
range to co
n
text if neede
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
eule
r
.
cc:
summate_over_domai
n
: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
param_util
.
c:
ex
p
or
t
Pa
r
am_Ver
t
ex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
Param_Polyhedron_Facet: pas
s
facet
defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
g
enfun
.
cc
:
p
a
ralle
l
_polytope
s
: don
'
t bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
do
o
laege
evalue_spli
t
_domains_int
o
_orthants: don't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
laege
evalue_read: only allow terms to c
r
os
s
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_r
e
ad: only accept imp
l
icit multiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue
_
read: accept constraints co
n
t
a
i
n
i
ng "
'
-
' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
evalue_bernste
i
n_coeffic
i
ents:
e
n
sure
r
e
sult p
a
r
titi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rd
o
o
laeg
e
bernstein: piecewise_l
s
t: correctly pri
n
t and
ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
remove_al
l
_e
q
ual
i
ties:
keep removi
n
g parameter equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
upd
a
te pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
d
o
c
: con
s
istent us
e
of Kev
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
e
g
e
doc: update now pub
l
ished pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Ve
r
doo
l
aege
for_each_
l
o
wer_upper_bound: allow
a
bsence of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_partition
s
:
t
ry to combine m
u
ltiple
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_parti
t
ion: put
partitio
n
s back in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
e
v
alue: redu
c
e_evalue:
a
d
d
not
e
on
some miss
e
d opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolaege
bernstein
.
cc:
handle input
w
ith u
n
ions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc:
d
eal with u
n
ions
i
n
input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_su
b
s
titute
:
properly ha
n
dle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue
.
c: clean up em
u
l an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_read:
c
orrect
l
y read var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_rea
d
:
accep
t
top le
v
el "
r
elation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_ba
c
ksubs
t
itute: add requir
e
d modulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdoola
e
ge
evalue
.
c:
*_parti
t
io
n
s: simplify
cons
t
raints be
f
or
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven V
e
r
d
o
olaege
doc: mor
e
specific
info
r
mati
o
n on
b
u
ggy cddlib
ve
r
s
ions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verd
o
olaege
configure
.
in: req
u
ire cd
d
l
ib 0
.
94e by testing for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolaege
config
u
r
e
.
in:
only c
o
mpile occ if co
d
e_gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
barvi
n
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
add
s
ome tests for implementation of pr
o
je
c
t
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
do
c
: docu
m
ent ne
w
o
ptions an
d
new applica
t
io
n
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
AUTHORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
genfun
.
cc: sho
r
t_
r
a
t
::prin
t
: correctly print p
o
l
y
n
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
Export
s
eries as bar
v
inok_enumerate_series a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equaliti
e
s
:
sto
p
"remov
i
ng" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ser
i
es: l
e
ave freeing of P
a
r
gument to
c
a
l
ling fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
ola
e
ge
doc: docum
e
nt implementation of the project
i
on the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerate_e_s
e
ries im
p
lementing the
p
rojec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
genf
u
n
.
cc: fix
an
d
document parallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile z
s
olv
e
if gcc 3
.
4 or l
a
te
r
is available
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Move G
i
NaC
-
independen
t
part of library to barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
poly
l
ib:
u
pdat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
do
c
: how to count
t
he number of ele
m
e
n
t
s
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verd
o
olaege
doc/implementat
i
on
.
tex: avoid mu
l
tiply
d
e
f
in
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolae
g
e
lattice_w
i
dth
.
c:
t
ry vertices of
p
revi
o
u
s
i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document
i
nteger hull computatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
olaege
hu
l
l
.
c: add all points f
o
u
n
d
by s
a
mpling d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
ol
a
ege
Possible o
p
timizat
i
ons for generalized b
a
sis r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Support us
e
of
genera
l
i
zed
b
asis r
e
duction to co
m
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
add Polyhedr
o
n_Integer_Mini
m
um f
o
r computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c
:
d
ocument
generalized b
a
sis red
u
c
t
ion
b
ased integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
d
o
c/barvinok
.
bib: a
d
d missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
laege
add mo
r
e missi
n
g assert
.
h
#incl
u
d
e
s
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolaege
ev
a
l
ue
.
c
:
a
d
d
missi
n
g i
n
clude of
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolaeg
e
configure
.
in: pass path
o
f GMP installation
t
o Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
configure
.
in: o
n
ly compile libb
a
rvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron
_
Reduced_Basis: don't stop too earl
y
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
Verd
o
ol
a
ege
compute_wid
t
h_directions:
o
nly
k
eep l
i
st o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
zsol
v
e
: don'
t
instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
o
olaege
versi
o
n
.
c: show use of T
O
PC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
c
o
nfigure
.
in
:
do
n
't set with_{pol
y
,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
P
o
lyhedron_Sample:
b
e
s
a
tisf
i
ed
w
ith a reas
o
nable ch
o
ic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
rdoolaege
cone_integer_hull:
optional
l
y
print
s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaeg
e
basi
s
_reducti
o
n: keep track of number
o
f LPs
solv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
options: move --p
r
in
t
-stats to librar
y
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdo
o
laege
bernstein: rework testing
f
r
amework to
n
ot
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdool
a
ege
be
r
nstein:
a
dd piecewi
s
e
_
lst
:
:is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdool
a
ege
support newer v
e
rsions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
standard_constraints: move from
t
opcom
.
c to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
polysign
.
h
:
remove dependency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdo
o
laege
zso
l
v
e
: ad
d
b
anner
.
h
t
o distributio
n
commit
|
commitdiff
|
tree
next