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.cc: avoid loss of precision caused by conversion from double to int
2008-04-08
Sven
V
erdool
a
e
g
e
test_bound
.
c
c
: avoid loss
o
f
p
recision cause
d
by
c
onver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
r
v
inok_bound: optionally take maximal size o
f
do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bar
v
inok_bou
n
d: add
-
-iterate options
f
or evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdo
o
laege
ve
r
ify
.
c
: export functions
f
or setti
n
g an
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolae
g
e
veri
f
y
.
c
:
evalu
e
_o
p
timum: allo
w
c
o
mputation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolaege
bernste
i
n
.
cc: evalue2ex:
d
on't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bo
u
nd
.
cc:
f
ix ca
l
l to e
v
alue
_
c
o
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdool
a
ege
e{add,
m
ul}
_
periodics
:
plug
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_coe
f
ficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
latt
i
ce_w
i
dth
.
c
:
skip dire
c
tions
t
hat are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
a
m: add cdd9
4
e-test to
di
s
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doola
e
ge
omega/occ:
o
ptionally use parker for co
m
puti
n
g cardin
a
lit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalizati
o
n
.
c: skew_to_positive_o
r
than
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doolaege
om
e
ga
/
convert
.
cc:
r
e
l
a
tion2Dom
a
i
n: only colle
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verdoolaege
occ
:
add dump for dump
i
ng i
n
barvinok_en
u
me
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
b
ar
v
inok_enumer
a
te_e: o
p
tionally u
s
e parker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
st
a
ndard_co
n
straint
s
:
take
constrai
n
ts i
n
stea
d
of pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c
:
e
xtr
a
ct st
a
n
d
ar
d
_co
n
st
r
aints
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
dool
a
ege
parker/count_solutions
.
c
c: fix
tr
e
atment of ex
i
s
t
ent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laeg
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oola
e
ge
e
u
ler
.
c
c:
e
v
alue_derive: ha
n
dle constant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
a
d
d
s
ome test sets f
r
om cases 2004
a
nd cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
rename barv
i
nok_maximize to barv
i
nok_
b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
add a tes
t
for test_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
evalue_range_pro
p
agation:
remove redunda
n
t
p
o
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bound:
record number of p
o
lynomi
a
ls as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bou
n
d:
convert quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
tes
t
_b
o
und: compare polyn
o
m
i
al bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
verify
.
c:
opt
i
mum
:
handle input evaluating
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
veri
f
y
.
c: ext
r
ac
t
e
val
u
e_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
verify
.
c: extract common code for
verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e
_range_propagation: add mon
o
tonicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoola
e
ge
barvinok_maximize: opt
i
on
a
lly use (basic
)
range prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
Add some support fo
r
dealing
w
it
h
eva
l
u
e
s that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
dool
a
ege
barvin
o
k_enumer
a
te: su
p
port u
s
e
o
f Euler-Maclaur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
implement Bernoulli_sum as
c
on
v
ersion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoul
l
i_sum_ev
a
l
u
e: explo
i
t
in
t
eg
e
r
bounds to
r
edu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number of B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: prot
e
ct sha
r
ed evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
test Bernou
l
li sums base
d
exact en
u
meratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvin
o
k_count_with_options: com
p
ute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
Be
r
n
ou
l
l
i_sum_evalue: optionally
h
andl
e
fracti
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
l
a
ttice_point
.
h: export fractional_part
w
ith C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
barvi
n
ok_enumera
t
e_
w
ith_
o
pti
o
n
s
: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Ber
n
oulli_su
m
_ev
a
lue: hand
l
e equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
Bernoulli
_
sum_eval
u
e: cut off some
r
edun
d
ant
p
ar
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ol
a
ege
Ber
n
oulli_sum_e
v
alue: make
sure no e
m
p
t
y partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
olaege
Bernoulli_
s
um_evalue:
r
emove r
e
d
u
n
dant co
n
s
t
rai
n
t i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
bernoulli
.
c: min
o
r refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoul
l
i_s
u
m: handl
e
context con
s
t
r
aints
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum_evalue: ma
k
e
s
ure enough memory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
or_eac
h
_lower
_
upper_bou
n
d: add another
c
all
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c
:
a
dju
s
t default range to context i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
euler
.
c
c
: summate_over_domain: only
c
onsi
d
er actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
param_util
.
c: export Param_Vertex_Se
t
_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
Param_Pol
y
he
d
r
on_Fac
e
t: pas
s
f
acet de
f
ini
n
g constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
genfun
.
cc: para
l
l
el_polyt
o
pes: don
'
t
b
ot
h
er h
a
n
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
va
l
ue_sp
l
it_domains_into_orth
a
nts
:
don't re
d
uce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
value_read:
o
nly al
l
ow
t
erms to cr
o
s
s
newlin
e
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolae
g
e
evalue_read:
o
nly ac
c
ept implic
i
t mult
i
plication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: accept
c
o
n
st
r
aints containing
"
'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
e
v
alue
_
berns
t
e
i
n_
c
o
e
f
f
i
cients:
ensure result part
i
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
b
ernste
i
n
:
piecewise_ls
t
:
co
r
rectly print
a
nd evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
laege
remove_all_equalitie
s
: keep rem
o
v
i
ng parame
t
er equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
up
d
ate polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoola
e
ge
doc: consisten
t
use of Kevin'
s
initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: update now
publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
for_each_lower_u
p
per_bound: allow absence
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
R
eve
r
t "eadd_partitio
n
s
: try to com
b
ine multiple domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
e
g
e
evalue_
r
ead_partit
i
on: put
p
artitions b
a
c
k
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: r
e
d
u
ce_eva
l
u
e: a
d
d
note on
s
ome m
i
s
s
e
d opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
c
c: handle input with unions
+
relation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
maximize
.
cc: deal with unions in input during verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
e
value_substitute:
p
roperly handle relat
i
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalu
e
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
ev
a
lu
e
_read: correct
l
y re
a
d variable
n
ame
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
value_read: ac
c
ept top level
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
updat
e
po
l
y
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Verdool
a
ege
evalue_backsu
b
s
t
itute
:
add req
u
ired modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
ev
a
lue
.
c: *_
p
artitions
:
sim
p
lify constraint
s
be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolaege
doc: more
s
p
ecifi
c
i
nformation
o
n
b
uggy cddl
i
b version
s
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Verdoolaeg
e
configure
.
in
:
require cddlib 0
.
9
4
e by testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Ve
r
doolaeg
e
configur
e
.
in: only compile occ
if code_gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
d
oolaege
add
s
ome
t
ests
f
or implemen
t
ation of
p
r
ojection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: documen
t
new op
t
ions and new applications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
AU
T
HORS: update
support information
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
genfun
.
cc
:
short_rat::prin
t
: corr
e
ctly
p
r
i
nt po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
E
xport series as barvin
o
k_enumerate_serie
s
an
d
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
remove_parameter_equ
a
l
i
t
ies:
s
top "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series:
l
eave freeing of P arg
u
m
e
nt to calling
fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
doc: d
o
cument i
m
plementation
o
f the p
r
ojection
t
he
o
re
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvin
o
k_en
u
mera
t
e_e_series impl
e
m
enting the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc:
f
ix and document pa
r
allel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
On
l
y compile z
s
ol
v
e if gcc
3
.
4
or later is availa
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Mov
e
GiNaC-inde
p
endent part of
l
ibrary t
o
b
arvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
po
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
S
ven Ve
r
doolaeg
e
doc:
how to count the
n
um
b
er of element
s
i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
next