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
barvinok_enumerate_e: optionally use parker's method
2008-04-03
Sven Ver
d
ool
a
ege
b
a
r
vinok_enumerate_e: optionall
y
us
e
park
e
r's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
sta
n
d
ard_constraints: tak
e
c
onstraints i
n
s
t
ead
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
n
o
rmal
i
zation
.
c: ex
t
ract
s
t
a
ndard_cons
t
raints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Ve
r
doola
e
g
e
parker/co
u
nt_sol
u
tio
n
s
.
cc: f
i
x treat
m
en
t
o
f existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
compile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c:
evalue_de
r
i
v
e
:
han
d
le
c
onstant
polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add
s
o
me
test sets from cas
e
s 20
0
4 and
cc
2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
re
n
a
m
e
barvino
k
_maxim
i
ze to
b
arv
i
nok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add
a
test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
e
v
alue_r
a
nge_pro
p
a
g
ation: remove redun
d
ant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rd
o
olaege
test_bound:
record
num
b
er of polynomials a
s
"s
i
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
test_boun
d
: co
n
v
e
rt q
u
a
s
ipolynomials to po
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bound: compare polynomi
a
l bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: optimum: h
a
ndle input eval
u
ating t
o
negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
verify
.
c:
extr
a
ct evalue_op
t
imum
f
r
om maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
verify
.
c: extract common
c
o
d
e for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verd
o
olaege
evalue_ran
g
e_propa
g
ation: add
m
o
n
oto
n
icity
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvi
n
ok_ma
x
imize: optionally use
(basic) rang
e
p
rop
a
gatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add
s
o
me support for deal
i
ng with e
v
alues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvi
n
ok_enumerate: suppor
t
use of Euler-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imple
m
ent Bernoulli_
s
um as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
Bernou
l
l
i
_
sum_e
v
alue
:
exploit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
k
eep track
of number of
Bernoulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoulli
.
c: protect shared
evalu
e
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test Bern
o
ulli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
barvinok
_
count_with_o
p
tions: compute (exa
c
t) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
Ber
n
o
ulli_sum_evalue:
o
ptio
n
ally handle fr
a
c
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
lattice_point
.
h:
e
xport
fra
c
tional_part
with C li
n
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
ba
r
vino
k
_enumerate_wi
t
h_options: compute (
e
x
act) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_eva
l
u
e
:
han
d
le equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
B
ernoulli_s
u
m_
e
v
a
lu
e
: c
u
t o
f
f
s
ome
redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: make sur
e
n
o empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: remove re
d
undan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
berno
u
lli
.
c: mino
r
refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Be
r
noulli_sum: h
a
ndle con
t
ext
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_lower_uppe
r
_
b
ou
n
d
:
add anot
h
er
c
allb
a
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c: adjust default
range to c
o
ntext if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
e
uler
.
cc: su
m
m
ate
_
over_domain: only consid
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
param_util
.
c
:
expo
r
t P
a
ram_Ver
t
ex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Pa
r
am_Pol
y
h
e
d
ro
n
_Fac
e
t:
p
ass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: paralle
l
_polytopes: don't bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_split_domains_into
_
orthan
t
s:
don't re
d
uce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
ev
a
lue_read: on
l
y
a
l
l
o
w
terms to cross new
l
ines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
ev
a
lu
e
_read: only a
c
c
e
pt imp
l
icit
multiplication
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
e
value_read: accept
con
s
train
t
s containing
"
'
-
'
s
p
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_bernstein_co
e
f
f
icients: ens
u
re r
e
sul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdoolaege
bernstei
n
:
piecewise_lst: corre
c
tl
y
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove
_
all_e
q
ualitie
s
: keep r
e
moving p
a
r
a
meter equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
oolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc: consis
t
en
t
use
o
f
K
evin's in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolae
g
e
doc:
u
p
d
ate
n
o
w
pu
b
lished pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
for_each_lowe
r
_
upper_boun
d
: allo
w
abs
e
n
c
e
of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdool
a
ege
Revert
"
eadd_p
a
rti
t
ions
:
t
ry to comb
i
ne multipl
e
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_r
e
ad
_
partiti
o
n: put pa
r
t
i
tions b
a
ck in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoo
l
aege
e
value: red
u
ce_evalue: add
n
o
t
e on s
o
me mi
s
sed opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
b
e
rnstein
.
cc: handle input with unions
+ relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
ma
x
imize
.
cc: dea
l
w
ith unions i
n
i
n
put during verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_su
b
s
tit
u
te: p
r
o
p
erly handle
re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
doolaege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_read: corr
e
ctly read variable na
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue_read: accept top lev
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ver
d
oolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoolaege
evalue_
b
acksubstitute:
add required m
o
dulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
S
ven V
e
rdoolaege
evalue
.
c: *_partitions: s
i
mplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolaege
doc:
m
ore specific
informatio
n
on buggy cd
d
lib version
s
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verd
o
olaege
configure
.
i
n
: r
e
quire cddlib 0
.
94e by tes
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
configure
.
in:
o
n
l
y compile o
c
c if code_g
e
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
b
a
rvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
add some
t
e
s
ts for implementa
t
ion of proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
V
e
rdoolae
g
e
do
c
: d
o
cumen
t
new options and
n
ew app
l
i
cati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUT
H
ORS: update su
p
por
t
in
f
orm
a
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
genfun
.
cc: sho
r
t_ra
t
::p
r
int: c
o
r
r
ectly print polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
Export
series as barvinok_enumerate_
s
eries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
remov
e
_parameter_equalities: s
t
o
p "removi
n
g" eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolae
g
e
series: leave freeing of P argument to calling
function
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
doc:
d
ocument implemen
t
atio
n
of
t
h
e projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
add
b
arvino
k
_enumerate_e_serie
s
implementing t
h
e project
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfun
.
c
c:
fix
a
n
d
document
p
arallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
Move GiNaC-independent par
t
of library to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
lae
g
e
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc: h
o
w
t
o
c
ount the numb
e
r of elements
in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoo
l
aege
doc/implemen
t
a
t
ion
.
tex: avoid
multipl
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoo
l
a
ege
l
a
t
t
ic
e
_width
.
c: try verti
c
es
o
f previo
u
s integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c: document i
n
teger hull comput
a
tio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add
a
ll
po
i
nts foun
d
by sampling d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolae
g
e
Po
s
sible optimizations fo
r
generalized ba
s
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
Support use of
g
eneralized b
a
sis redu
c
tio
n
to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
ad
d
Pol
y
h
e
dron_Integer_Minimum for computing
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaege
doc: documen
t
ge
n
eralized basis
reduction based in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
doc/barvinok
.
bi
b
: add mis
s
ing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
d
oolaege
a
d
d more missing
as
s
er
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
confi
g
ure
.
in: only
compile libbarvinok as
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
Polyhedr
o
n
_Red
u
ce
d
_Basi
s
: don't s
t
op too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
c
o
mpu
t
e
_
w
idth_directions: only keep list of
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
ola
e
ge
zsol
v
e: don't install lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
version
.
c: show
u
se o
f
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: d
o
n't set wi
t
h
_
{poly,pip}lib_
p
refix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
Poly
h
edr
o
n_S
a
m
p
l
e:
b
e sa
t
isfied with a reasonable c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
o
n
e_inte
g
e
r
_
hull:
opti
o
nally pri
n
t
s
tats
commit
|
commitdiff
|
tree
next