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
test_bound: compare polynomial bound algorithms
2008-03-31
Sv
e
n Ver
d
oolaege
test_boun
d
: com
p
are polynomial bou
n
d
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
veri
f
y
.
c: optimum: handle
i
n
put
eva
l
uati
n
g t
o
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
verify
.
c: extract ev
a
lue_optimum f
r
om maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c:
extr
a
ct comm
o
n c
o
de for
v
erif
y
ing op
e
ra
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
la
e
ge
e
val
u
e_range_prop
a
gation: add monotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
ba
r
vinok_maximize: optionally use (ba
s
ic) range p
r
opa
g
ati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
do
o
laege
Add som
e
support
for dealing with
evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
barvinok_enumerate: support use of Euler
-
M
a
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imple
m
ent Bernoulli
_
sum as conversion
fr
o
m
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_evalu
e
: exploit integer
boun
d
s t
o
redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
eep trac
k
of num
b
er of B
e
rno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
berno
u
lli
.
c: protect shared evalue from mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test
B
ernoulli
sum
s
b
ased exact en
u
me
r
ation
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
barvinok_count_with_op
t
i
o
ns:
co
m
p
u
t
e (e
x
act) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
Be
r
noulli_
s
u
m
_evalue: optional
l
y
h
a
ndle fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_poin
t
.
h: export fra
c
tional_pa
r
t w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
b
a
r
v
inok_e
n
umerate_with_options: compute (e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
Bernoulli_sum_evalue:
han
d
le equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ulli_su
m
_eva
l
ue: cut o
f
f some redundant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_
e
value: make su
r
e no emp
t
y pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Ber
n
oulli_s
u
m_evalue: remove red
u
ndant cons
t
rain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
b
ernoulli
.
c:
m
i
nor
r
efactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
e
rnoulli_sum: ha
n
dle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Bernoul
l
i_su
m
_
evalue: make sur
e
enoug
h
memory is allocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
for
_
each_low
e
r_upper_b
o
und: add anot
h
er callbac
k
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
verify
.
c: adju
s
t
d
e
f
ault range
to
context
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c: summate_over
_
domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
ar
a
m_util
.
c: export
Pa
r
am_V
e
r
tex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoo
l
aege
P
a
ram_P
o
lyhedron_F
a
cet: pas
s
facet
defining cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
lae
g
e
g
enfun
.
cc:
p
ar
a
lle
l
_polytope
s
: don't bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_sp
l
it_domains_into_orthan
t
s: don't r
e
duce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_read: only allow terms to cro
s
s newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolae
g
e
eval
u
e_read: onl
y
a
c
cept implici
t
m
ultipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
evalue_read: accept con
s
train
t
s
containing
"
'-' s
p
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ev
a
lue_b
e
rnstein_c
o
ef
f
ic
i
ents: ensure result partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
ge
b
e
r
n
stein: pie
c
ewise_
l
s
t:
correctly
p
r
i
nt and eval
u
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_e
q
ualiti
e
s: keep removi
n
g
p
ara
m
eter eq
u
alitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Ve
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdoolaege
d
o
c: consistent u
s
e of Kevi
n
's initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
doolaege
for_each
_
lower
_
uppe
r
_bound:
a
ll
o
w absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laeg
e
R
eve
r
t
"
eadd_parti
t
ions: try t
o
c
ombine mu
l
tip
l
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
e
value_read
_
part
i
tio
n
: put partitio
n
s back
i
n
the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolae
g
e
eval
u
e: r
e
duce_eval
u
e: add note on
som
e
mis
s
e
d
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
c
c: handle
input with uni
o
n
s + relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
maximize
.
c
c: de
a
l wit
h
unio
n
s
in input
during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_sub
s
titu
t
e: properly handle relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
o
o
lae
g
e
evalue
.
c:
c
l
ea
n
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_read: correctly read
v
ariable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_
r
ead: a
c
c
ep
t
to
p
level "r
e
l
a
ti
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
pdate
polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue
_
backsubsti
t
ut
e
: add
required modulo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoola
e
ge
evalu
e
.
c: *_par
t
itions: simplify
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Ver
d
oolaege
doc: mor
e
specific info
r
mation on bu
g
gy cddlib
ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in
:
re
q
uire
cddli
b
0
.
94
e
by
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoolaege
configure
.
in: only compile occ if
c
ode_gen libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
add
some t
e
sts
for
implementation of projection
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdool
a
e
g
e
doc
:
document new options
an
d
new appli
c
ations
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
AUTHORS: update support
information
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
genfun
.
cc: sho
r
t_rat::p
r
int: correctly print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoola
e
ge
E
xport
s
eries as bar
v
inok_enumerat
e
_
s
er
i
es and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
remove_paramet
e
r_equalities: stop "
r
emovi
n
g"
e
quali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olae
g
e
serie
s
: leave freeing of P argume
n
t to c
a
lling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
doc: document
i
mplementation of the projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add barvin
o
k_enumerate_e_series implementing th
e
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
gen
f
un
.
cc: fix and docume
n
t p
a
rallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolaege
Only c
o
mpile z
s
o
lve if gcc 3
.
4 or later is availa
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Mov
e
GiNaC-independent part of library
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoola
e
ge
p
oly
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
doc: how
t
o
c
ount
t
he number o
f
elements
i
n possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n
Verdo
o
laege
doc/i
m
plemen
t
a
tion
.
te
x
: a
v
oid multiply defined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
latt
i
ce_wi
d
t
h
.
c: try
ve
r
tice
s
of prev
i
ous integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
d
o
c:
docu
m
e
nt in
t
eger h
u
ll comp
u
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add
a
ll points found by sa
m
pling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Possible opt
i
m
izations for gene
r
a
l
ized
b
a
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
S
u
pp
o
rt
use of gen
e
r
a
l
iz
e
d bas
i
s reduction
to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
add Polyhedron_Integer_Minimum for computing the i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
: document generalize
d
bas
i
s reduction
based
i
ntege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoola
e
ge
doc/ba
r
vin
o
k
.
bib: add missin
g
s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missing
a
ssert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
e
va
l
ue
.
c: ad
d
miss
i
n
g
i
nclude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
configure
.
in: pas
s
path of GMP in
s
tallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
ol
a
ege
confi
g
ure
.
i
n: only compi
l
e libbarvinok as
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
Polyhedron_Reduced_
B
asis: don
'
t stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdoo
l
a
ege
c
ompute
_
widt
h
_directions: only keep list
o
f distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
r
dool
a
ege
zs
o
lve: don'
t
i
n
stall
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: sh
o
w use
o
f TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoo
l
aeg
e
co
n
figure
.
in: don't s
e
t wi
t
h_
{
poly,pip}lib_prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
Polyhedron_Sa
m
ple: be satisfied with a re
a
sonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
cone_intege
r
_hul
l
:
o
p
tionally
print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
bas
i
s_re
d
u
c
tion: keep track of
n
umbe
r
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoo
l
aege
options: mov
e
--print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
bernstein:
rework tes
t
ing fr
a
me
w
ork to not
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
erdoo
l
a
e
ge
b
e
rnstein: add piecew
i
se_lst:
:
is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
sup
p
ort newer ve
r
si
o
ns of GiNaC
(
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaeg
e
s
t
and
a
r
d
_constraints: move from topco
m
.
c
to
po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
olaege
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
zsolv
e
: add banne
r
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
Polyhed
r
on_Lattic
e
_Width_Di
r
ections: print progress
.
.
.
commit
|
commitdiff
|
tree
next