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
occ: add dump for dumping in barvinok_enumerate_e format
2008-04-03
Sven Ver
d
o
o
laege
o
c
c:
add
d
um
p
for dumping in ba
r
vinok_enumerat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvino
k
_enumera
t
e
_
e
: optionally use parker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard
_
constrai
n
ts: take constraints
instead
o
f pol
y
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
a
ege
normalization
.
c
: ex
t
ract standard_constraint
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaeg
e
parker
/
count_soluti
o
n
s
.
cc: fix treatment o
f
existent
i
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoo
l
aege
compile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
ler
.
c
c
: evalue_der
i
ve: handle con
s
tant polynomi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
add som
e
test sets from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
rename barvin
o
k_
m
aximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
a
d
d
a
test for test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
a
e
ge
evalue_range_propa
g
ation
:
remove redundant
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
eg
e
t
e
st_bound:
reco
r
d numb
e
r o
f
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bo
u
nd: con
v
ert quasipol
y
n
omials to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bound: compare polynomia
l
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
v
erif
y
.
c: op
t
imum: han
d
le in
p
ut eva
l
uating t
o
n
e
ga
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: ex
t
ract evalue_optim
u
m from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
v
erify
.
c: extract comm
o
n
cod
e
for ver
i
fy
i
n
g
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value
_
range_propagatio
n
: add
m
onotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
barv
i
no
k
_maximiz
e
: optional
l
y us
e
(bas
i
c) range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
A
dd some support
f
or dealing
with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
barvino
k
_enumerate:
s
up
p
ort use of
E
uler-Macla
u
r
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
implement B
e
rnoul
l
i_sum as conversion
f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_e
v
alue: exploit i
n
teger bounds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
doolaege
k
e
e
p track
of
n
umber of Ber
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernou
l
li
.
c: prote
c
t shared eva
l
ue
f
rom modif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
o
laege
test Bernoulli sums ba
s
ed exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_co
u
nt_with_op
t
ions: co
m
pute
(
exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
a
ege
Be
r
n
oulli_sum_evalue: optionally
h
a
ndle fra
c
tion
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
latt
i
ce_point
.
h:
e
xport fractiona
l
_par
t
with C
l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
b
a
rvinok_enumerate_w
i
th_options:
co
m
pute (exact
)
B
e
rn
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Ber
n
oulli_
s
um_e
v
alue: handle equal
i
t
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ull
i
_sum_evalue: cut of
f
so
m
e
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
Bernoull
i
_sum_evalue
:
mak
e
sure no
e
m
pty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
Bernoulli_sum
_
evalu
e
: rem
o
ve re
d
u
ndan
t
con
s
t
r
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
berno
u
l
l
i
.
c: mi
n
or refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
Bernoulli_
s
um
_
evalue: make su
r
e enoug
h
me
m
ory is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
for_e
a
c
h_lower_upper_b
o
und: add another callb
a
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
v
e
rify
.
c: adjust
default
r
ange to context if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
cc:
sum
m
a
t
e_ov
e
r
_
domain: only c
o
nsider a
c
tu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c
:
e
x
port Para
m
_
V
ertex_Se
t
_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
Pa
r
am
_
Polyhedron_Facet:
p
ass
f
a
cet defining con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
genfun
.
cc: parallel_polyt
o
pes
:
don'
t
bother h
a
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olae
g
e
evalue_s
p
li
t
_domains
_
into_orthants: don't
reduce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
evalue_re
a
d: only
allow terms to cross newlines ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
o
laege
evalue_read: only
accept i
m
plici
t
multi
p
lication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
evalue_read: accept c
o
n
s
t
raints cont
a
inin
g
"'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ev
a
lue_bernst
e
in_coefficien
t
s: en
s
ure result pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
b
e
r
nstein: piecew
i
se_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoola
e
g
e
remove_
a
ll
_
e
q
ua
l
ities: keep removing pa
r
ameter equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
u
p
date polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
a
ege
d
oc: co
n
sis
t
e
n
t use of
Kevin's init
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc:
u
pdate now publis
h
ed papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
for_each_lower_upper_bound: allow abse
n
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Rever
t
"ea
d
d
_
part
i
tions: try to combin
e
mu
l
tiple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
e
v
alue_read_
p
artiti
o
n: put parti
t
io
n
s back i
n
th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rd
o
olaege
evalue: red
u
ce
_
evalue: add note on some misse
d
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
aege
bernstein
.
cc:
handle input
w
ith union
s
+ rel
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aeg
e
maximi
z
e
.
cc: deal with
u
nions in i
n
put
during ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
d
ool
a
ege
evalue_
s
ubstitute: prop
e
rly handle
r
elations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e
.
c: clean
u
p emul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
doolaege
e
value_read: corr
e
c
t
ly read var
i
a
bl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
_
r
e
a
d:
accept
t
o
p level "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
u
p
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
olaege
e
value_backs
u
bstit
u
te:
a
dd r
e
q
uir
e
d modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rd
o
olaege
ev
a
l
ue
.
c: *_partitions: simp
l
ify
c
onstraints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n V
e
rd
o
ol
a
ege
doc:
mor
e
spec
i
f
ic in
f
or
m
ation on
buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoolae
g
e
configure
.
in: r
e
quire cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdool
a
ege
conf
i
gure
.
in: only
compile occ if
c
ode_g
e
n
l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
ad
d
some t
e
sts for implemen
t
ation of
p
rojection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docum
e
nt new options and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
AUTHORS
:
upda
t
e suppo
r
t information
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
g
en
f
un
.
c
c: short_r
a
t
:
:print: c
o
rre
c
tl
y
print pol
y
nomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Expor
t
series
a
s b
a
rvino
k
_enume
r
ate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
e
rdoolaege
remove_paramete
r
_equalities: stop "rem
o
ving" equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
series: leave
freeing of
P argument to calling
function
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolae
g
e
doc: d
o
cument implement
a
tion of the project
i
on theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
add barvinok_enumerate_
e
_series implementing the
p
rojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
d
o
olaege
genfun
.
cc: fix an
d
do
c
umen
t
parall
e
l polytopes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaeg
e
Only compile zsolve if
gcc
3
.
4 or la
t
er is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
M
o
ve GiNaC-independent part of
library
t
o bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib
:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolae
g
e
doc: how to count the num
b
er of
elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
d
o
c/
i
mplementation
.
tex: avoid multiply d
e
fined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
lattic
e
_widt
h
.
c
:
try vertices of pre
v
io
u
s integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docu
m
ent in
t
eg
e
r h
u
ll co
m
pu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
laege
hu
l
l
.
c: add all
p
o
i
nts
foun
d
by
sampling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
P
ossible optimizations for generalized b
a
sis
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of generalized basis reduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add P
o
lyhedron_
I
nteger_Minimum
f
o
r computi
n
g
t
h
e i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaeg
e
do
c
:
document generalized
bas
i
s reduc
t
ion based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc/barvi
n
ok
.
bib: add
m
issing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missin
g
a
s
sert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdoolaege
configu
r
e
.
in:
o
nl
y
compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verd
o
olaege
Poly
h
edron_Reduce
d
_Basis: don't
s
top to
o
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
do
o
laege
compute_w
i
d
th_
d
irections
:
o
nly keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zsolve: don't install
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
aege
version
.
c: s
h
ow use of TOPCOM
commit
|
commitdiff
|
tree
next