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
Bernoulli_sum_evalue: exploit integer bounds to reduce the number of cases
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_evalue: exploit
i
nteger b
o
unds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
doola
e
g
e
keep track of numbe
r
of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
be
r
n
o
u
lli
.
c
:
protect
shared eval
u
e from m
o
di
f
ications
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
test Be
r
noulli sums b
a
sed exact enum
e
rati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barv
i
n
ok_count_with_options: co
m
put
e
(ex
a
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoull
i
_sum_eval
u
e: optionally
h
a
nd
l
e
fr
a
c
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
lattice_point
.
h
:
export fracti
o
na
l
_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok_enume
r
a
t
e_with_options: compute
(
exa
c
t) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_evalue: handle equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Be
r
noulli_sum_evalue: cut
o
f
f
some
r
edunda
n
t par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum
_
evalue
:
make sure no empty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_su
m
_
eval
u
e
: r
e
mov
e
redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
b
erno
u
l
l
i
.
c: m
i
n
o
r re
f
a
c
to
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: ha
n
dle context constraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
Be
r
no
u
l
li_s
u
m_eval
u
e: make sur
e
eno
u
gh memory i
s
a
l
lo
c
ate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
for_each_lower_uppe
r
_bound: a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ver
i
fy
.
c: adjus
t
d
e
f
a
u
lt ra
n
g
e
t
o
c
ontext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
euler
.
cc:
sum
m
at
e
_over_
d
omai
n
:
o
n
l
y consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
param_u
t
i
l
.
c: exp
o
rt
Pa
r
am_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param
_
Polyhedron_F
a
cet: pass f
a
cet defining constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
genfun
.
cc
:
parall
e
l_pol
y
topes: don't bother h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
ev
a
lue_split_d
o
m
ains
_
i
nto_orthant
s
: don't
r
educe evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
evalu
e
_
read: only allow
t
e
r
m
s to
c
ross newli
n
e
s
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: on
l
y
a
cce
p
t
implicit mu
l
tiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
evalue_read: accept constraints containing "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
aege
evalu
e
_bernstein_coe
f
ficients: ensure re
s
ult pa
r
tit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
bernstein: pi
e
c
e
wise_lst: correctly p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
rem
o
v
e_all_equal
i
ties: k
e
ep
r
e
m
o
ving parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Ver
d
oolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
doc: consistent use
o
f
Ke
v
in's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
d
oc:
u
pdate now
p
ublishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en V
e
rdoolaege
for_each_lower_upper_boun
d
: allo
w
absenc
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
Rever
t
"eadd
_
pa
r
tition
s
: try
t
o combine multiple
d
omain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition: put
p
artitions back
i
n
the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
o
o
l
a
e
g
e
eva
l
u
e: r
e
d
u
c
e_ev
a
lue: add no
t
e on some missed
o
p
p
ort
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
b
er
n
st
e
i
n
.
cc: handle in
p
ut with un
i
ons
+ relation v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
aximiz
e
.
cc: d
e
al with unions in input duri
n
g ve
r
i
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
eva
l
ue_substit
u
te:
p
r
operly han
d
le relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
eval
u
e
.
c: clean up
e
m
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
la
e
ge
evalue_read: correctl
y
re
a
d
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_read:
a
c
c
ep
t
to
p
leve
l
"rel
a
t
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
pdate
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoolaege
ev
a
lue_backsubstitu
t
e
:
add requ
i
red modul
o
constrai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c
: *_partitions: simplify constraints
bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolae
g
e
d
oc: more
specific information on
buggy cddl
i
b versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
c
o
nfig
u
re
.
in: requ
i
re
cddlib 0
.
94e by testing
f
o
r
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdo
o
laege
configure
.
i
n: only compile occ if code_gen l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
V
erdoo
l
aege
ba
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
a
d
d some tests for
i
mpl
e
m
e
ntation of projection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: d
o
cument
n
e
w
opt
i
ons and new applica
t
ions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS:
update support
information
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolaege
g
e
n
fun
.
cc
:
short_ra
t
::print:
c
o
r
rec
t
ly print polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as barvinok_enume
r
ate_
s
erie
s
an
d
us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_
e
qualities
:
stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
ser
i
es: lea
v
e free
i
ng of P argume
n
t to c
a
lling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
d
oc: docum
e
nt
i
mplement
a
tion of t
h
e projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
add barvinok_enumerate_e_series i
m
p
lementi
n
g th
e
pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix and document paralle
l
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Only compil
e
zsolve if gcc 3
.
4 or
l
a
ter is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-independent pa
r
t of library
t
o
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoola
e
ge
d
o
c
:
how
t
o coun
t
the nu
m
b
er
o
f
e
lements
i
n possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
doc/impl
e
mentation
.
tex: avoid mul
t
i
p
l
y
define
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice
_
w
i
dt
h
.
c: t
r
y vertices of pre
v
ious
i
nteger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
oolaege
doc: document integer hull com
p
u
ta
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hul
l
.
c
: add
a
ll
p
oint
s
fou
n
d
by samp
l
in
g
di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdool
a
ege
Pos
s
ible optimi
z
ati
o
ns fo
r
generalized
b
as
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
Suppo
r
t us
e
of g
e
ne
r
alized basi
s
reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedro
n
_Integer_Mi
n
im
u
m for comp
u
ting the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc
:
document generalized
basis reductio
n
based in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
doc/barvinok
.
bib: add missi
n
g
string
commit
|
commitdiff
|
tree
2007-11-17
S
ven Ver
d
oolaege
add
m
o
re
m
is
s
ing asse
r
t
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verd
o
ola
e
ge
configure
.
in: on
l
y compile
li
b
barvinok
a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ver
d
oola
e
ge
P
o
lyhedron_Reduced
_
B
a
sis: don't stop
too
ea
r
l
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdool
a
eg
e
comp
u
te_width_d
i
rections
:
onl
y
keep list of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdool
a
ege
zsolve:
don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rd
o
ol
a
e
g
e
version
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven V
e
r
do
o
laege
co
n
fig
u
re
.
in: don't set with_{poly,pip
}
lib_pref
i
x f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaeg
e
P
o
lyhedro
n
_Sample
:
b
e
satisfied
w
ith a re
a
sonable c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
g
e
cone_integer_hull
:
o
ptionally pri
n
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
a
ege
b
a
s
is_
r
e
duction: k
e
e
p
track of n
u
mber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
do
o
laege
o
ption
s
: move --pr
i
nt
-
stats to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
be
r
nstein:
rework
t
es
t
ing
fr
a
mework to
not
d
epend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
rnstein: add piecew
i
se_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
u
pport
ne
w
er vers
i
ons of G
i
NaC
(
>
= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolae
g
e
s
ta
n
dard_cons
t
raint
s
: mo
v
e from to
p
com
.
c
t
o polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdool
a
ege
polysig
n
.
h: remove depend
e
ncy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdool
a
ege
z
s
olve:
a
dd banner
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
P
olyh
e
d
r
on_Lattice_Wi
d
th_Directi
o
ns: print progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoola
e
ge
b
asis_red
u
ction_pip: abort on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain how to get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
doc: doc
u
ment l
a
tti
c
e widt
h
compu
t
atio
n
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdool
a
e
ge
some lattice
width tests from J
o
n Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_
L
attic
e
_Width
:
decide on
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdo
o
laeg
e
add
Polyhedron_
L
attice_W
i
dth
f
o
r
com
p
uting latt
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoo
l
aeg
e
h
ilbert
.
c:
a
dd
Cone_Integer_Hu
l
l
for computi
n
g
v
e
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
e
ge
polys
i
gn:
a
dd pip-backed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
p
o
lysig
n
: add c
o
nstraints_opt to compu
t
e op
t
i
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
pol
y
si
g
n_
c
d
d
:
sw
i
tc
h
to use o
f
Matrix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_
g
lpk: switch t
o
use of Matrix repres
e
ntat
i
on
.
.
.
commit
|
commitdiff
|
tree
next