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
bernstein.cc: evalue2ex: don't assume all periodic tables have the same size
2008-04-08
Sven Verdoolaege
berns
t
ein
.
cc: evalue2e
x
: don't assume all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
c
c
: f
i
x
ca
l
l to e
v
alue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
add,mul}
_
periodi
c
s: pl
u
g memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
eva
l
ue_bernstein_co
e
fficients
:
h
a
ndle p
r
o
b
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ver
d
oolaeg
e
lattice_width
.
c: skip directions th
a
t a
r
e ident
i
c
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en V
e
rdool
a
ege
Makef
i
le
.
am: add cdd9
4
e-test to
d
i
s
t
r
ibut
i
o
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoo
l
aege
omega/occ: optionally use parker for comput
i
ng cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
no
r
malization
.
c: skew_to_positive
_
orthant: p
r
op
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
ome
g
a/con
v
e
r
t
.
cc: relatio
n
2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
occ: add d
u
mp for du
m
ping in barvinok_
e
numerate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
barvinok_enum
e
rate
_
e: optionally use p
a
r
ker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constr
a
ints: take constraint
s
inste
a
d
o
f
polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normalizati
o
n
.
c: extract sta
n
dard_cons
t
r
a
ints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaeg
e
parker/count_solutions
.
cc: fi
x
treatmen
t
of exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
e
u
ler
.
cc: evalue_derive: handle constant
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
add some tes
t
sets from cases 2004 and cc
2
0
05 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
rename barvinok_maxi
m
i
ze to b
a
r
vinok
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
add
a
test for test_
b
o
u
nd
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaeg
e
evalue_range_propagation: remov
e
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
t
est_boun
d
: record num
b
er of polynomials a
s
"s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test
_
bound:
c
onvert quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
t
est_bound: compare polynomial bound algor
i
t
h
ms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
veri
f
y
.
c: o
p
timum: handle inp
u
t
evaluatin
g
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: e
x
tr
a
ct evalue_optimum fr
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
verify
.
c: extract common c
o
de for
ver
i
fying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
evalu
e
_ra
n
g
e_pr
o
pagation
:
add mono
t
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok_maximize: opt
i
on
a
lly use (basic) ra
n
ge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
Add some suppo
r
t fo
r
d
e
aling with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barvinok
_
enum
e
rate: support use of Eule
r
-
M
a
cl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
implement Bernoull
i
_sum as
conversion fro
m
u
n
w
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_
s
um_eva
l
ue: expl
o
it i
n
teger bou
n
d
s to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
keep track of number o
f
B
e
rn
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
bernoulli
.
c: protect share
d
evalue fr
o
m mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test Be
r
n
o
ul
l
i sums based exac
t
enumera
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
barv
i
nok_
c
ount_wit
h
_
opt
i
on
s
: compute (e
x
a
ct) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
noulli_su
m
_evalue: o
p
tionally han
d
le fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolae
g
e
l
a
ttice_point
.
h: ex
p
ort fractio
n
al_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
oolaeg
e
b
arv
i
n
ok_en
u
merate_with
_
options:
c
omput
e
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_evalue:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernou
l
li_sum_ev
a
lue:
cut off some redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
Bernoulli_sum
_
eval
u
e: m
a
ke sure no e
m
pty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernou
l
li_sum_eval
u
e: remove
r
edunda
n
t
cons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
bern
o
ulli
.
c
: m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
noulli
_
s
u
m:
handle context const
r
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Berno
u
lli_sum_evalue: ma
k
e su
r
e
enoug
h
memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
f
or_each_l
o
wer_up
p
er_bound: add another ca
l
lbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
v
e
r
i
f
y
.
c: adjust default range to contex
t
if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
e
u
le
r
.
cc: summate_over_
d
omain: only consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ola
e
ge
param_util
.
c: export Param_Ver
t
ex_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
P
aram_
P
olyhedron_Fa
c
et: pass f
a
cet
def
i
ning con
s
t
r
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfu
n
.
cc: paral
l
el_
p
ol
y
topes: don't bo
t
her handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
v
alue_spl
i
t_domai
n
s_into_o
r
than
t
s: do
n
't reduc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
ool
a
ege
evalu
e
_read: only allow terms
to cross newline
s
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
evalu
e
_read: only accept
im
p
licit
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
evalue_r
e
ad:
a
ccept co
n
straints containin
g
"'-'
spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
evalue_bernstein_coefficients
:
ensure re
s
ult
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
bernstein:
piecew
i
se_lst: correctly
p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_
e
q
u
a
l
ities
:
keep removing pa
r
ameter
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ver
d
ool
a
ege
update
polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
doc: consiste
n
t use of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
doc:
u
pdate
n
o
w
publish
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each
_
lowe
r
_upper_bound:
a
llo
w
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdoo
l
aege
Re
v
ert "eadd_par
t
itions: try to combine m
u
ltiple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
laege
evalue_r
e
a
d
_
p
artition: put par
t
itions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
eval
u
e: reduce_eval
u
e
:
add note on s
o
me m
i
sse
d
op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
berns
t
e
in
.
cc: ha
n
dle input with unions + relation
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolaege
m
a
xim
i
ze
.
cc: deal with u
n
ions in inp
u
t
during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_substitut
e
: pr
o
perly handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
eva
l
ue
.
c
:
clean u
p
emul and ead
d
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
evalue_read:
correctly r
e
ad variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoola
e
ge
evalue_read
:
accept t
o
p lev
e
l
"re
l
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
lae
g
e
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoolaege
e
value
_
bac
k
substitute: add required modulo
constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdo
o
laege
evalue
.
c: *_partitions:
simplify
const
r
aints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more s
p
ecific information on buggy c
d
d
l
i
b versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
e
rdoolae
g
e
configu
r
e
.
in: require c
d
dlib 0
.
94e b
y
te
s
t
i
ng
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdool
a
e
g
e
c
o
nfi
g
ure
.
in: only compile
oc
c
if c
o
de_
g
en
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolaege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
ool
a
ege
add some tests for implement
a
ti
o
n of projec
t
ion th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: document new options and ne
w
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoola
e
ge
A
UTHO
R
S: update s
u
pport information
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
er
d
o
o
laege
genfun
.
c
c
:
s
h
o
r
t
_r
a
t:
:
print: correc
t
ly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Export series as bar
v
inok_en
u
me
r
ate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_pa
r
ameter
_
equaliti
e
s
: stop "rem
o
ving"
eq
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
s
e
ries:
leave freei
n
g of P arg
u
ment
t
o calling function
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
do
c
: document
i
mpl
e
m
entation
o
f
t
h
e projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
l
aege
add ba
r
vinok_enum
e
rate_e_series impleme
n
ti
n
g t
h
e projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdool
a
ege
g
e
n
f
u
n
.
cc: fix and document para
l
lel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Only compile zsolve if gcc 3
.
4
o
r later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
M
ov
e
GiNaC
-
independent part of
l
i
brary to b
a
r
v
ino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaege
p
olylib:
update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdool
a
eg
e
doc: how to count the
n
u
m
ber of elements
in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verd
o
olaege
d
oc/implementation
.
tex: avoid multiply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aege
lattice_width
.
c: try v
e
r
t
ices of previ
o
us integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc: document integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
h
u
ll
.
c: a
d
d all poi
n
ts found by sampling
d
ir
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
Possi
b
le optimizatio
n
s for generalize
d
basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
next