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
properly handle NTL CPPFLAGS and LDFLAGS
2008-05-07
Sven
V
e
r
doolaege
p
roperly h
a
ndle
N
T
L C
P
P
FL
A
GS
a
n
d
LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
V
e
rdoolaege
basis_reduc
t
i
o
n_templ
.
c:
a
dd missing
i
nclude
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
o
laege
barvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test se
t
s from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaeg
e
doc:
add
latest (a
c
c
e
p
t
ed) pub
l
ications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
e
g
e
Makefil
e
.
am: ad
d
s
e
ction
_
array
.
h to dist
r
i
buti
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
normalizat
i
on
.
c: compute_shifts: remov
e
redun
d
ant retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_P
a
ramNames pol
y
lib and
m
a
k
e
p
a
ra
m
na
m
es
c
o
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
oc
c
: add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_
c
onvert
.
cc:
extract ex2e
v
al
u
e from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: document more
--summati
o
n
me
t
hods f
o
r bar
v
inok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
opti
o
ns
.
c: r
e
nam
e
"b
a
rvi
n
ok" summation m
e
thod
t
o
"bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdo
o
laege
Mak
e
f
i
le
.
am: check
-
eule
r
:
a
lso check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
s
u
mmate
.
c: barvinok_summ
a
te: handle products of
p
o
l
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
evalue
.
c: expo
r
t evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
be
r
nste
i
n: numeric2
v
alue: fix typo to allow co
r
rect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
util
.
c: Factor_C
o
ntex
t
: extracted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c:
b
arv
i
nok_summate: ignore flo
o
rs
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
ev
a
l
u
e
.
c: a
d
d evalu
e
_flo
o
r
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
omeg
a
/occ: pri
n
t barvinok v
e
r
s
ion numbe
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
doc: update s
o
me references
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
Make laurent based summatio
n
the
defa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolae
g
e
summa
t
e
.
c
: barvinok
_
summate:
han
d
le quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdool
a
e
g
e
reduce
_
evalue
:
e
x
t
ra
c
t o
u
t
eval
u
e_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laeg
e
evalue
.
c: evalue_shift_vari
a
b
le
s
:
allow shi
f
ti
n
g of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaeg
e
sum
m
ate
.
c: handle eq
u
a
lities f
o
r all
summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolae
g
e
summate
.
c: barvin
o
k_summate: mo
v
e com
m
on parts of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
evalue
.
c: evalue_sum: move
s
ign handl
i
ng
i
nto esum_o
v
er_domai
n
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
barvinok_e
.
cc: enu
m
erate_sum: u
s
e b
a
rvi
n
ok_sum
m
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
summate
.
c: extract
b
a
rv
i
nok_summat
e
from
b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
re
n
ame summate
.
cc to
b
ar
v
inok_summ
a
te
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
evalue
.
c: reduce_evalue:
reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
Add Laur
e
n
t expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ve
r
doolaege
eva
l
u
e
.
c: extend eequal t
o
h
a
n
dle domains and N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
i
nomial
.
c: e
x
tract binomial and f
a
ctorial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
power
.
h: extract from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolae
g
e
introdu
c
e eva
l
ue_
s
hift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaeg
e
l
a
tti
c
e
_point
.
c
c:
e
xport
r
elative_coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_point
.
h:
make sure correct
e
val
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
S
ve
n
Verdoolaege
lattice
_
point
.
cc: add ceilin
g
f
u
n
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
S
v
en V
e
rdo
o
laege
util
.
c:
internalize ug
l
y
bv_c
e
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdo
o
l
aege
lat
t
ic
e
_point
.
cc:
multi_mon
o
m/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdo
o
laege
doc: clean up "exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avo
i
d loss of
p
recisi
o
n caused
by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
olaege
b
arvinok_
b
ound:
option
a
lly take ma
x
imal size of doma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oolaege
barvinok_bound: add --iterate o
p
tions for ev
a
lua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoola
e
ge
ve
r
ify
.
c: export fu
n
ctions for setting
an
d
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doolaege
verify
.
c: evalue_optimum:
allow computati
o
n
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: evalue2ex: don't assume
a
l
l pe
r
i
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ver
d
oolaege
bound
.
cc
:
fi
x
call to ev
a
lue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
e{add,mul}_periodic
s
: plug memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
evalue_bern
s
t
ein
_
coefficients: han
d
le problems w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
pd
a
te polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdo
o
l
aege
latti
c
e_widt
h
.
c: skip directio
n
s
that ar
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Ve
r
doo
l
aege
Makefile
.
am: ad
d
cdd94e-te
s
t to distributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
o
m
e
ga/occ
:
optionally us
e
parker for computing
c
a
r
di
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
or
m
a
lization
.
c:
s
kew_t
o
_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: relation2Domain: only col
l
ect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
o
c
c: add dump f
o
r dumping in ba
r
vinok_enu
m
era
t
e_
e
for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enume
r
ate_
e
:
o
ptiona
l
l
y use
p
arker
'
s met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
standard_constraints: tak
e
c
o
n
straints instead of
p
olyhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
n
o
rmalization
.
c: ext
r
a
ct stand
a
r
d
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
parker/count_solutions
.
cc: fix treatment of existent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
eul
e
r
.
cc: evalue_deri
v
e: handle c
o
ns
t
a
nt poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
e
g
e
add some
t
est sets f
r
om c
a
ses 20
0
4
and
cc
2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
a
ege
rename
b
arvi
n
o
k_m
a
ximize to barvinok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add
a test for test_
b
o
u
nd
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
evalue_range_propagation: remove
r
e
d
undant
p
o
l
yn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
test_bo
u
nd:
r
ecord num
b
er
o
f polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
test_boun
d
: convert qu
a
si
p
olynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
t
e
s
t
_bound: com
p
ar
e
p
o
l
ynomial bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
ve
r
ify
.
c:
optimum: handle
input eval
u
ating t
o
neg
a
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoo
l
aege
veri
f
y
.
c: ext
r
a
c
t evalu
e
_op
t
i
mum f
r
om maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
ve
r
ify
.
c: extract comm
o
n
code f
o
r v
e
rifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_range_pr
o
p
a
gation: add monotonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
bar
v
i
n
ok_maximize: optionally use (basic) range p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
Ad
d
some suppo
r
t for dealing
w
ith
e
val
u
es that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
barvin
o
k_e
n
umerate: sup
p
o
r
t
use of Euler-Macl
a
uri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imp
l
ement Berno
u
lli_sum as
c
on
v
ersion
f
r
om unweight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
l
ae
g
e
B
e
r
n
oull
i
_sum_evalue: exploit integer bo
u
nds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolae
g
e
keep track of number of Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oo
l
aege
berno
u
lli
.
c: pr
o
tect share
d
evalu
e
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test Bernoulli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_count_wit
h
_opti
o
n
s
:
c
ompute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
d
oolaege
Bernoulli
_
s
u
m
_
e
valu
e
: optionall
y
handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
lattice_po
i
n
t
.
h
:
e
xp
o
rt
fractional_part
w
i
th C
link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
barvinok_en
u
m
erate_with_o
p
t
ions: compute (exact)
B
er
n
oul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoul
l
i_sum_evalue: ha
n
dle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doola
e
ge
B
ernoulli_sum_eva
l
ue: cut of
f
s
ome red
u
n
d
a
n
t p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoo
l
aege
Bernoul
l
i_sum_eva
l
ue: ma
k
e sure no e
m
pty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernou
l
li_sum
_
evalu
e
: remove redundant c
o
nstra
i
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
bernoul
l
i
.
c: minor refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
B
ernou
l
li_su
m
:
handle context
constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_su
m
_evalue:
m
ak
e
su
r
e eno
u
gh m
e
mory
is al
l
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
for_e
a
ch_lower
_
upp
e
r_bo
u
nd:
a
dd another cal
l
bac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: a
d
j
ust default r
a
nge to context
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
euler
.
cc: s
u
m
m
ate_over_domai
n
: onl
y
consider
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: export Param_Ve
r
tex_Set_Facets
commit
|
commitdiff
|
tree
next