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
test_bound: convert quasipolynomials to polynomials prior to computing bound
2008-03-31
S
ve
n
V
e
rd
o
olaege
test_b
o
u
nd: con
v
ert q
u
asipolyn
o
m
ials to poly
n
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compar
e
p
ol
y
nomial bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
i
fy
.
c: optimum: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
v
e
rify
.
c
:
ex
t
ract evalue_opti
m
um from ma
x
imize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c: extract common c
o
de
for verifyi
n
g
oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_rang
e
_propagation: add m
o
n
o
t
o
n
i
ci
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ol
a
ege
barvin
o
k_maximi
z
e: op
t
ional
l
y us
e
(basic) range pr
o
pag
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ad
d
some support for de
a
ling with evalues that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvi
n
ok_enumerate:
suppor
t
use
of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
i
m
pl
e
ment Bernoulli_sum as
c
onversion from unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
Bern
o
ulli_sum
_
evalue: exploi
t
i
nte
g
e
r
b
ounds
to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep
t
r
ack of number
o
f
Ber
n
oulli
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bernoulli
.
c
:
p
rote
c
t shared ev
a
lue from modificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdo
o
laege
test Berno
u
lli sums based ex
a
c
t
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bar
v
ino
k
_
count_with_op
t
ions: compute (exact) Bern
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Be
r
no
u
ll
i
_sum_eval
u
e
:
option
a
lly handle fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: export fractional_part with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
ol
a
ege
barvinok_enume
r
a
t
e_with
_
opt
i
o
n
s: compute (exa
c
t
) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: handle
e
qu
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoull
i
_s
u
m_evalue: cut off some redundant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
do
o
laege
B
er
n
oulli
_
sum_e
v
a
l
ue: mak
e
su
r
e no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
ae
g
e
B
ernoull
i
_
su
m
_
evalue:
r
emove redundan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c:
m
inor
ref
a
c
t
ori
n
g
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaeg
e
Ber
n
oulli_sum: handle context constraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
f
o
r_each_lowe
r
_up
p
e
r
_bound
:
add anot
h
er callb
a
ck
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
verify
.
c: adjust defau
l
t range t
o
context if
neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
euler
.
cc
:
summate_over_doma
i
n
:
onl
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
param
_
u
t
il
.
c: export Pa
r
am
_
Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
Par
a
m_Polyhedron_Facet: pass facet defining c
o
nst
r
a
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: paralle
l
_pol
y
top
e
s: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_split_domain
s
_
into_or
t
hants: d
o
n'
t
reduc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_
r
ead:
only allow
terms to cr
o
ss
n
ewlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
erd
o
olaege
evalue_read: only
a
ccept implicit mul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
d
oola
e
g
e
evalue_read:
a
c
cept constraints cont
a
ining "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eva
l
ue_be
r
n
stein_coefficient
s
: ensure res
u
lt partit
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
bernstei
n
:
piecewis
e
_
l
s
t: c
o
rrect
l
y print and evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
r
e
move_al
l
_equ
a
liti
e
s: kee
p
removing
para
m
et
e
r eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
o
lae
g
e
u
p
date polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
eg
e
doc: consistent use of K
e
vin's in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
doc: u
p
date
n
o
w
pub
l
ish
e
d pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_eac
h
_
l
owe
r
_upper_
b
ound: allo
w
a
bsence o
f
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
vert "eadd
_
partitions: try
t
o c
o
mbine multip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
evalue_read_partition
:
pu
t
pa
r
ti
t
ions
back in
the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
evalue: re
d
uce_evalue: add
note
on some m
i
ssed o
p
portuni
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
b
ernstein
.
cc:
handle input with unions + re
l
ation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verd
o
o
l
a
ege
maximize
.
c
c
: dea
l
wi
t
h unions i
n
i
n
put duri
n
g ve
r
i
ficat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
_substitut
e
: prop
e
r
ly h
a
ndle relati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
V
erdoolae
g
e
e
v
a
l
u
e
.
c:
cle
a
n up
em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
olae
g
e
evalue_r
e
ad: correc
t
l
y read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue_read:
accept top level
"
re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdo
o
laege
u
pd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
eva
l
ue_backsubstitute: add
requi
r
e
d
modulo co
n
s
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
V
erdoo
l
a
ege
evalue
.
c
:
*_partitions: simpli
f
y constraints b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doola
e
ge
do
c
: more specific infor
m
ation o
n
b
uggy
c
d
d
lib
v
ersi
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
con
f
igure
.
in: requ
i
re cddlib 0
.
94e by testing
f
o
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaeg
e
co
n
figure
.
in: o
n
l
y compile oc
c
if code_
g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoo
l
ae
g
e
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
some tests for implementation of pr
o
j
ection
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
u
m
e
n
t new options and new applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
A
U
T
HORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
genfun
.
cc: short_rat::prin
t
: correc
t
ly print
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export se
r
i
es as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
e
mo
v
e
_
par
a
mete
r
_equaliti
e
s: stop "removing" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaege
series: leave
freein
g
o
f
P argument to call
i
n
g funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
aege
doc: document implementati
o
n
o
f the
projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerat
e
_
e_series impleme
n
ting the
p
r
o
j
e
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolae
g
e
genfun
.
cc: fix and document pa
r
a
llel poly
t
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
Move
G
iNaC-inde
p
end
e
nt part of library to barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
polylib:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c: how to
c
o
u
n
t the
n
umber of element
s
in possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
tex: avoid multipl
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_width
.
c: try v
e
r
t
i
c
e
s o
f
previ
o
us intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc:
document in
t
eger hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
hull
.
c: add all poin
t
s found by samp
l
i
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimizations f
o
r generali
z
ed bas
i
s reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolae
g
e
Support use of generalized basis reduction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add
Polyhe
d
ron_Integer_Minimum for com
p
u
ting the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc: document generalized basis re
d
uction based i
n
teg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc/barvinok
.
bi
b
: add mi
s
sing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missing assert
.
h
#include
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
co
n
figure
.
in
:
only compile libb
a
rvinok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdool
a
e
ge
P
o
lyhedron
_
Reduced_
B
as
i
s: don't stop
t
oo e
a
rly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaeg
e
compute_wi
d
th_directions: only keep lis
t
o
f
d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
z
s
olve: don't instal
l
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
r
doolae
g
e
version
.
c: show use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
o
nfigure
.
in: don't set with_{
p
oly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Verdoo
l
a
ege
Pol
y
hedron_Sample: be satisfied
with
a
re
a
sonab
l
e ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
cone
_
integer_hull:
optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Ve
r
doolaeg
e
bas
i
s_reduction: keep trac
k
of number of LPs solve
d
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Verdoola
e
ge
opt
i
ons: m
o
ve --print-s
t
ats to library
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
V
erdoolaege
be
r
nstein: rework
t
esting f
r
amework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
e
ge
be
r
nstein
:
add
p
i
e
cewise_ls
t
::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verd
o
o
laege
su
p
port newer versions of GiNaC (
>
=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdool
a
e
g
e
standar
d
_cons
t
raints
:
move
f
rom t
o
pc
o
m
.
c to p
o
lysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
p
o
lysign
.
h: remov
e
dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
zsolve:
a
dd
b
a
nner
.
h to di
s
t
r
ib
u
t
i
on
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
V
e
rdoolaege
Pol
y
hedron_Lattice_
W
idth
_
Directio
n
s: print
p
ro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoola
e
g
e
ba
s
is_reduction_pip: abort on invalid (empt
y
) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
er
d
oo
l
ae
g
e
README
:
e
xplain how t
o
g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document lattice width compu
t
ation
commit
|
commitdiff
|
tree
next