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
barvinok_maximize: optionally use (basic) range propagation
2008-03-31
Sve
n
Verdo
o
la
e
ge
barvinok_max
i
mize: opti
o
nally use (basic) rang
e
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
l
a
ege
Add some supp
o
rt for dealin
g
with ev
a
lu
e
s
that repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_
e
numer
a
te
:
s
upport use
of E
u
ler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
i
m
ple
m
ent B
e
r
noulli_sum as co
n
versi
o
n from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bern
o
ulli_sum_e
v
alue: exp
l
oit integer bounds
to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
keep tra
c
k o
f
nu
m
ber o
f
Be
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
bernoulli
.
c: protect shar
e
d evalue from
m
o
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t Bernoulli sums based
exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rd
o
olaege
barvinok_count_with_opti
o
ns:
c
ompute (exact)
Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum
_
eva
l
ue: optionally handle
f
r
a
c
t
io
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: export fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
barvinok_
e
n
umerate_w
i
th_
o
pti
o
ns: compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
Bernoulli_sum_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
Bernoul
l
i_sum_
e
value: cut off
s
ome
redun
d
ant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
Bernoulli_sum_evalue: ma
k
e sur
e
no emp
t
y pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
o
l
a
e
ge
Bernoulli_sum_evalu
e
: remo
v
e re
d
un
d
ant constr
a
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
ge
berno
u
lli
.
c
:
mino
r
refa
c
torin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
Bernou
l
l
i_sum: han
d
le context
constr
a
i
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
e
rnoulli_sum_eva
l
ue: m
a
ke sure enoug
h
memory is allocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
for_each_lower_uppe
r
_bou
n
d: ad
d
another ca
l
lback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c: adjust default range to context
i
f n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
eul
e
r
.
cc: summate_over_do
m
ain
:
only cons
i
der actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
param_util
.
c: exp
o
rt Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
P
aram_P
o
l
y
he
d
ron
_
F
acet: p
a
ss facet defining con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
g
e
n
fun
.
cc
:
parallel_polyt
o
p
e
s
: don't bother handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_do
m
a
i
ns_into_ort
h
a
n
t
s
:
d
on't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
ev
a
lue_read: onl
y
allow term
s
to
c
ross newlines in
s
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
e
value_re
a
d: only a
c
cept implicit multiplicat
i
on o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
a
lu
e
_read: a
c
cep
t
con
s
t
r
aints conta
i
ning
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
evalue_bern
s
tein_coeffi
c
ie
n
ts: en
s
ure r
e
s
u
lt par
t
ition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdo
o
laege
berns
t
ein: pie
c
ewise_lst: correctly p
r
in
t
and eva
l
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
r
emove_all_e
q
ualit
i
es: keep remo
v
ing parameter eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
e
ge
doc: consist
e
nt use
of Kevi
n
's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
o
c: u
p
da
t
e
now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
f
or_each
_
lower_uppe
r
_bound: allow a
b
sence of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
Revert "ea
d
d_partition
s
:
t
ry to combine mult
i
ple doma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
evalu
e
_r
e
ad_partition: put
p
arti
t
ions
b
ack in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erd
o
olae
g
e
evalue: reduce_eval
u
e
:
add note on some
m
issed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
aege
bernst
e
in
.
cc: handle input with unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
laeg
e
maximize
.
c
c
: deal with unions in input during veri
f
ic
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
eva
l
ue_substit
u
te: pro
p
erly
h
andle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
laege
evalue
.
c
:
cle
a
n up emu
l
and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
e
value_read:
c
orrectly read var
i
able nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Ver
d
o
olaege
evalue_read: a
c
cept t
o
p
level "relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
erdoo
l
aeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdo
o
laege
evalue_backsubst
i
tu
t
e:
add required
modulo cons
t
rai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
va
l
u
e
.
c
:
*_partitions: simplify
constraints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more spec
i
fic
info
r
mati
o
n on buggy
c
d
dli
b
versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Ver
d
o
o
l
a
e
g
e
c
onf
i
gure
.
in: require cddl
i
b 0
.
9
4
e by
testing for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
configure
.
i
n
: only co
m
pile
o
cc i
f
code_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ve
r
doolaege
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aege
add some
t
est
s
fo
r
i
m
p
l
ementation of p
r
o
jectio
n
theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: document n
e
w options
and new applications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoola
e
ge
AUTHORS: u
p
date
s
upport informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoola
e
ge
genfun
.
cc: short_r
a
t
:
:print
:
c
o
rrectly pr
i
nt polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
ge
E
xport serie
s
a
s
barvinok_enumer
a
t
e
_ser
i
e
s and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remo
v
e_p
a
rame
t
e
r_e
q
ualities:
stop "removing" e
q
ual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
s
e
rie
s
: lea
v
e freeing of P argu
m
ent t
o
c
a
lling
f
un
c
ti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document im
p
lementation of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
add bar
v
inok_en
u
m
erate_
e
_s
e
ries impl
e
menting the pr
o
jectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
e
rdoolaeg
e
ge
n
fun
.
cc: fix and document parallel
p
o
lyto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
Only compile zsolve if gcc
3
.
4
or later is
available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
G
iNaC-ind
e
pendent par
t
o
f
l
ibrary to bar
v
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
lae
g
e
d
oc:
h
ow to
cou
n
t
th
e
numbe
r
of elements
i
n possi
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
d
o
c/implemen
t
ation
.
tex: avoid
m
ulti
p
ly d
e
f
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaege
lattice_wi
d
th
.
c: try
v
er
t
ices of p
r
ev
i
ous integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: docu
m
e
nt in
t
e
g
er hull compu
t
a
tion
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
hull
.
c: add all points found by sampling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
Possible optimiza
t
ions for generalize
d
basis
r
e
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olae
g
e
Support use o
f
g
eneralize
d
basis reduc
t
i
on to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Integer_Minimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
doc: doc
u
ment generalized basis
r
edu
c
tion based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc/barvinok
.
bib: a
d
d missi
n
g s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
ge
add
m
o
re
m
i
ss
i
ng
a
ssert
.
h #i
n
clu
d
es
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaeg
e
eva
l
u
e
.
c
: add missing in
c
lu
d
e
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
configure
.
i
n: pass path
o
f GM
P
installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
d
ool
a
e
ge
co
n
fig
u
re
.
in:
only
c
ompile libbarv
i
nok
a
s a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
o
olaeg
e
Polyhedron
_
Re
d
u
c
ed_
B
asis:
don't stop to
o
early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
compute_
w
idt
h
_directions: o
n
ly keep list of
d
isti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdool
a
ege
zsolve: don't
i
nstall l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
version
.
c
:
sh
o
w
u
se of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
V
e
rd
o
olaege
configu
r
e
.
in: don't set with_{poly,pip}lib_
p
refix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
d
oolaege
Polyhe
d
r
o
n
_Sample: be satisfi
e
d
w
ith a
r
easonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer
_
hull: optionally print
s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
ba
s
is_reduction:
keep tra
c
k
of number of LPs
solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verd
o
olaege
option
s
: move --print-stats to libr
a
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdo
o
laege
b
e
rn
s
tein: rework testing framework to not dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
erns
t
e
in: add piece
w
ise_lst
:
:is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support
newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
stand
a
r
d
_constraint
s
: move
from topco
m
.
c
t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove dependen
c
y on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
z
solve: add
b
a
n
n
er
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Ve
r
doolaege
Polyhedron_Latti
c
e_Width_D
i
re
c
tions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolae
g
e
ba
s
is
_
red
u
ction_pip: ab
o
rt on i
n
val
i
d
(empty)
i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verd
o
olaege
R
EADME: ex
p
lain how to g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
doc:
doc
u
ment lattice
width
c
omputa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
l
a
ege
some lat
t
i
ce width tests f
r
om
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyh
e
dron_Lattice_W
i
dth:
decide on fac
e
t
s
to
clo
s
e
.
.
.
commit
|
commitdiff
|
tree
next