repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
2008-04-17
Sven V
e
r
d
oolaege
lattice_po
i
nt
.
cc: mu
l
ti_monom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
d
o
c
:
clean up
"expon
e
ntial sub
s
t
i
tution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_b
o
und
.
cc: avoid
l
o
s
s
of prec
i
sion
c
a
used by c
o
nve
r
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoo
l
aege
barvinok
_
bound:
optionally
take maxima
l
size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
barv
i
no
k
_
b
ou
n
d: add
-
-it
e
rate opti
o
ns for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
veri
f
y
.
c:
e
xport f
u
nctions
for setting a
n
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c
:
eva
l
u
e_optimum
:
a
l
low co
m
putation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
ber
n
ste
i
n
.
c
c
:
eval
u
e2ex: don't assume a
l
l periodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
boun
d
.
cc: f
i
x call
to ev
a
l
ue_co
n
v
e
rt
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
g
e
e{ad
d
,mul}_periodics:
plug mem
o
ry lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
v
a
lue_be
r
nstein_coefficients: handle proble
m
s wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ver
d
oolaege
u
p
da
t
e polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoola
e
ge
lattic
e
_
w
idth
.
c:
sk
i
p di
r
ections that are id
e
n
t
ica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
e
n Verdoolaege
Makefile
.
am:
a
dd cdd94
e
-test
t
o di
s
t
r
i
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
eg
e
om
e
g
a
/
occ: optionally
use parker for
c
omp
u
t
i
ng cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
er
d
ool
a
ege
normalization
.
c
: skew
_
to_positiv
e
_orthant: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/con
v
ert
.
cc: relation2Domain: only co
l
lect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
o
olaeg
e
occ: add
dump for
dum
p
i
n
g in b
a
r
v
inok_enumerate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laeg
e
b
arvinok_enum
e
ra
t
e_e: optionally use
pa
r
ker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_co
n
strai
n
ts: take cons
t
rai
n
t
s
in
s
tead
o
f polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalizati
o
n
.
c: e
x
tract standard_constra
i
n
t
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
parker/count_sol
u
tions
.
cc: fix treatment of existentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoo
l
ae
g
e
euler
.
c
c
: evalue_derive: han
d
le constant polynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add some
te
s
t sets from cases 2004
a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
ola
e
ge
rena
m
e
b
a
rvinok_ma
x
imiz
e
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ad
d
a t
e
s
t for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_r
a
nge_propag
a
t
i
o
n
: rem
o
ve redu
n
dant
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
aege
test_bound
:
r
ecord number of polynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_bound: co
n
ve
r
t q
u
asipolynomials to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
t
est_bound: compare polynomial bound
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c
: optim
u
m:
handle inp
u
t
e
valuating to
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: extr
a
ct evalue_optimum from
m
a
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract common code for verifying o
p
er
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_r
a
ng
e
_propa
g
ation: add monotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
a
ege
ba
r
vi
n
ok_maximize:
o
ptionally u
s
e (
b
a
s
ic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for dealing wi
t
h eva
l
ues that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_enumerate: support
u
se of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
implemen
t
Bernoulli_
s
u
m
a
s
conversion from unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
o
o
l
a
ege
Ber
n
ou
l
li_sum_evalue: e
x
ploit integer b
o
un
d
s to
r
edu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
k
eep tr
a
ck of
number of Be
r
noull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bernoul
l
i
.
c: p
r
o
t
ect shared
evalue f
r
om mod
i
fi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
test B
e
rnoulli sums based exact enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok_count_with_options: compute (e
x
act) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laeg
e
Be
r
n
o
ul
l
i
_
su
m
_e
v
alu
e
: op
t
ion
a
lly han
d
le fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
la
t
ti
c
e_po
i
nt
.
h: e
x
port fractio
n
a
l
_p
a
r
t
with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok
_
e
numer
a
te_with_optio
n
s: co
m
pute (ex
a
ct) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
Bernoulli
_
sum_
e
value: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
a
e
ge
B
e
rnoul
l
i_sum_evalue: c
u
t
off some red
u
nd
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
e
rnoulli_sum_evalue
:
make
s
ure
no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
Ber
n
oulli_sum_eval
u
e: remove red
u
ndant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bern
o
u
l
li
.
c: minor r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
laege
B
er
n
oulli_sum: handle
c
o
ntext c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rd
o
olaege
Bernoulli_s
u
m_evalue: make su
r
e enough m
e
mory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
fo
r
_e
a
ch_l
o
wer_upper_bound: add
anothe
r
callback
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
verify
.
c:
a
djust default range to
c
onte
x
t if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
euler
.
cc
:
s
umma
t
e_over_domai
n
:
only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
p
a
ram_ut
i
l
.
c
:
ex
p
o
r
t Param_Verte
x
_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
ool
a
ege
Param_Polyhedron_Fac
e
t: pass
f
acet
defining c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
genfun
.
cc:
parallel
_
p
o
lyt
o
pes: don't bother
handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domain
s
_into_orthants: d
o
n't reduce evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaeg
e
eval
u
e_read: onl
y
allow terms
to cros
s
newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implicit mu
l
tip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
o
l
aege
evalue
_
read: accep
t
constra
i
nts
c
ontaining "'
-
' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
evalue_ber
n
stein
_
c
o
e
f
f
icie
n
ts:
ens
u
re resu
l
t pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
be
r
nstein: pi
e
cewise_lst: c
o
rrectly pri
n
t an
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaeg
e
rem
o
ve_all_
e
qualities: keep rem
o
v
i
n
g
para
m
eter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent use
o
f Kevin's in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olaege
doc: update now publish
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
f
or_each_lo
w
er_upper_b
o
und: allow absenc
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oola
e
g
e
Rever
t
"eadd_partitions:
t
ry
t
o combi
n
e multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
evalue_read_par
t
ition: put
p
a
r
titions b
a
ck in t
h
e sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue
:
reduce_eval
u
e: ad
d
note on
s
ome missed op
p
ortunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
ber
n
s
t
e
in
.
c
c
:
h
andle input with uni
o
ns + r
e
lation
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdo
o
l
aege
maximize
.
c
c
: deal wi
t
h
u
nions in inpu
t
du
r
ing ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoola
e
ge
eval
u
e_sub
s
titute: properly handl
e
r
e
l
a
ti
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c:
c
lea
n
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
evalue_read: corr
e
ctly rea
d
v
ariable names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolae
g
e
evalu
e
_
r
ead: accept top level
"
r
elati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
update
p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Verdoolaege
ev
a
lue_backsubstitute:
a
dd required m
o
dulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ver
d
oola
e
ge
evalue
.
c
: *_partitions:
si
m
pl
i
fy constraints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
doc:
m
ore spe
c
ific information on
b
uggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoolaege
configu
r
e
.
i
n: requir
e
c
d
d
l
ib 0
.
94e by
t
esting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
configure
.
in: only com
p
ile o
c
c
i
f co
d
e_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
a
ege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
add
som
e
tests for
i
m
plementati
o
n of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
doc: document new o
p
tion
s
and new a
p
plication
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
U
THORS: update support
i
n
format
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
laege
g
enfun
.
cc: short_rat::print: c
o
r
rectl
y
p
rint polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Expo
r
t series
a
s barvinok_enumera
t
e_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
remove_param
e
t
e
r_equalities: stop
"
r
e
movin
g
" equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
series:
l
eave freei
n
g of
P
argum
e
nt to
c
a
l
l
ing fun
c
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
d
oc
:
docum
e
nt i
m
plementa
t
io
n
of the
p
rojection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
add barv
i
nok
_
e
n
umerate_e_
s
e
r
i
e
s
impleme
n
tin
g
the pr
o
jectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
genf
u
n
.
cc: fix and do
c
umen
t
para
l
lel polytopes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
laege
O
nly
compile zs
o
l
v
e if gcc 3
.
4 or lat
e
r
i
s availa
b
l
e
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Move GiNaC-independent part of libra
r
y to barvino
k
.
.
.
commit
|
commitdiff
|
tree
next