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
add editors to ITSL papers
2008-05-08
Sven Ve
r
d
oolaeg
e
add e
d
itor
s
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
oolaege
use argp for argument
p
arsing in bar
v
in
o
k_ehr
h
art a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
properly
handl
e
NTL CPPFLAGS
a
nd LDFL
A
GS
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
oola
e
ge
basis_r
e
duction_templ
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaeg
e
barv
i
nok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laege
add som
e
te
s
t set
s
f
r
o
m itsl2008 pape
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add late
s
t (a
c
c
e
pted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
Makefile
.
a
m
:
a
d
d sect
i
on
_
a
r
ray
.
h to
dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
normalizat
i
on
.
c: compute_shift
s
: re
m
o
v
e redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
l
aege
m
ove Free_ParamNames
poly
l
ib
a
nd make param nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
oc
c
: add int
e
r
face to bar
v
i
nok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_c
o
nvert
.
cc
:
extrac
t
ex2ev
a
lue fr
o
m
r
a
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
doc: document mor
e
--
s
ummation me
t
h
ods for barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
options
.
c: rename "b
a
rvinok" summation m
e
t
h
od
t
o
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
M
akefile
.
a
m:
check-
e
uler: als
o
c
heck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
summate
.
c: bar
v
inok_summate: handl
e
prod
u
cts
of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ev
a
l
u
e
.
c
:
e
x
po
r
t evalue_r
e
order_terms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
ge
bernstein: numeric2value
:
f
i
x
typo to allow cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c:
Facto
r
_C
o
nte
x
t: extr
a
cte
d
fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
laege
summ
a
te
.
c: barvinok
_
summate: ignore floors indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoolaege
eva
l
u
e
.
c
:
ad
d
evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
om
e
ga/occ:
p
r
int barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
doc: u
p
da
t
e
some
r
efe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
Make l
a
urent based summation the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
t
e
.
c: b
a
rvi
n
ok_sum
m
a
te:
h
an
d
le quasi-polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaeg
e
reduce_e
v
a
l
ue: extr
a
ct out evalue_r
e
d
uce_siz
e
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
e
v
alue
.
c: evalue_shift_v
a
riabl
e
s: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: h
a
ndle e
q
ualities f
o
r all summatio
n
algorithms
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaeg
e
s
u
m
mate
.
c
:
bar
v
inok_summate: move
common parts
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: e
v
a
lue_sum: move sign handling
into
esum_over_d
o
ma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
ae
g
e
bar
v
inok_
e
.
cc: e
n
umerat
e
_su
m
:
u
se barvin
o
k_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
su
m
mate
.
c:
e
xt
r
act barvino
k
_s
u
mmate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
rename summate
.
cc to ba
r
vino
k
_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c: reduce_evalue
:
redu
c
e
floo
r
w
ith
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
e
g
e
Add La
u
r
e
n
t
expansion based
s
u
m
mation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verd
o
olaege
evalue
.
c:
e
xte
n
d
e
equal to handle doma
i
ns and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
binomi
a
l
.
c:
extra
c
t bi
n
omial and fac
t
orial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
doolaege
power
.
h
: extr
a
ct
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoo
l
aege
introduce evalue_s
h
ift_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_
p
oint
.
c
c
: export relative_
c
oor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
l
a
ttice
_
po
i
nt
.
h: make sure co
r
rect eva
l
ues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
latti
c
e_point
.
cc: add ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n Verdoo
l
aege
util
.
c: internalize ugl
y
bv_ce
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verdoolae
g
e
lattic
e
_point
.
cc: multi_monom/lattic
e
_poi
n
ts
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
ege
d
o
c
:
clean
up "exp
o
nent
i
a
l substit
u
tion
"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
a
ege
test_boun
d
.
cc:
a
void los
s
of precision
c
a
used by conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barv
i
nok_boun
d
: option
a
lly take
maximal size of domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bar
v
inok_bound: ad
d
-
-i
t
erate options f
o
r
ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
verify
.
c
:
e
xport f
u
ncti
o
ns for
sett
i
ng and cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
r
d
oolae
g
e
ver
i
f
y
.
c:
evalue_
o
ptimum:
al
l
ow
compu
t
ation of
opti
m
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoola
e
ge
bernstei
n
.
cc: ev
a
lue2e
x
: don't assume a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoo
l
aege
bound
.
cc: f
i
x call to
eva
l
u
e_c
o
n
vert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
e{add,mul}_perio
d
ics
:
plug me
m
ory leak
s
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolaege
evalue_bernstein_
c
oefficients: handle probl
e
m
s w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
up
d
a
t
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoola
e
ge
lattice_width
.
c: skip direc
t
ions that are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoo
l
aege
M
a
kefile
.
am: add cdd94
e
-t
e
st t
o
dis
t
ributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verd
o
olae
g
e
ome
g
a/occ: optionally use parker for co
m
puting
c
ardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
erdo
o
laeg
e
normalization
.
c: skew_to_positive_ortha
n
t:
properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaege
omega/convert
.
c
c:
r
elation
2
Domain:
o
nly collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
d
o
olaege
occ: ad
d
dump for dumping in b
a
rvinok
_
e
n
umerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
b
arvi
n
ok_enum
e
r
ate_e:
o
ptiona
l
l
y
use parker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoola
e
ge
stand
a
rd_constraints: ta
k
e cons
t
rain
t
s ins
t
ead of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
no
r
m
a
li
z
ation
.
c: ex
t
r
ac
t
stand
a
r
d_con
s
traints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
pa
r
ker
/
co
u
nt_solutions
.
c
c: fix
treat
m
e
nt
of e
x
istential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
V
erdool
a
ege
comp
i
l
e
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olaege
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
euler
.
cc:
e
value_
d
erive: ha
n
dle constant polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
add some test sets from cases 2004
and cc 20
0
5 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
a
ege
rename barvinok
_
maximize to
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
a
d
d a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_ra
n
g
e
_propagation:
remove redu
n
d
ant polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_
b
ound: record
number of p
o
lynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
te
s
t_bound: convert quasipolynomi
a
ls to polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
te
s
t_bound:
c
o
mpare polynomi
a
l b
o
und alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: opti
m
um: handle input evaluating
t
o negat
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
veri
f
y
.
c: extract evalue
_
o
p
t
i
mum from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: ex
t
ract common code for ver
i
fyin
g
oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
evalue_
r
a
ng
e
_propaga
t
ion
:
add mon
o
tonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvino
k
_maximi
z
e: o
p
tional
l
y
u
se (bas
i
c)
r
a
n
ge propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add s
o
me support fo
r
dealing with
evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ba
r
vi
n
o
k
_enumera
t
e: support
use of Euler-
M
a
c
la
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
implement Be
r
noulli
_
su
m
a
s conversion from
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
B
e
r
noulli_
s
um_
e
value: ex
p
loit in
t
eger bo
u
nds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
keep track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bernoulli
.
c
: protect
shared evalue fr
o
m modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
Bernoull
i
sums
based exact en
u
meration
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ba
r
vino
k
_count_with_opti
o
n
s
:
c
ompute (exa
c
t)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
u
m_evalue: opti
o
nally hand
l
e frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
latt
i
ce_point
.
h: e
x
p
o
rt
f
raction
a
l_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_e
n
u
merate_with_options: compute
(
exact)
Ber
n
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
o
olae
g
e
B
erno
u
lli_sum_eval
u
e: handle equ
a
l
i
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_
e
val
u
e: cut off so
m
e
r
edundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
B
e
r
noulli_sum_evalue: make
sure no empty
p
a
r
titi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_eval
u
e: rem
o
ve re
d
undan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
bernoulli
.
c:
m
ino
r
re
f
a
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
Bernoulli_sum: handle context cons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
ernoulli_sum_evalue
:
make su
r
e
e
n
o
ugh memory is al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_e
a
ch_lower_upper_
b
o
und: add anoth
e
r ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: adjust default r
a
n
g
e
to context if
n
eeded
commit
|
commitdiff
|
tree
next