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
normalization.c: skew_to_positive_orthant: properly handle unions
2008-04-03
Sven Verdoolae
g
e
normalizatio
n
.
c: skew_to
_
posit
i
ve_orthant: prop
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: re
l
ation2D
o
main: on
l
y c
o
llect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
ol
a
e
g
e
o
cc: a
d
d dump f
o
r dumping in barv
i
n
o
k_
e
num
e
rate_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
barvinok
_
enumerate_e:
optionally
us
e
p
a
rke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standa
r
d_c
o
nstraints:
t
ake constra
i
nts instead of po
l
yh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
o
o
l
aege
normalization
.
c: ext
r
act st
a
ndar
d
_c
o
nstraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
er
d
oolaege
parke
r
/coun
t
_sol
u
tions
.
cc: fix treat
m
ent of existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
cc: evalue_deri
v
e
:
handle consta
n
t pol
y
n
o
m
i
als
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
add some tes
t
se
t
s from c
a
s
es 2004 and cc 20
0
5 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
rename ba
r
vi
n
ok
_
max
i
mize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test
f
or test_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
evalu
e
_ra
n
g
e
_
p
r
o
pagation:
remove redundant p
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
te
s
t_bo
u
nd: recor
d
number of
p
ol
y
nom
i
als as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test_boun
d
: c
o
nvert
q
uas
i
pol
y
nomia
l
s
t
o
polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_
b
ound:
co
m
pare polynomial bound al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c: optimum: handle i
n
put
evaluating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
: extract
ev
a
lue_opt
i
mum from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
v
e
ri
f
y
.
c: ex
t
ract
c
o
mmon
c
ode for v
e
rifying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_range
_
propagation
:
add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdo
o
la
e
ge
barvinok_
m
aximize:
o
pt
i
onally
us
e
(
basic) range propagat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
A
d
d some sup
p
ort for deal
i
ng w
i
th evalues
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
barvinok_enumerate: support use of E
u
ler-Maclaur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
ola
e
g
e
implement Berno
u
lli
_
sum a
s
conve
r
sion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Bernoulli_sum_evalue
:
e
x
plo
i
t in
t
eger boun
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
keep track of numb
e
r
o
f Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
a
e
g
e
bernoulli
.
c
: protec
t
s
h
a
r
ed evalue
from modif
i
cati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test Berno
u
lli
sums based exa
c
t
e
nu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvin
o
k_count_with_options: co
m
p
u
te (ex
a
ct
)
Ber
n
o
u
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue
:
o
p
tio
n
ally handle
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
lattice_point
.
h
: export fractional_
p
art wit
h
C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
e
r
doolaege
b
arvinok_e
n
umer
a
t
e
_w
i
t
h_options: comput
e
(e
x
act)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Be
r
noulli_sum_ev
a
lue:
h
andle equali
t
i
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
nou
l
l
i_sum_evalue: c
u
t
off some
r
ed
u
ndant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_s
u
m_evalue: ma
k
e sure no empty parti
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoul
l
i_sum_eval
u
e: rem
o
ve
r
e
d
u
n
d
ant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
bernoulli
.
c: minor refa
c
t
o
ring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bern
o
ulli_s
u
m: hand
l
e co
n
t
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
e
rnoulli_sum_evalue: make sure
en
o
ugh memory
i
s allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdool
a
ege
for_e
a
c
h_lower_
u
pper_b
o
un
d
: add another cal
l
back for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
verify
.
c:
a
djust
d
efault range to context
if
n
e
e
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: summate_
o
ver_domain:
only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c
:
expor
t
Param_Verte
x
_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
d
o
o
l
ae
g
e
Param_Polyhe
d
ron_Facet: p
a
ss fac
e
t def
i
n
i
ng constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: paralle
l
_po
l
yto
p
e
s:
don'
t
b
other handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
v
alue_split_dom
a
i
ns_in
t
o_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e
_read:
o
n
ly
al
l
o
w
t
e
rms to cross
n
ewlin
e
s
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
a
lue_read: only acc
e
pt implici
t
mult
i
p
l
icat
i
on
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
e
v
al
u
e_rea
d
: ac
c
ept cons
t
rain
t
s
c
ontaining "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_bernstein_coefficients:
e
nsure result partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doolaege
berns
t
ein: piec
e
wise_l
s
t:
correc
t
ly print and ev
a
l
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rdoolaege
remove_all_
e
qualities: keep removing para
m
eter equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc: consist
e
nt use of
Kevin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
: up
d
ate now p
u
blished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ve
r
doolaege
f
or_eac
h
_
lower_upper_b
o
und: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
Rever
t
"
e
add_partitions: try to c
o
mbine
m
u
l
tiple
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
V
erdoo
l
aege
evalu
e
_read_partition: put p
a
rtitions
b
a
c
k
in
the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
a
e
ge
evalue: reduce_evalue
:
a
dd no
t
e
o
n some missed
o
pportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
b
ernste
i
n
.
cc: h
a
ndle input wit
h
unions + relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ve
r
d
o
olaege
maximize
.
cc:
deal wit
h
unions in input during
verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue_substitu
t
e: pro
p
erl
y
h
and
l
e relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean
up emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
ev
a
lue_read:
c
orrectly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoo
l
aege
evalue_
r
ead
:
a
ccept
top level
"
r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n Verd
o
olaege
eva
l
u
e
_
b
acksubstit
u
te:
add required m
o
dulo co
n
straints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c
: *_partitions: s
i
mplify constra
i
nts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Verdoolae
g
e
doc: mor
e
specific information on
b
uggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
co
n
figure
.
in: require
cddlib 0
.
9
4
e
b
y
testi
n
g
fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verd
o
olaege
configure
.
in: on
l
y
compi
l
e
occ if code_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
ad
d
some te
s
ts
for
i
mplementation
o
f projecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
doolaege
doc:
d
ocument
new
options and new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
r
d
oolaeg
e
AUTHORS: update
support inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
genfun
.
cc: short_rat::pri
n
t: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as bar
v
in
o
k_enume
r
ate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rd
o
olaege
remove_par
a
meter_equalities: stop "re
m
oving" equ
a
lit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
a
e
ge
series: leave
f
reei
n
g of P argum
e
nt to ca
l
lin
g
func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document
i
mpl
e
mentation of
the projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
o
la
e
ge
add barvinok_enume
r
at
e
_e_series implementin
g
th
e
pro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
o
laege
genfun
.
cc: fix and
d
ocument parallel poly
t
opes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
Only compi
l
e
z
solve
if
gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
v
e GiNaC-independent pa
r
t of l
i
bra
r
y
to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c:
how
to count the
number
o
f
e
lements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
e
r
doolaege
doc/imple
m
enta
t
ion
.
tex:
avoid mul
t
iply defi
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
d
o
o
l
aege
latt
i
ce_
w
idth
.
c: try ve
r
tice
s
of
previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
lae
g
e
doc: document integ
e
r hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
hull
.
c: add all p
o
in
t
s found by
sampling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
Verdoolaege
Pos
s
ib
l
e optimi
z
ations
fo
r
generalized ba
s
is re
d
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support
u
s
e
o
f
ge
n
erali
z
ed basis reduc
t
ion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
a
dd
P
o
l
yhe
d
r
o
n_
I
nteger_
M
inimum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc: docume
n
t generaliz
e
d basi
s
reduc
t
ion based i
n
t
e
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc/barvi
n
ok
.
bib: add missing st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaege
add more
m
i
ssing assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaege
evalue
.
c: add m
i
ssi
n
g
i
nc
l
ude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
ola
e
ge
co
n
figure
.
in:
pass pat
h
of GM
P
installation to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
r
doola
e
ge
configure
.
in: only c
o
mpile l
i
bb
a
rvinok
as a static
.
.
.
commit
|
commitdiff
|
tree
next