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
power.h: extract from euler.cc
2008-04-25
S
ven Verdoolaege
power
.
h:
extr
a
ct fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
introduce evalue
_
shi
f
t
_
vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
la
t
tice_
p
oint
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
l
aege
l
a
ttice_point
.
h: make sure correct evalu
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
latt
i
ce_point
.
cc: add c
e
iling function
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
util
.
c: internalize u
g
l
y
bv
_
ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n
Verdoolaege
latt
i
ce_point
.
cc: mult
i
_
mono
m
/latti
c
e_poin
t
s: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven
V
erdoolaege
d
oc: clean up
"exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoo
l
aeg
e
t
e
st_bound
.
cc:
a
v
o
i
d lo
s
s of precision caused
by conve
r
sio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaeg
e
barvin
o
k_bound: op
t
ionally take maximal size of domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ba
r
vino
k
_bound
:
a
dd
--iterate o
p
tions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: export functions for settin
g
and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rd
o
olaege
verify
.
c: e
v
a
l
ue
_
opti
m
um: allow co
m
putati
o
n of op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bernstein
.
cc: e
v
alue2ex: don't
assume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdool
a
ege
b
o
und
.
cc
:
fix ca
l
l to e
v
alue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
e{add,
m
ul}_perio
d
i
c
s: plug memory
leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
v
alue_ber
n
stein_
c
oefficients: handle pro
b
lem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
dool
a
e
g
e
upd
a
te po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_widt
h
.
c:
s
kip di
r
ections that
a
re i
d
enti
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
e
rdoolaege
Ma
k
e
fi
l
e
.
am: ad
d
cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
doolaege
omega/occ: optiona
l
ly
u
se parker for
c
om
p
u
t
i
n
g cardi
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normalization
.
c: skew_
t
o_positive_orthant:
pro
p
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
o
mega/convert
.
cc: relat
i
o
n2Do
m
ain
:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ver
d
oolae
g
e
occ
:
add dump for dumping in barvino
k
_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verd
o
olaege
b
arvinok_enumerate_e:
o
ptionally
use parker's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoolaege
standard_constraints: tak
e
const
r
ai
n
ts inst
e
ad of
p
olyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
norma
l
ization
.
c: ext
r
act s
t
andard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoola
e
ge
parker/count_sol
u
t
ions
.
cc: fix
t
reatment of
e
x
isten
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
com
p
ile
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erd
o
olaege
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
cc: ev
a
l
ue_deri
v
e: han
d
l
e
constant po
l
ynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add some
t
e
s
t
sets
f
r
om
c
as
e
s 2004 and cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
o
o
la
e
ge
rename barvinok_maximize
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
d
o
o
laege
add a
test for test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eva
l
ue_range_propagation: remove
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_bound: record n
u
m
ber
of po
l
yn
o
mi
a
l
s as "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test
_
b
o
u
n
d
: con
v
er
t
quasipolynomia
l
s to
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
o
la
e
ge
test_boun
d
:
c
ompar
e
polynom
i
al bound
algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verify
.
c
:
optimum: handle
i
np
u
t evaluat
i
ng to
n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
v
e
rify
.
c
:
ext
r
a
ct
e
value_optimu
m
from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
v
erify
.
c: ext
r
act common code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
evalue_range_propagation: add monoto
n
ici
t
y te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_maximize: op
t
ionally use
(
basic)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
A
d
d
s
o
me
support for dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ola
e
ge
b
a
rvinok_enumerate: s
u
ppo
r
t use o
f
Euler-Maclaur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
impleme
n
t
Bernoulli
_
sum
a
s
conversion f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Be
r
noulli_sum_ev
a
l
ue:
e
x
pl
o
it
i
nteger bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track
o
f num
b
er of Bernoull
i
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
ege
bernoul
l
i
.
c: prote
c
t sh
a
red e
v
alue from modif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test Bernoulli sums ba
s
ed exact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
barvinok_count_with_options: compute (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_
s
u
m_evalu
e
: optionally handle fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
lattice_point
.
h: export
fracti
o
nal_pa
r
t with
C
li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
enum
e
rate_w
i
t
h_op
t
io
n
s: co
m
pute
(exact) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
B
e
r
n
oulli_sum
_
evalue: handle equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
B
ernoulli_sum_evalue: cut
o
ff so
m
e red
u
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
n
o
u
l
li_sum_ev
a
lu
e
: make sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
Bernoulli_sum_evalue: remove
redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
rnoulli
.
c
: mino
r
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
Bern
o
ulli_su
m
: handle cont
e
xt
c
o
n
s
t
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
l
aege
fo
r
_each_lower_upper_b
o
un
d
: ad
d
a
nother
c
al
l
bac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
ool
a
e
g
e
v
e
rify
.
c
: a
d
just def
a
ult ra
n
ge to context if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
euler
.
c
c: summate_ov
e
r_do
m
ain: only consider
ac
t
ua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
a
ram_util
.
c
:
export
Param_
V
e
r
tex_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Param_Po
l
yhedron_Face
t
: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
g
e
n
fun
.
c
c
: para
l
lel
_
p
o
lytopes: don'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
evalue
_
split_domains_
i
nto_orthants: do
n
'
t r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
v
alu
e
_rea
d
: only allow terms
t
o cross n
e
wl
i
nes ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
value_read: only accept imp
l
ic
i
t
m
ultiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
e
value_
r
ead:
a
ccept constraints
contai
n
in
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
eg
e
ev
a
lue_bernstein_coe
f
ficients: e
n
sure result
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolaege
b
e
rnstei
n
: piecewise_ls
t
: correctly print and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
remove_all_
e
quali
t
ies: keep removing para
m
et
e
r equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdoolaeg
e
doc: consistent use of Kevin's i
n
it
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
do
c
: update n
o
w published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
rd
o
olaege
f
o
r_each_l
o
w
er_uppe
r
_bound: allow
a
bs
e
nce
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdoolaeg
e
R
evert "eadd_partitions: tr
y
to combine multiple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
ege
evalue
_
read_partition:
p
ut
p
artitions
b
ack
i
n t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
:
reduce_ev
a
lue: add note on som
e
m
i
sse
d
opport
u
n
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
e
ge
bernstei
n
.
cc:
h
andl
e
in
p
ut with unions + rel
a
t
i
on vio
l
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
c
c
: dea
l
with
unions i
n
input d
u
ring
v
erifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_s
u
bstitute: properly handle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue
.
c: c
l
ean up emul
and
e
add
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
eva
l
ue_read: correctly read variab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_read: a
c
cept top leve
l
"re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
eg
e
update
p
o
lyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaeg
e
e
value_backs
u
bstitut
e
: ad
d
requir
e
d modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_part
i
t
ions: simplify constr
a
ints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdo
o
laege
doc: more specific information on buggy
cddlib v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Verd
o
olaege
configure
.
in: require cddlib 0
.
94e by testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
V
erdoo
l
aege
configure
.
i
n: only co
m
pile occ if c
o
de_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add some tests
for implementation of projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
doc: d
o
cume
n
t n
e
w options and new applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
AUTHORS: up
d
a
t
e
supp
o
rt information
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
ge
n
f
u
n
.
cc:
s
hor
t
_
r
at:
:
print: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
Expo
r
t series
a
s barvinok_
e
numera
t
e
_
seri
e
s a
n
d
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
ege
remove_parameter_equaliti
e
s: sto
p
"rem
o
v
i
ng" equal
i
ti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
seri
e
s: leave freein
g
of P
a
rgument to calli
n
g
functi
o
n
commit
|
commitdiff
|
tree
next