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_bernstein_coefficients: ensure result partitions the domain
2007-10-25
Sven Verdoolaege
gen_
f
un::operator
evalue *: always retu
r
n
a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
g
e
n
_fun::operator evalue *: remove
co
m
me
n
ted out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
barvin
o
k_en
u
merat
e
_
e
.
cc: han
d
le verification
of
p
roblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok_enumerate
_
e: option
a
lly print
st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate
_
e: support v
e
rificat
i
on of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
barv
i
nok_enumerate_e: sup
p
o
rt conversio
n
of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
lattice_p
o
ints:
anot
h
er micro-opti
m
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
lat
t
ic
e
_po
i
nts_f
i
xed: nano
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun::add: context of sum s
h
ould be u
n
i
on of
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
ae
g
e
barvinok_enumerate: use v
e
rify
i
nfrastru
c
ture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
doolaege
genfun
.
cc: p
r
int_power: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
co
u
nt_poin
t
s_e
:
fall back
t
o coun
t
_poi
n
ts
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Makefile
.
am: check-evalue: pr
i
nt name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
verify: add chec
k
_
poly_prin
t
helpe
r
f
unction
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
ge
n
_
fun: make sure context
i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
red
u
cer
:
:re
d
u
ce
:
c
an
o
ni
c
alize c
o
eff
i
cients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdool
a
ege
s
hort_ra
t
::print: co
r
re
c
tly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ba
r
vinok_series: reche
c
k
for equa
l
ities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
expo
r
t
Matrix_Read
for reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
param_util
.
c: ad
d
P
aram_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doola
e
g
e
ut
i
l
.
c: supporting_const
r
aints: return bit
v
e
c
tor
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
polylib: update for
Mat
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
options
.
c
:
u
se Polyhedron_Sample
for
c
ounting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
k
eep tr
a
ck of and us
e
satura
t
ing constra
i
nts
i
n Param_Po
l
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
mov
e
va
l
ue_gcd and value_lcm to
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue: only compu
t
e
e
xact su
m
if appro
x
imatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
B
e
rnoulli_sum_evalue:
s
um over v
a
ri
a
b
les
w
ith int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeColumns:
n
o
r
m
alize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
export Polyhedro
n
_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue_po
l
ynomial: opti
m
ize evaluation in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
evalue
.
c: emul: handle another speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
e
v
alue
.
c
: eadd
:
handle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introduce and
u
se evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue
.
c: ead
d
: micro-op
t
imize addi
t
ion of two
r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sett
i
ng an approximation method now
i
m
p
l
i
e
s
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvinok
_
su
m
mate: o
p
tionally use B
e
rnoulli
/
Faul
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
B
e
rnoull
i
_sum_evalue: use eva
l
ue_from
_
secti
o
n_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
er
d
oo
l
a
ege
b
arvinok/polylib
.
h
: re
m
ove compatibility
w
ith ol
d
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
move Vecto
r
_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
po
l
yt
o
pe
_
scan:
re
e
nable --direct
o
ptio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
remove_
a
ll_equal
i
t
ie
s
: keep removi
n
g equalities unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equ
a
l
iti
e
s: ha
n
dle em
p
t
y polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
remove_
a
ll_equa
l
ities: m
i
nor c
o
d
e cl
e
an-u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
export
Pol
y
hedron
_
Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoo
l
aege
p
o
la
r
_
signed_co
n
e_consumer: cl
e
an up memory on inappropri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaeg
e
Para
m
_In
n
e
r_Product
:
fix use of value_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
S
v
en
V
erdoolae
g
e
do
c
: fix
typo in Michele Ve
r
gne's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
A
d
d mis
s
ing
f
iles from p
o
l
ymake
c
lient to
distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdool
a
ege
Use gmp's gcd rath
e
r
than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
polymake/READ
M
E
:
me
n
tion --with-barvin
o
k configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
o
lae
g
e
poly
m
a
ke/Makefil
e
.
i
n
:
add w
o
rk-
a
round for
p
olymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ve
r
doolaege
evalue
.
c: p
r
int_ev
a
l
ue: alway
s
p
rin
t
newline
a
t the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdo
o
laege
options
.
c
:
fix typo in
-
-approxima
t
ion-method description
commit
|
commitdiff
|
tree
2007-09-15
S
v
en
Verdoolaege
topc
o
m: fix heurist
i
c
f
or selecting rows
t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
M
e
rge
b
ran
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
D
ocumen
t
T
OPCOM based c
h
amber
d
ecom
p
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
test TOPCOM cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
r
do
o
laege
Optionally use TOPCOM to
c
ompute chambe
r
d
e
c
o
m
p
osition
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
rdoola
e
g
e
lexmin: ad
d
(protect
e
d) mis
s
ing algorithm i
n
c
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
M
a
k
efile
.
am: add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaeg
e
doc: update votin
g
the
o
ry reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
aege
doc
u
me
n
t barvino
k
_summate a
n
d barvin
o
k_
m
aximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
a
e
g
e
d
o
c
: consistent
use of Barvinok's ini
t
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
bar
v
inok_su
m
mat
e
: corre
c
t o
p
tions des
c
ription
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoola
e
g
e
Doc
u
m
e
nt
Euler-Macla
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoo
l
aege
doc: c
h
ange exam
p
le e
n
vironm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: a
d
d some hidden
s
ection
s
to table of c
o
ntents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc
:
anoth
e
r d
o
cument refe
r
ing to the library
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaeg
e
add some tests
f
o
r Eul
e
r
-
Maclaurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler-Ma
c
laurin based summation for 1
D
pr
o
blems
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
Euler
-
Macl
a
urin based summat
i
on
for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdo
o
l
ae
g
e
dec
o
mposer
.
cc:
av
o
id use of hal
f
-
o
pen
con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
arvi
n
ok_summate: ve
r
ify so
l
ution over whole paramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
i
n
troduce barvinok_summate
a
s
a
wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add e
v
alue_mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
e
val
u
e_{div,mul}: han
d
le some triv
i
al c
a
ses
m
ore e
f
fic
i
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
lattice_poi
n
t
:
e
x
por
t
fra
c
t
ional_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extract common code
f
or co
n
struct
i
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
vol
u
me
.
c
: export P
a
ram_Polyh
e
dron_Fa
c
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
l
a
eg
e
ad
d
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
fix t
y
pe of evalue
_
p
o
lyno
m
ial
argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
suppo
r
t compu
t
at
i
on of Bern
o
ul
l
i polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
separate
computation of B
e
rnoull
i
coeffic
i
ents
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
l
attice_point: use
Param_Ve
r
tex_Com
m
on
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
make deco
m
poser
.
h
s
elf-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
r
educe_domain:
a
void
use of m
a
cr
o
par
a
meter with
na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaeg
e
expo
r
t eval
u
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdo
o
laege
U
se piplib during b
a
sis
reduction if
n
o other
LP
s
ol
v
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
U
se
b
u
n
dled piplib
by
defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
Use bundled Poly
L
ib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolaege
add
polylib su
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaeg
e
bernstei
n
:
allow linking
a
g
ains
t
uni
n
s
t
alled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verd
o
olaege
a
d
d mo
r
e missing
a
ssert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-08-29
Sven
Verdoolaege
add dummy im
p
lementa
t
ions of f
u
nctions t
h
at depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoola
e
ge
update "Counting wi
t
h
rational generating fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
c
c: split
o
ff part construc
t
ing ge
n
era
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
bar
v
i
nok
.
c
c
:
spli
t
off part dea
l
ing with existentia
l
.
.
.
commit
|
commitdiff
|
tree
next