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_bound: optionally take maximal size of domains over which to iterate
2008-04-08
Sven Verdoola
e
ge
barvinok_bou
n
d: optiona
l
ly
t
ake ma
x
imal size
o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvin
o
k_bou
n
d: add --iterate opti
o
n
s for
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ver
i
fy
.
c: export
f
u
n
ction
s
for se
t
ting
a
nd cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
ver
i
fy
.
c
:
eva
l
ue_opt
i
mum:
allow computati
o
n
of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
c
c
:
eva
l
ue2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
g
e
bound
.
cc: f
i
x
c
all to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{ad
d
,mu
l
}_peri
o
d
ics: plu
g
memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oolae
g
e
eval
u
e
_
b
ernstein_co
e
fficients: handle
p
rob
l
e
m
s
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
ege
lat
t
ic
e
_width
.
c: sk
i
p dir
e
ctions that ar
e
i
dentica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makef
i
le
.
am: add cdd94e-test to dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
m
ega/oc
c
: o
p
tionally use parke
r
for c
o
mputi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normalization
.
c: sk
e
w_to
_
positive_orthant: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/conve
r
t
.
cc: relatio
n
2Doma
i
n: only col
l
ect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
occ:
add dump for dumping in barvinok_enu
m
era
t
e_
e
fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaege
barvinok_enum
e
rate_
e
:
o
p
tionally use pa
r
ker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
s
t
andard_con
s
traints: take const
r
a
i
nts
i
nstead of pol
y
h
e
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdool
a
ege
normalization
.
c
: extra
c
t stand
a
r
d
_
cons
t
raints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
parker/count_solutions
.
cc: fix treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
d
oolaege
com
p
ile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doo
l
aege
euler
.
cc
:
evalue
_
de
r
ive: hand
l
e consta
n
t
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
add some test set
s
f
r
om c
a
ses 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
ren
a
m
e
barvinok_ma
x
imize to barvinok_b
o
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
add a te
s
t for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
value_range_propagation: remove
redundan
t
polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bou
n
d: r
e
cord number of polynomials as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test
_
bound: convert quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_boun
d
:
compare polynomial b
o
u
nd algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
verify
.
c: optimu
m
: handle inpu
t
ev
a
lua
t
ing
to nega
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c: extract evalue_optimu
m
from maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: extract common cod
e
for
v
erifyin
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
la
e
g
e
ev
a
lue_range_propagation: add
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
barvinok_max
i
mize: optiona
l
ly use (ba
s
ic) range pr
o
pagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Add some
su
p
port f
o
r de
a
ling with evalu
e
s
t
hat
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
bar
v
inok_enumerate: support use
of Euler-
M
acl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
laeg
e
imp
l
ement Be
r
noulli_sum as
c
onversio
n
from un
w
eig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
Bernoulli_s
u
m_eva
l
u
e:
e
xploit integer bounds
t
o
red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
d
oolaege
keep
t
rack of number of Bernoull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdool
a
e
g
e
bernou
l
li
.
c: pr
o
tect sh
a
r
e
d
evalu
e
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli
s
ums based exact en
u
merati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolae
g
e
ba
r
v
i
nok_count_with_opti
o
n
s: c
o
mpute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
laege
Bernoul
l
i_sum
_
ev
a
lue: o
p
tionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
latt
i
ce_point
.
h: export fractio
n
a
l
_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_enu
m
erate_with
_
options:
c
ompu
t
e (exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
ol
a
ege
Bernoul
l
i_sum
_
evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
oolaege
Bernoull
i
_sum_e
v
al
u
e: cut off so
m
e
r
e
d
unda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
la
e
ge
Bernoull
i
_
sum_evalue: m
a
ke s
u
re
n
o empty partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
Bernoulli_sum
_
evalue:
r
emove
red
u
ndant c
o
n
s
traint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
be
r
noulli
.
c: mi
n
or refac
t
or
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Be
r
noulli_sum: han
d
le
context co
n
s
traints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernou
l
li_sum_e
v
a
lue: make sure enough memory is alloc
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_low
e
r_upper_bound: ad
d
another callbac
k
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: adjust default range to cont
e
xt
i
f need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
eule
r
.
cc: summate_over_domain
:
o
nly consid
e
r ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
laege
param_util
.
c
:
export Param_Verte
x
_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
Para
m
_Polyhe
d
r
o
n_Facet: pas
s
facet defining constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
genf
u
n
.
cc: parallel_pol
y
topes: don
'
t bother hand
l
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eval
u
e_split_domain
s
_into_orthants: don
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
evalu
e
_
read: only all
o
w
t
erms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
evalue_read: on
l
y
accept implicit
m
ultipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_rea
d
: accept constraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolae
g
e
evalue_ber
n
s
t
ein_coefficients: ensure result
p
a
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
bernstein: piecewise
_
lst:
correctl
y
pri
n
t
and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalities: keep
removing parameter equalit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
doc:
consistent
use of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
do
c
: update now publish
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aege
f
o
r
_e
a
ch_
l
ower
_
upper_bound: allow
a
bsence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolae
g
e
Revert "eadd_partitions: tr
y
to com
b
ine
m
ult
i
p
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
evalue_read_partition: put partiti
o
ns
b
a
ck in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue: reduce_evalu
e
:
a
dd note
o
n
so
m
e missed op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n V
e
rdoolaege
berns
t
e
i
n
.
c
c: ha
n
dle
i
n
put
w
ith un
i
o
ns + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
olaeg
e
maximize
.
cc: dea
l
with unions i
n
inpu
t
d
uring verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
oolaege
evalue_subst
i
tute: prope
r
ly handle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoola
e
ge
evalue
.
c
:
c
lean
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_
r
e
a
d: cor
r
ectly read variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoo
l
aege
evalue_read: acce
p
t top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
doolaege
up
d
ate
po
l
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erd
o
olaege
evalue_backsubstitute: add required
modulo constr
a
in
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doo
l
aege
evalu
e
.
c
:
*_partitions:
s
implify c
o
n
s
traints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Verdool
a
ege
do
c
: more specific
infor
m
ati
o
n
on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
co
n
figure
.
in: require cddlib 0
.
94e by testing for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verd
o
o
l
a
e
ge
configure
.
in: only compile oc
c
if c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoo
l
a
ege
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add some tests for
imple
m
entation of projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
d
o
c
:
d
ocumen
t
new o
p
ti
o
ns and new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHO
R
S: update suppor
t
inf
o
rmati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
ege
genfun
.
c
c
: s
h
ort_ra
t
::prin
t
: correctly
p
r
int
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Expor
t
series
a
s bar
v
inok_
e
numerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
r
emove_parame
t
e
r_equalities: stop
"removing
"
e
q
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ser
i
es: leave freein
g
of
P
a
rgu
m
e
n
t to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
doc: document implementa
t
ion of t
h
e projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
ad
d
ba
r
vinok_en
u
m
erat
e
_e_serie
s
imple
m
entin
g
t
h
e pro
j
ec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
ol
a
ege
genf
u
n
.
cc
:
fix
and docume
n
t
p
ara
l
l
e
l
poly
t
opes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
ool
a
ege
Only compile zsolve
if gcc
3
.
4 o
r
l
ater
is av
a
i
lable
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolae
g
e
Move G
i
NaC
-
inde
p
endent p
a
r
t
of lib
r
a
ry to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olaege
pol
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aege
doc: ho
w
t
o
count the n
u
m
ber of el
e
m
e
n
ts
i
n
p
o
ssib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
doola
e
ge
doc/imp
l
em
e
ntation
.
tex: avoid multip
l
y
defin
e
d label
commit
|
commitdiff
|
tree
next