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_enumerate: support use of Euler-Maclaurin for unweighted counting
2008-03-31
S
v
en V
e
rdoolaeg
e
barv
i
nok_enumerate: support
u
se of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
implement
B
er
n
oulli_sum as c
o
nvers
i
o
n
from
u
n
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_evalu
e
: exploit integer bounds to
r
educ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
k
eep track of nu
m
b
e
r o
f
Bernoulli
su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoulli
.
c: protect s
h
a
red eval
u
e from
m
odifications
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
test
Ber
n
o
u
lli sums based exact en
u
me
r
ation
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
barvinok_count_
w
it
h
_op
t
ions: compute (exact)
B
ernou
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
o
o
lae
g
e
Bernoulli_s
u
m_evalue: o
p
tio
n
ally handle fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
lattice_point
.
h
:
exp
o
r
t fractional_pa
r
t with C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
b
arvinok_en
u
merate_with_options: compu
t
e
(exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
oola
e
ge
Bern
o
u
lli_sum_evalue: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_s
u
m_evalue: c
u
t off some red
u
ndant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalu
e
: make su
r
e
no empty
p
artition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
_
e
valu
e
: remov
e
redundant
c
onstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
g
e
bernoulli
.
c
:
minor re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Be
r
noulli_sum
:
handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_lower
_
upp
e
r_bound: a
d
d another
c
al
l
b
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: adju
s
t
default range
t
o
context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
e
uler
.
cc: summ
a
te_ove
r
_domain: onl
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
param_util
.
c: export
P
aram_Verte
x
_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Param_Polyhedron_Fa
c
e
t
: pass
f
acet
definin
g
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
genf
u
n
.
cc: parallel_po
l
ytopes:
don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
val
u
e_split_do
m
ai
n
s_into_orthants: don't r
e
du
c
e
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
evalue_read:
o
nly allow
te
r
ms
to c
r
oss newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
evalue_read: only a
c
cept im
p
licit multipl
i
c
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
ol
a
e
ge
evalue
_
re
a
d: accept constra
i
n
t
s co
n
taining "'-'
s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
evalue_
b
ernstein_co
e
fficients
:
ensure result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
b
ernstein
:
piecewise_lst: correctly print and evalu
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolae
g
e
remove
_
all_equal
i
t
ies: keep removing parame
t
er
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoo
l
aeg
e
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
l
aeg
e
doc
:
consist
e
n
t
use of Kev
i
n's initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: update now
published papers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
l
ae
g
e
for_e
a
ch_lower_upp
e
r_bo
u
nd: allow abs
e
n
ce of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdool
a
ege
Revert
"
eadd_partit
i
ons: tr
y
t
o
com
b
ine m
u
ltiple domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
e
val
u
e_re
a
d_partition:
put partitions back in the s
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_ev
a
lue: a
d
d note
on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
bernstein
.
cc: hand
l
e
input
with u
n
ions + relation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
max
i
mize
.
cc: d
e
al with union
s
in input during verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
e
v
alue_substitute: properly hand
l
e r
e
lation
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdoola
e
ge
ev
a
lue
.
c: clean up emul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ver
d
oolaege
evalue_r
e
ad: corre
c
t
l
y
read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
o
o
laege
e
value_read: a
c
c
e
pt top le
v
el "rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
laege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdoo
l
aege
evalue_backsub
s
ti
t
ute: add
r
equ
i
red modulo cons
t
raint
s
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdoo
l
aege
e
v
alue
.
c
: *_
p
artitions: simplify constraints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
doc: more sp
e
cific
information on
bu
g
gy cddlib ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in:
r
equi
r
e c
d
d
l
i
b
0
.
94
e
by testin
g
fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
erdo
o
l
aege
confi
g
ure
.
i
n
: on
l
y compi
l
e occ if c
o
de_gen l
i
brar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
bar
v
inok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolae
g
e
a
dd s
o
m
e
tests for
i
mplementation of pr
o
jection
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
doc
:
d
o
cumen
t
ne
w
options a
n
d new applications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
AUTH
O
RS: update suppor
t
info
r
ma
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdo
o
laeg
e
g
e
n
f
u
n
.
cc: short_rat::print: correctly
print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
l
aege
Export series as ba
r
vinok_
e
numerate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolaege
re
m
ove
_
pa
r
a
meter_eq
u
alities
:
sto
p
"
r
emoving"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
seri
e
s: l
e
ave free
i
ng of P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc: documen
t
imple
m
entat
i
on
o
f
the projecti
o
n the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add barvinok_enumerat
e
_e_s
e
ries implementin
g
the projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
l
aege
gen
f
un
.
cc: f
i
x and document
par
a
lle
l
p
olytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
aege
M
o
ve GiN
a
C-independent part of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
e
r
d
oola
e
ge
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdool
a
e
ge
doc
:
how to
c
o
unt
t
he n
u
mber of elements in pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaege
doc/
i
mplementat
i
on
.
te
x
: avoi
d
multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
doolaege
l
a
t
t
i
ce_wi
d
th
.
c: try v
e
rtice
s
of previous int
e
ger
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
olaege
doc: document integer
hull computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
hull
.
c: add all poin
t
s found by s
a
m
p
ling direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
laege
Possibl
e
o
p
t
i
mizations for generalized
basis r
e
du
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Support use of
g
e
nerali
z
ed ba
s
is reduc
t
ion t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
add P
o
lyhedron_Integer_Minimum f
o
r compu
t
i
ng the intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc: document ge
n
eralized
b
asis reduction based intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc
/
barvinok
.
bib: add
missing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaege
a
dd more
m
issing a
s
s
e
rt
.
h
#includ
e
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
i
n:
o
nly compile lib
b
a
r
vinok as
a
st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
Pol
y
h
e
dr
o
n
_Reduced_Basis: d
o
n't sto
p
to
o
earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
doolaege
compute_w
i
d
th_di
r
e
c
tions: only kee
p
list o
f
d
i
s
ti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
zsolve: do
n
't
insta
l
l library
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Verdoolaege
v
ersion
.
c:
show
u
se of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdo
o
laege
configure
.
in:
d
o
n
'
t set
with_{poly,pip}lib
_
prefix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoo
l
aege
Polyhedron_S
a
m
ple: be satisfied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
co
n
e_integer_
h
ul
l
:
optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_reduction: keep track of n
u
mber o
f
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Verdoolaege
options: move --pr
i
nt-st
a
t
s
to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rewo
r
k testing framework t
o
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
rn
s
tein: add piecew
i
se_ls
t
::i
s
_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
erdool
a
ege
s
u
p
p
ort newe
r
versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdo
o
laege
s
tandard
_
con
s
tra
i
nts: move from topcom
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
polysign
.
h
: rem
o
ve depend
e
ncy on
l
exmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add banner
.
h to
distribu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoo
l
aege
Polyhedron_
L
attice_W
i
dt
h
_Directions: print
p
r
o
g
re
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verd
o
o
lae
g
e
basis_reductio
n
_pip: abort on
i
n
v
a
lid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
README: expl
a
in how to get submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Ve
r
doolaeg
e
doc: document l
a
tti
c
e width co
m
putat
i
o
n
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
some l
a
ttice width tests
f
rom Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verd
o
olaege
P
o
lyhedron_Lattice_Wi
d
t
h
: decid
e
on fac
e
t
s to clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
add Polyhedr
o
n_Lattice_Width
fo
r
computing
l
atti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erd
o
olaeg
e
hilb
e
r
t
.
c
:
add Con
e
_Integer_Hull f
o
r computing ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
p
o
ly
s
ign: add
p
ip-
b
acked ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign
:
add constr
a
ints_opt to c
o
m
p
ut
e
optimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
p
o
lys
i
gn_cdd:
sw
i
t
ch to use of Matrix
repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysign_glpk: s
w
itch to u
s
e
o
f Matrix re
p
r
e
se
n
tation
.
.
.
commit
|
commitdiff
|
tree
next