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
euler.cc: evalue_derive: handle constant polynomials
2008-03-31
Sven Verdoolae
g
e
eu
l
er
.
cc: eval
u
e_d
e
ri
v
e: handle constant
p
olynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaeg
e
a
dd so
m
e te
s
t sets from cas
e
s
2
004 and
cc
2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
a
e
ge
r
e
n
am
e
barvino
k
_ma
x
imize to ba
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test f
o
r test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_ra
n
g
e
_propagation: re
m
o
ve redundant p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
oolaege
test_bound: record number of polyno
m
i
a
ls as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: convert quasip
o
ly
n
omi
a
ls to po
l
ynom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
tes
t
_bound: compa
r
e polynomi
a
l bound algori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
i
fy
.
c: optimum: handle input ev
a
luating
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
verify
.
c: ex
t
ract evalue_
o
ptimu
m
from maxi
m
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verify
.
c:
e
x
tract
c
o
m
mon code
f
or verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_range_pr
o
p
a
ga
t
io
n
:
a
dd mon
o
tonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdo
o
laege
b
a
rvinok
_
maximiz
e
:
o
ptionally use (basic)
range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd s
o
m
e suppor
t
for deali
n
g wit
h
evalues that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok_enumerate
:
support use of E
u
ler-Macl
a
uri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
implement Bern
o
ulli_sum as c
o
nversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
Bernou
l
li_sum
_
eva
l
ue: expl
o
i
t integ
e
r bounds
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
keep t
r
a
ck of
number of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdool
a
ege
berno
u
lli
.
c: pr
o
t
e
ct s
h
are
d
evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
B
ernoull
i
sums
base
d
exact enu
m
e
r
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok_co
u
nt_with_o
p
tions: compute (exa
c
t
) Ber
n
oull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_evalue: optionally h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
lat
t
i
c
e_point
.
h: export fr
a
ction
a
l_part with
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barv
i
nok_enumerate_with_
o
p
tions: compute (e
x
a
c
t)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaeg
e
Bernoulli_
s
um
_
eval
u
e: handle equali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
o
laege
Bernou
l
li_sum
_
evalue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
ernoulli_
s
um_evalue
:
make sure no empty pa
r
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
Bernoulli_sum_evalue: r
e
move redundant co
n
straint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
berno
u
l
li
.
c
: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
oolaeg
e
Bernoull
i
_s
u
m: h
a
ndle context
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_ev
a
lue: ma
k
e sure en
o
ugh mem
o
r
y is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
for_each
_
lower_
u
pper_bo
u
nd: add
a
n
o
ther
c
all
b
ack fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
v
e
rify
.
c
:
adj
u
s
t default
r
an
g
e to contex
t
if n
e
e
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: summate_ove
r
_doma
i
n: only consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
pa
r
am_
u
til
.
c
:
export P
a
ram_Vertex_
S
e
t
_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Facet: p
a
s
s facet defining cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
doolaege
g
enfun
.
cc:
p
arallel_polyt
o
p
e
s: don't bo
t
her handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domains_
i
nto_orthants: do
n
't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
evalue_read: only a
l
l
ow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
d
oolaege
ev
a
lue_r
e
ad:
on
l
y
a
c
c
ep
t
i
mplicit
m
ultiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: accept
cons
t
raints co
n
tain
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdo
o
laeg
e
evalue_bernstein_coefficients: ensu
r
e
result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
be
r
nstein: piece
w
ise_ls
t
:
c
orrectly
p
rint and
e
val
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalitie
s
: keep removing
parame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doolaege
upda
t
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
doc: c
o
n
s
i
stent
u
se of Kevin's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
oolaege
d
oc: update no
w
published p
a
per
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoo
l
aege
for_e
a
ch_lower
_
up
p
er_bound: allow
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Re
v
ert
"
e
add_part
i
tions: try to combi
n
e
mult
i
ple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoo
l
aege
evalue_read_partit
i
on
:
put
p
artitions
b
ack in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue:
r
educe_
e
value: add note on
some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
bern
s
tein
.
cc:
handle in
p
ut with un
i
o
n
s
+ relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
aximize
.
cc: d
e
al with
unio
n
s i
n
input during verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdool
a
ege
e
v
a
l
u
e
_substitute: prope
r
l
y
ha
n
dle relations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doolaege
e
value
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
evalu
e
_read:
co
r
re
c
tly
read v
a
r
iable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
e
rd
o
olaege
e
v
alue_read: acce
p
t
t
op
level "re
l
a
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
update
poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdoola
e
ge
eva
l
u
e_b
a
cksubst
i
tu
t
e:
a
dd required
modulo constr
a
in
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
value
.
c:
*
_
p
artitions: simplify
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more spec
i
f
i
c in
f
ormat
i
on on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
V
erdoo
l
aege
confi
g
ure
.
in
:
requ
i
re cddlib
0
.
94e by t
e
sting f
o
r b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: only compile occ if
c
od
e
_
g
en libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
b
a
rvin
o
k
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolae
g
e
add some test
s
f
o
r
i
mplementation of projecti
o
n t
h
eo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaeg
e
doc: document new
opt
i
ons and new appl
i
cati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
AUTHO
R
S
:
u
p
d
ate
support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
g
enfun
.
cc: short_rat::pri
n
t:
co
r
r
ectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
E
x
p
ort
s
e
r
i
es
as barvin
o
k_enu
m
era
t
e_series and
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
remove_parame
t
e
r
_
equ
a
lities: sto
p
"removin
g
" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
s
e
ries: le
a
ve
f
reeing of P argument to ca
l
ling fu
n
cti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
doc: document i
m
pleme
n
tation of the projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
add barvinok_enumera
t
e_e_serie
s
implementin
g
t
he projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
gen
f
un
.
cc: fi
x
a
nd do
c
u
m
ent paral
l
e
l
pol
y
top
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
Only compile
z
solve i
f
gcc 3
.
4 or la
t
er i
s
available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
v
e GiNaC-ind
e
pend
e
nt p
a
rt of
l
i
br
a
ry
to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaege
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
o
olaege
doc: how to count the
n
u
m
b
e
r o
f
e
lements
i
n pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c/
i
mp
l
em
e
ntation
.
t
e
x: avoi
d
multiply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdool
a
e
ge
latti
c
e_
w
idth
.
c: try
v
ertices
of pr
e
vious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
doola
e
ge
doc: document int
e
ger hull
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
hu
l
l
.
c: ad
d
a
ll points f
o
und by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Po
s
s
i
b
le
op
t
imizatio
n
s f
o
r ge
n
eraliz
e
d basis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
ool
a
ege
Support use of g
e
neralize
d
basis r
e
du
c
tion to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
a
d
d
Polyhedron_Integer
_
Minimum for computing t
h
e integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
doc: document ge
n
e
ralized basis red
u
ction b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc/barvinok
.
bib: add mi
s
sin
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
add more missing
assert
.
h #in
c
l
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verd
o
ol
a
ege
evalue
.
c
: add
missin
g
in
c
lude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en V
e
rdoolaege
co
n
f
i
gure
.
in: pass path of GMP
installat
i
on to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
n
figure
.
in: only compi
l
e libba
r
vinok as
a
s
tatic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
Po
l
yhe
d
r
on_Reduced_B
a
sis
:
don't
stop too
e
arly w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
g
e
c
omput
e
_width_direc
t
ions: on
l
y
keep list of dist
i
nc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdo
o
l
a
ege
zs
o
lve:
d
on't inst
a
ll l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
ve
r
sion
.
c: show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
con
f
igur
e
.
in: d
o
n
'
t set with_{poly,pip}lib_pref
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
oolaege
Polyhedron_Sample: be satisfied with a reasonabl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
ool
a
e
ge
cone_i
n
teger_hull: optionally p
r
i
n
t
s
t
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
basis_red
u
ct
i
o
n:
k
e
ep
tr
a
c
k of number of LPs so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoolaege
opti
o
ns: move
--print-stats to library
commit
|
commitdiff
|
tree
next