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
evalue_range_propagation: remove redundant polynomials from results
2008-03-31
Sven Verdoolaege
evalue_range_prop
a
gation
:
remove redundant polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
doola
e
ge
test
_
b
o
und:
recor
d
number of pol
y
nomials a
s
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test
_
bound: convert quasipolynomials
to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
test_bound:
c
o
m
pare polynomial boun
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
erify
.
c:
o
ptimum
:
handle input evaluatin
g
to n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
ver
i
fy
.
c: extract evalue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
verify
.
c: extract
common code for
veri
f
yin
g
o
p
era
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ra
n
ge_propagation:
a
dd
monotonic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvinok_max
i
m
i
ze: optiona
l
ly us
e
(basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add
some support for de
a
ling wi
t
h evalues that repre
s
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
barvinok_enumerate: su
p
port use of Eu
l
er-Macl
a
u
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
mpl
e
ment Bernoulli_s
u
m as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
ernoulli_sum_evalue: exploit
integer bou
n
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
keep track
o
f nu
m
b
er of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
bernoulli
.
c: prote
c
t shared evalue fro
m
mo
d
ifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
test
Be
r
n
o
ulli sums based exact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
barvinok_c
o
unt
_
with_o
p
tions: compute (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
ae
g
e
B
e
r
n
oulli_sum_evalue: optionally handle
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
lattice_point
.
h
:
export fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_
e
nu
m
erat
e
_with_o
p
tio
n
s:
c
o
m
pute (exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
e
rnoulli_
s
um_ev
a
lue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
B
e
r
nou
l
li_sum_evalue: cut off some red
u
n
d
ant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoul
l
i_sum_e
v
alue: make sure no empty p
a
rtitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
eg
e
B
e
rnoulli_s
u
m
_
evalue: rem
o
ve re
d
u
ndant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor
r
efactoring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
Bernoulli_sum
:
handle con
t
e
x
t
constraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_evalue: make sure
enough memory i
s
allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_lower_upper_bo
u
nd: add anothe
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
dool
a
ege
ver
i
fy
.
c: adjust default range to c
o
n
t
ext if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: summate_over_doma
i
n: only cons
i
der actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
p
aram_u
t
il
.
c: exp
o
rt
P
a
ra
m
_Verte
x
_Set_
F
ac
e
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhed
r
on_Facet: pass fa
c
e
t
d
e
f
ining
c
onstrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
genfun
.
cc: paral
l
el_polytopes: don
'
t
b
othe
r
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domains_into_ort
h
a
n
ts: don't reduc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rea
d
: onl
y
allow t
e
rm
s
to cross
new
l
ines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
ev
a
lue_re
a
d
: only accept implicit
multiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
e
v
alue_read: accept con
s
tr
a
i
nts containing "
'
-'
s
pa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
ev
a
lue_b
e
r
n
stein_coef
f
icients: e
n
s
u
re result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaeg
e
be
r
nstein: pie
c
ewise_lst: correctl
y
print and
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aege
remove_all_equalit
i
e
s: keep removing paramete
r
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
erdo
o
laege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
:
c
on
s
iste
n
t u
s
e o
f
Kevin's in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
for_e
a
c
h
_lowe
r
_
u
pp
e
r_bound: allow a
b
s
ence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
Revert
"eadd_partitions: t
r
y to combine mu
l
ti
p
le doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalu
e
_read_part
i
tion: pu
t
partitions back
i
n t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdo
o
laege
evalue:
r
educe_evalue: add note on
some missed opportu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle input w
i
th unions + r
e
lat
i
on
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verd
o
olaege
maximize
.
cc: deal
with
union
s
in input
during veri
f
icatio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
ev
a
lue_s
u
bstitute: properly handle rel
a
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rd
o
o
l
aege
evalue
.
c
: clean up emu
l
and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
Verdo
o
laege
e
v
alue_read:
correctly
rea
d
vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
oolaege
evalue_r
e
a
d: accept top leve
l
"re
l
a
tio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolae
g
e
eval
u
e_backsubst
i
tute
:
add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaeg
e
evalue
.
c:
*_par
t
itio
n
s: sim
p
l
ify cons
t
raints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n
Verdoolaege
d
oc: more
spec
i
fic
i
nf
o
r
m
ation on bug
g
y cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoolaege
configure
.
in: require cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven
Verd
o
o
l
aeg
e
conf
i
gure
.
in
:
only compile occ
if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
g
e
ad
d
som
e
tests for i
m
plementati
o
n of p
r
o
j
ection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
o
olae
g
e
doc: docume
n
t new opti
o
ns and new applica
t
io
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
AUTHORS: update suppo
r
t i
n
fo
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfun
.
cc: short_r
a
t
:
:pri
n
t:
c
orrectly print
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Export seri
e
s as ba
r
vi
n
ok
_
e
numerate
_
s
e
r
ies and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
rem
o
ve_para
m
eter
_
equalities: stop "r
e
m
o
ving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
d
o
olaege
seri
e
s: leave freeing of P argument to calling
f
u
nct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
doc: do
c
ument implemen
t
a
t
ion of the proje
c
tion theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add barvinok_enumer
a
te_
e
_
ser
i
e
s implementing the p
r
o
j
e
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genfun
.
cc
:
fix and doc
u
ment
par
a
ll
e
l pol
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Onl
y
compile zsolve if gcc 3
.
4 or
later is ava
i
lab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
v
e G
i
Na
C
-
i
n
d
ependent
p
a
rt of l
i
br
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc: how to count
t
he numb
e
r of elemen
t
s in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoola
e
ge
doc/implem
e
ntat
i
o
n
.
te
x
: avoi
d
multi
p
l
y defined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
lattice_wi
d
th
.
c: try vertic
e
s of pr
e
vi
o
us intege
r
hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: documen
t
integer hull
c
o
m
put
a
t
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdo
o
laeg
e
hull
.
c: ad
d
all poi
n
ts found by sampling
d
irectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible
o
ptimiza
t
ion
s
for genera
l
ized basis reduc
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Support
use o
f
generalized
b
asis reduction t
o
comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
a
d
d Polyhe
d
ron_I
n
te
g
er_Minimu
m
for c
o
mputing the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc: docum
e
nt g
e
neral
i
zed basi
s
reduction
b
ased integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ola
e
ge
doc/barvi
n
ok
.
bib: add
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoolaege
add more m
i
ssing a
s
sert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
r
doolaeg
e
evalue
.
c: add missing include of all
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
in: pa
s
s pat
h
of GMP install
a
tion to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdool
a
ege
c
o
nfigure
.
in
:
o
nly
c
ompile libba
r
v
i
nok as
a
s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
o
olaege
Polyhedr
o
n_Reduc
e
d_B
a
sis:
d
on't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
compute_width_directions: o
n
ly kee
p
l
ist of dis
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
g
e
zsolve: don't insta
l
l
li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdo
o
laege
ver
s
ion
.
c: show u
s
e of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
c
o
nfigure
.
in: don't set wit
h
_{pol
y
,pip}
l
i
b
_
p
refix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
eg
e
Po
l
yhe
d
ron_Sample: be satisfied
w
ith a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
g
e
cone_
i
n
t
eger_h
u
ll: optionall
y
p
r
in
t
s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdo
o
laege
basis_redu
c
tio
n
:
k
eep track
o
f
n
umber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
laeg
e
option
s
:
m
ove --
p
r
i
nt-stats to li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ver
d
oolae
g
e
bernstei
n
: rework t
e
st
i
ng fra
m
e
w
ork to n
o
t depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoo
l
aege
bernstein:
add
piec
e
wise_lst::i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer
v
ersions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ve
r
doolaege
standar
d
_constraints: move fr
o
m topc
o
m
.
c
t
o
pol
y
sign
.
c
commit
|
commitdiff
|
tree
next