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
verify.c: extract common code for verifying operation on evalue
2008-03-31
Sv
e
n
Verd
o
olaege
verify
.
c: extract
c
ommon code for
v
erifying
o
per
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
e
v
alue_range_propagatio
n
: add monotoni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
o
l
aege
barvinok_maximize:
optionally use
(
basic) rang
e
propaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
d
o
ol
a
ege
Add some support for
dealing wit
h
evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
no
k
_enumer
a
te: support
use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaeg
e
imp
l
ement Be
r
noulli_
s
um
as
c
onversion from u
n
wei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
e
rnoulli_sum_ev
a
lue: exp
l
oit int
e
g
e
r bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
k
e
ep tra
c
k of
n
umber o
f
Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
l
a
ege
bernou
l
li
.
c: prot
e
ct shar
e
d
e
v
a
lue from
m
odi
f
ica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t Ber
n
oulli sums based exact
enumer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barv
i
nok_coun
t
_wit
h
_options: c
o
mpute (e
x
act)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
Bernoulli_sum_evalue:
op
t
ionall
y
handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
lattice_
p
oint
.
h
:
export
fractional_part
wi
t
h C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_enum
e
rate_
w
ith_opt
i
ons: compute (exact)
Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Ber
n
oull
i
_sum_evalue: han
d
le e
q
u
ali
t
i
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
Bernoul
l
i_sum
_
e
v
alue: cut off som
e
re
d
u
nda
n
t p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
Bernoulli_su
m
_evalue: mak
e
sure no
e
mpty
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Berno
u
lli
_
su
m
_
evalue: r
e
move redundant constraint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernou
l
li
.
c: minor
r
efactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_su
m
: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
B
e
r
n
oul
l
i_sum_evalue: make sure enou
g
h memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
dool
a
ege
for_ea
c
h_lowe
r
_
u
pper_b
o
und
:
ad
d
another c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
verify
.
c: adju
s
t default
r
ange t
o
co
n
text
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
euler
.
cc: summate
_
over_do
m
ain: only co
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verd
o
olaege
param_
u
til
.
c: export Para
m
_
V
ertex
_
Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Par
a
m_Polyhedron
_
Facet: pass facet defining
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
genf
u
n
.
cc: p
a
r
a
llel
_
poly
t
opes
:
d
o
n't
bother h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
e
v
al
u
e_spli
t
_
d
omains_into_ort
h
a
n
t
s
: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ev
a
l
u
e
_
r
ead
:
on
l
y allow terms to cross ne
w
lines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue
_
read: only
a
c
c
e
p
t implicit multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaeg
e
e
va
l
ue_read: ac
c
ept con
s
traints c
o
nta
i
ning "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
evalue_bernst
e
i
n_c
o
e
f
fici
e
nts: ensure
r
esul
t
par
t
it
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
ge
b
ernstein: pie
c
e
wi
s
e_ls
t
:
correctly print and ev
a
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
aege
re
m
ove_all_equal
i
tie
s
:
kee
p
r
e
m
o
ving paramet
e
r
equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olae
g
e
doc: consis
t
ent use of Kevin's
initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Ve
r
dool
a
ege
doc: update now p
u
blishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
for_ea
c
h_lower_upper_bound:
a
llow absence of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
e
r
doolaege
Revert
"
eadd_part
i
tion
s
:
try to combi
n
e multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_
r
ea
d
_par
t
ition: put p
a
rtitions back in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_evalu
e
: add note on some m
i
s
sed
o
pportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laege
bernstein
.
cc: handle input with u
n
i
ons + rela
t
i
on viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
g
e
maximi
z
e
.
cc: de
a
l
w
i
th
uni
o
ns
in input during verific
a
tio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdo
o
l
aege
evalue_sub
s
titute: properly handle rela
t
i
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalu
e
.
c: clean up
e
m
ul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
eva
l
ue_read:
correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
ev
a
lue_read: accept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
r
d
oolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verd
o
ola
e
ge
evalue_backsubs
t
itute: a
d
d required modulo
constra
i
nt
s
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolae
g
e
evalue
.
c: *_parti
t
ions:
s
i
mplify constraints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verd
o
ola
e
g
e
doc: m
o
re specific information on buggy cddlib
v
e
r
s
i
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: r
e
q
uire cdd
l
ib 0
.
94
e
by testing for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verd
o
ola
e
g
e
c
o
nfigure
.
in:
o
nly compile occ
i
f code
_
g
e
n librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdool
a
e
ge
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
oolaeg
e
add some tests f
o
r implementation of projec
t
io
n
theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
d
ocum
e
nt
n
e
w
options and new a
p
plicat
i
on
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
AUTH
O
RS:
u
pdate support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
ge
gen
f
un
.
cc: short_rat:
:
print: c
o
rrectly print poly
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Export ser
i
es as
b
a
r
vinok_
e
numerate_seri
e
s
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdool
a
ege
remo
v
e_para
m
e
t
er
_
e
q
u
a
lities: sto
p
"removing
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olaege
series: l
e
ave freeing of P
a
r
g
u
m
ent
t
o ca
l
ling
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
d
ocument implementation of the projec
t
ion t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
b
arvinok_enumerate
_
e_series
impleme
n
ting the proj
e
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
lae
g
e
genfun
.
cc: fix
and document parallel polyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile z
s
olve if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
oolaege
Move GiNaC-independ
e
nt part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
doc: how to count
the number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaeg
e
d
o
c/im
p
lementation
.
te
x
:
a
void mult
i
ply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
la
t
tice_width
.
c
: try vertices of pr
e
vi
o
us integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
laege
doc: document intege
r
hull comp
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
ege
hull
.
c: add
a
l
l points fo
u
nd by samp
l
i
ng
direc
t
ly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdool
a
ege
Po
s
sible
o
ptimizations for general
i
zed basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
Support use of generalized basis reduction
t
o
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
add Po
l
yhedron_I
n
teger_Mi
n
imum for compu
t
ing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaeg
e
doc: document generalized b
a
sis reduction ba
s
ed intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bi
b
: add
miss
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
add more mi
s
sing assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
r
doolaege
configure
.
in:
only compile libbarvi
n
ok
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
o
olaege
Polyhedro
n
_
R
e
d
uced_Basis:
don
'
t
s
t
op too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_w
i
dt
h
_direc
t
ions: on
l
y
k
e
ep
list of
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
erdool
a
ege
zsolve: d
o
n't
install libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
versi
o
n
.
c: show
u
se of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't
set with_{poly,pip}lib_prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron
_
Sampl
e
:
be sat
i
sfied with a reasonab
l
e cho
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
o
olaege
cone_i
n
teger_hu
l
l: o
p
tionally
p
rint stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
ba
s
is_reduc
t
i
o
n: keep track of number o
f
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
ge
options: move --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rework
testing fr
a
m
ew
o
rk to not depen
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
d
oolae
g
e
bernste
i
n
: add piecewise_lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support
n
e
w
er versions of GiNaC (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olae
g
e
standard
_
con
s
trai
n
ts
:
move from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
polysign
.
h:
r
emove dep
e
n
d
ency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
zsolve:
ad
d
b
anner
.
h
to
dis
t
ributio
n
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdo
o
laege
Polyhedr
o
n_Lattice_Width
_
D
i
rections: print progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaege
b
a
s
i
s
_reduction_pip: a
b
ort
on i
n
v
alid (emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
a
e
g
e
REA
D
ME: explain how t
o
get submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
doc
:
document lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
s
o
me la
t
tic
e
width tests from Jon
Y
a
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
la
e
ge
Polyhed
r
on_
L
attic
e
_Width:
decide on fa
c
ets
t
o close
.
.
.
commit
|
commitdiff
|
tree
next