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
bound.cc: fix call to evalue_convert
2008-04-08
Sven Verdoola
e
g
e
bo
u
nd
.
c
c
:
f
ix call to evalue_c
o
nv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoola
e
ge
e{a
d
d
,
mul}_periodics:
p
lug mem
o
r
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
ev
a
lue_bernste
i
n
_coe
f
ficients
:
han
d
le proble
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ve
n
V
e
rdool
a
ege
lat
t
ice_
w
idth
.
c
:
s
k
ip directions that are
ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoo
l
aege
Makefile
.
am: add
cdd
9
4
e
-
test to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
e
rdoolaege
omega/occ: optiona
l
ly use park
e
r for comp
u
ti
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
lae
g
e
no
r
m
a
lizatio
n
.
c: skew_to_pos
i
tive_ort
h
ant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoolaege
omega/conve
r
t
.
cc: relation2Dom
a
in:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdool
a
eg
e
occ: ad
d
dump fo
r
dumping in b
a
r
v
inok_enumer
a
te_e
f
orm
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erd
o
o
l
a
ege
barvinok_enumerate_e: optionally use park
e
r'
s
meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoo
l
aege
standard
_
c
onstraints: take constraints instead of pol
y
hedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
norm
a
l
izati
o
n
.
c: extract
standard
_
constrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
par
k
er/count_solu
t
ions
.
cc
:
fi
x
treat
m
ent of e
x
i
sten
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
compi
l
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
euler
.
cc: evalue
_
deriv
e
: handle constan
t
polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
add some test se
t
s fr
o
m case
s
20
0
4
a
nd cc
20
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
renam
e
barvinok_
m
aximize to barvinok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add a tes
t
f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ev
a
lue_range_propagat
i
on: re
m
ove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_
b
oun
d
: rec
o
r
d
num
b
e
r
of p
o
l
ynomials as
"
size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
tes
t
_bound: conve
r
t quasip
o
lynomials to p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
r
d
oolaege
te
s
t_bound: compare polynomial
b
ound algorit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verif
y
.
c
: op
t
imum: ha
n
dle
i
nput evaluating to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
v
eri
f
y
.
c: ext
r
ac
t
evalue_op
t
imum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
verify
.
c: extract com
m
o
n
c
ode f
o
r v
e
rifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_ra
n
ge_pr
o
pag
a
tion: ad
d
monotonici
t
y
t
est
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
arvinok_ma
x
i
m
ize: opti
o
na
l
ly use (basic)
r
ange propa
g
at
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add some su
p
port for
deali
n
g with e
v
al
u
es tha
t
rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
barvinok_enumerate: s
u
pp
o
rt use of Euler-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdool
a
ege
implement Bernoul
l
i_su
m
a
s conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
Bernoulli_sum_eval
u
e:
exploit in
t
eger bounds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number
o
f
Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
bernoulli
.
c
:
p
r
otect shared evalu
e
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
test Bernoulli sums ba
s
ed
exact
en
u
mer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barv
i
nok_coun
t
_
with_opti
o
n
s: c
o
mpute (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoull
i
_sum_eval
u
e: opti
o
nally h
a
ndle fracti
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
lattic
e
_point
.
h: export f
r
ac
t
ional_
p
a
rt with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
barvi
n
ok_
e
numerate_with_options
:
compute (exact)
B
ernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bern
o
ulli_sum_ev
a
l
ue
:
han
d
le e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Ber
n
ou
l
l
i
_
s
um_evalue: cut off s
o
me redunda
n
t part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
a
ege
Bernoulli_sum_ev
a
lue:
make sure
no e
m
pty part
i
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_evalue: remove redundant
c
o
n
s
trai
n
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
b
ernoulli
.
c
:
m
i
n
o
r ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
Be
r
noulli_s
u
m: handle con
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoo
l
aege
Bernoulli_sum_evalue:
m
ake su
r
e enough memo
r
y is alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
ge
for_each_lower_upper_boun
d
:
add an
o
t
h
er c
a
llback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verif
y
.
c
:
adjus
t
d
efault
ran
g
e to
context
if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
ool
a
ege
e
uler
.
c
c
:
summ
a
te_over_domain: only conside
r
act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdo
o
la
e
g
e
p
ar
a
m_u
t
il
.
c
:
export Para
m
_Vertex
_
Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
Param
_
Pol
y
hedron_Facet: pa
s
s face
t
def
i
ning co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
genfun
.
cc: parallel_pol
y
top
e
s: don
'
t bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
e
value_spli
t
_d
o
ma
i
ns_
i
nto_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_rea
d
: on
l
y allow ter
m
s to cross newli
n
es inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
evalue_read: on
l
y accept implicit mul
t
ipli
c
at
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
lue_read:
a
cc
e
pt constraints contai
n
ing "'-
'
s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
evalue_bernstein_
c
oef
f
icients: ensur
e
r
esult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
bernstein: piecewise_lst:
c
o
rrectly p
r
int and
eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en V
e
rdoolaege
remove_al
l
_equaliti
e
s: keep removing
p
a
r
am
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolaege
u
pdate
p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
o
o
laege
do
c
: consis
t
ent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdoola
e
ge
doc: update no
w
published pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laeg
e
for_each_lo
w
er_upper_bound: allow ab
s
ence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
vert
"eadd_partitions:
t
r
y to combi
n
e mu
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
la
e
ge
evalue
_
r
ead_partition: put partitions back in t
h
e sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue:
r
educe_evalue: ad
d
n
ote on
some misse
d
opport
u
niti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc
:
ha
n
dle inp
u
t with
u
n
ions + relation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoolaege
ma
x
imize
.
cc: d
e
al with u
n
i
ons in
i
nput during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
eva
l
u
e
_sub
s
ti
t
ute: proper
l
y handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue
.
c: clean up emul
an
d
ead
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
value_read: c
o
rrectly r
e
a
d variable names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read
:
accept t
o
p level "rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
up
d
ate
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdoolaege
e
value_backsubstit
u
te: add required m
o
dulo c
o
nst
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdoola
e
g
e
evalue
.
c:
*
_partitions:
simplify
c
onstrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more spe
c
ific info
r
mation on
buggy
c
dd
l
ib
version
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
co
n
figure
.
in: re
q
uire cd
d
lib 0
.
94e by testing for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
onfigure
.
i
n:
o
nly
c
omp
i
le o
c
c if code_gen
libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verd
o
olae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
add some test
s
for implementa
t
ion of projectio
n
t
h
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
doc: documen
t
n
ew options and
n
ew ap
p
lica
t
ions
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoo
l
aege
AUTHORS: update
suppor
t
informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
ge
n
fun
.
cc: short
_
rat::print: correctly print
polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolaege
Expo
r
t series as b
a
rvinok_
e
numerat
e
_
s
e
r
ies an
d
us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaeg
e
remo
v
e_para
m
e
t
er_e
q
ualitie
s
: stop "r
e
moving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
s
e
ri
e
s: leave freeing of P argumen
t
t
o
ca
l
ling
func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
doc: docu
m
ent implementatio
n
of the projectio
n
th
e
o
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolae
g
e
add barvinok_enumerate_e_series implementing the pr
o
jec
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rd
o
olaege
genfu
n
.
cc: fix and doc
u
ment
parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
n
ly compile zso
l
ve if gc
c
3
.
4
or later is availa
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
Move GiNaC-indep
e
nd
e
nt
par
t
of library to barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olae
g
e
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aege
do
c
: how t
o
cou
n
t
t
he number
o
f
elements in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c
/
implementa
t
ion
.
tex: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
a
e
ge
latt
i
ce_width
.
c
: try vertices of
prev
i
ous integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc:
document
i
n
t
eger hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c:
a
dd all points found by sam
p
ling
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
P
o
ssible opt
i
m
i
zati
o
ns for g
e
neral
i
zed basis
r
e
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Supp
o
rt use of gen
e
ralized basis re
d
u
c
tion
t
o
c
ompute
.
.
.
commit
|
commitdiff
|
tree
next