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: optimum: handle input evaluating to negative values
2008-03-31
Sv
e
n Ver
d
oo
l
ae
g
e
veri
f
y
.
c:
o
ptimum: hand
l
e input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
veri
f
y
.
c
: extra
c
t ev
a
lue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extrac
t
comm
o
n code for verifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagation: add
m
onotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
barv
i
nok_maximi
z
e: opt
i
o
nally use (
b
asic) r
a
nge propagat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
Add some support for de
a
ling with e
v
a
l
ues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
barvi
n
ok_enumerate: support use o
f
Euler
-
Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
ol
a
ege
implement Bernoulli_sum as conversi
o
n from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernou
l
li_sum_ev
a
lue: exploit
i
nteg
e
r bou
n
ds
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
keep t
r
a
ck
o
f numb
e
r of Bern
o
ul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rd
o
o
laege
bernoulli
.
c: protect share
d
e
v
alue from modif
i
ca
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t Bernoulli sums ba
s
e
d exact e
n
umerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
e
g
e
barvi
n
ok_count_with_op
t
ions: co
m
pute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
d
o
ol
a
e
ge
Bernou
l
l
i
_su
m
_evalue: optionally hand
l
e fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
r
doolaege
l
a
ttice_poi
n
t
.
h: export fra
c
tional_pa
r
t
w
ith C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
barvin
o
k_
e
nu
m
erat
e
_with_options: co
m
pute (exact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli
_
sum_evalue
:
han
d
le equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_e
v
a
l
u
e
: cut o
f
f
some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli
_
sum_evalue: make su
r
e no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_eva
l
ue: remove
r
e
d
undant c
o
n
s
t
raint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
r
dool
a
e
g
e
bern
o
ulli
.
c
:
minor
ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdool
a
ege
Ber
n
o
ulli_
s
um: ha
n
dle con
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum_eva
l
ue: make sure e
n
ough memory is a
l
loca
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_
e
ach_lower_u
p
per_boun
d
: ad
d
ano
t
her callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c: a
d
just default ra
n
ge to
context
i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
euler
.
cc: summate_over_d
o
main:
only c
o
nsid
e
r a
c
tu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
a
ram_util
.
c
: ex
p
o
r
t P
a
ram_Vertex_Set_F
a
c
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Param_Polyh
e
dron
_
Fa
c
et: pa
s
s facet
d
e
fining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
ge
n
fun
.
cc: paral
l
el_
p
olytopes: don't
b
other
handl
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_sp
l
it_domain
s
_int
o
_orthants: don'
t
reduce e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
evalue_read: only a
l
low te
r
ms to cr
o
ss n
e
wli
n
e
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read:
o
nly
accept implicit
multiplica
t
ion
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
evalue_read: accept constraints
c
ontaini
n
g "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
e
va
l
u
e
_
b
e
rnstein_coeff
i
cients: ensu
r
e result partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
berns
t
ein:
p
iecewise_lst: correctly print and e
v
alu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ver
d
oo
l
aeg
e
remove_a
l
l_equalities: keep rem
o
ving p
a
rameter equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoola
e
g
e
update
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
doc
:
consis
t
ent use
o
f
Kevi
n
'
s
in
i
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
doc: updat
e
n
o
w published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaeg
e
for_each_lower_uppe
r
_bound: allow absence of lo
w
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Revert "eadd_partitions: try to combine multi
p
l
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
dool
a
ege
ev
a
lue_read_
p
artition: put partitions back
i
n the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
olaege
e
valu
e
:
r
e
d
uc
e
_
e
value: add not
e
on
some m
i
ss
e
d
op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
o
laege
bernstein
.
cc
:
handle input with unio
n
s +
relati
o
n viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
maximize
.
c
c: dea
l
w
i
t
h
u
ni
o
ns in input duri
n
g verification
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdool
a
ege
evalue_sub
s
titute: properly
handle
r
elatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdool
a
e
g
e
evalue
.
c: c
l
ean up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
rdo
o
l
a
ege
ev
a
lue_read: correctly read v
a
riable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalu
e
_read
:
accep
t
t
op lev
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
olaeg
e
evalue_
b
acksubs
t
itute: add required mo
d
ulo co
n
straints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdoolaege
evalue
.
c: *_partitions: simplify cons
t
r
a
int
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aege
doc: more specif
i
c
information on buggy cddlib v
e
rs
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
d
oola
e
ge
configure
.
in: require cdd
l
ib 0
.
94e by
testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doola
e
g
e
c
o
nfigure
.
in
:
only
compile
occ i
f
code
_
gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
d
d some tests for impl
e
mentation
o
f
p
roje
c
t
ion
t
h
eor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoo
l
aege
d
o
c:
d
ocumen
t
new options and
new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
UTHORS: upd
a
t
e support information
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
genf
u
n
.
cc: s
h
or
t
_rat
:
:pri
n
t: c
o
rrectly prin
t
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Export series
a
s barvinok
_
e
nume
r
ate_series
a
nd u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
re
m
ove_
p
aram
e
t
er_e
q
u
a
lities:
s
top
"
removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
series
:
leave
f
reeing of P argum
e
nt to cal
l
ing function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc: document im
p
l
ementation of the
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
add barvino
k
_
e
numera
t
e_e_
s
eries implement
i
ng the proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
enfu
n
.
cc:
fix
a
nd docum
e
nt parallel polytopes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Only compile zsolve
i
f
gcc 3
.
4 o
r
later is av
a
ilabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
Move GiNaC-i
n
depend
e
nt part of libra
r
y to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
polylib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc:
h
ow to count
the numb
e
r of elements in
p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc/imp
l
e
mentation
.
tex: av
o
i
d
multiply d
e
fine
d
lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaeg
e
lattice_
w
i
dth
.
c: try vertice
s
of previous
integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
ege
doc: d
o
c
u
m
ent
i
nteger hull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add all p
o
i
n
ts found by
sampling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possi
b
le optimization
s
for generalized bas
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
laege
S
u
pport use o
f
g
e
neralized
basis reduction to comp
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add P
o
lyhedron_I
n
t
eger_Minimum
f
o
r computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
oolaege
doc: document gene
r
alize
d
bas
i
s reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
d
oolaege
doc/barvin
o
k
.
bib: add missi
n
g strin
g
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n Verdoo
l
aege
a
d
d
m
o
r
e
missing asse
r
t
.
h
#incl
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
evalue
.
c: add mis
s
ing include of a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven
Verdoolae
g
e
conf
i
gu
r
e
.
in:
p
ass p
a
t
h of GMP
i
nstallation t
o
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
Verdoolaege
configure
.
in: o
n
ly compile libbarvinok as a st
a
ti
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Pol
y
hedron_Red
u
ced
_
Basis:
d
o
n
't stop too
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
oolaege
compute_width_directi
o
ns: only
keep l
i
st of
d
i
sti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
e
ge
zso
l
v
e
: don't instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoola
e
ge
version
.
c: show u
s
e of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
l
aege
c
on
f
igure
.
i
n: don'
t
set
with
_
{poly,pip}li
b
_prefix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
Polyhedron_Sa
m
ple: be satisfied with
a
reasonable c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
cone_intege
r
_hu
l
l: optionall
y
print st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
basis_reduct
i
on: keep trac
k
of n
u
mber of L
P
s solved
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdool
a
ege
option
s
: mo
v
e --pri
n
t-
s
t
a
t
s
to li
b
rary
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
erdoolaege
bernst
e
in: rework testing framew
o
rk to not de
p
end
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
r
doolaege
bernstein: add piecew
i
se_
l
st
:
:is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaeg
e
s
u
pport new
e
r
versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdoolaege
standard
_
constraints: move
fr
o
m
topcom
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoo
l
aege
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
z
s
olve: add
b
a
nner
.
h
to distri
b
ution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
la
e
g
e
Poly
h
edron_Latti
c
e_Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
r
doolaege
basis_
r
eduction_
p
i
p
: abort on invalid (empty)
i
np
u
t
.
.
.
commit
|
commitdiff
|
tree
next