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
gen_fun::add: context of sum should be union of contexts of the terms
2007-10-25
Sven Verdool
a
ege
gen_fun::
a
dd: co
n
text of
s
um should be union of cont
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
ola
e
g
e
barvinok
_
enumerate: use
verify infrastruc
t
ure f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
genf
u
n
.
cc
:
prin
t
_power: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
count_po
i
n
t
s
_e: fall back to count_poi
n
ts if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aeg
e
M
akefile
.
am: check-e
v
a
l
ue
:
print nam
e
of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
ver
i
fy
:
add chec
k
_poly
_
print helpe
r
functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un:
make sure co
n
te
x
t is al
w
ays set
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
r
educer::
r
educe: cano
n
i
c
ali
z
e coefficients in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_
r
at::pr
i
nt: cor
r
ectly print ou
t
terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
b
arvinok_serie
s
:
r
echeck for equaliti
e
s
after comp
u
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laege
export Matrix_R
e
ad for readin
g
Mat
r
ix
f
rom a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
a
ram_
u
til
.
c: ad
d
Param_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
u
til
.
c: suppor
t
ing_const
r
aint
s
: r
e
turn bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaeg
e
polyli
b
: upda
t
e f
o
r Matrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
options
.
c: u
s
e P
o
lyhedron_S
a
mple for
c
oun
t
ing infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of and u
s
e saturating const
r
aint
s
i
n Param_Pol
y
hed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
mov
e
val
u
e_gcd and value_lcm to p
o
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Be
r
noulli_sum_evalue: only
compute exact sum if approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aege
Bernoulli_s
u
m_evalue: sum over
v
ari
a
bles with in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
evalue
.
c
:
ex
p
or
t
e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
Polyhedron_ExchangeC
o
lumns:
normalize c
o
nstra
i
nts aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyhedron_E
x
changeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue_polynomial:
o
pt
i
mize evalu
a
tion in zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c: emul: handle another spec
i
a
l c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: ea
d
d: h
a
ndle some s
p
ecial cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoo
l
aege
int
r
oduce
and use eva
l
ue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: ea
d
d: micro-optimize ad
d
ition
o
f two rati
o
nals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
a
e
g
e
setting a
n
approx
i
mati
o
n method now implies
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
b
a
r
vinok_
s
umma
t
e: o
p
tionally use
B
ernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
Bernoulli_sum_evalue: use evalue_from_secti
o
n
_
a
r
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
b
a
rvinok/polylib
.
h
:
remove
c
ompatibili
t
y with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
o
lae
g
e
mov
e
Vector_Opp
o
se
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
polytope_
s
can
:
reenable -
-
d
i
rec
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remo
v
e_all
_
equalities: keep removing
equalities unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
ae
g
e
remove_
a
l
l
_
e
qual
i
t
i
es: handle em
p
ty po
l
y
hedron d
e
t
e
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
lae
g
e
remove_
a
ll_equaliti
e
s: mi
n
or cod
e
clean-u
p
commit
|
commitdiff
|
tree
2007-10-20
S
v
en
Ver
d
oolaege
exp
o
r
t
Polyhedr
o
n_
M
atrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Verdo
o
l
aege
polar_signed_cone_consumer: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_Product: fix use o
f
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoola
e
ge
d
o
c: fi
x
t
ypo in
Michel
e
Vergne's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n V
e
rdoolaege
Add m
i
s
sing
fi
l
es
f
rom po
l
ym
a
ke client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ve
r
d
oolaege
Use
gmp's
gcd rather than
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
er
d
oo
l
aege
po
l
ymake/RE
A
DME: mention --w
i
th-bar
v
inok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
polymake/Mak
e
file
.
in: add work-aro
u
n
d for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
erd
o
olae
g
e
evalue
.
c: print_evalue:
a
lways print
n
ewline at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Verdo
o
laege
opti
o
ns
.
c
:
fix ty
p
o in --ap
p
roxi
m
ation-method
d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topc
o
m:
f
ix heuristic for sel
e
cting rows to u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
ba
r
vinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Merge br
a
nch 'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdoolaege
D
oc
u
m
e
nt TOPCOM based cham
b
er d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
S
ven V
e
rdoolaege
test TOP
C
OM ch
a
m
ber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoola
e
ge
Opti
o
n
a
lly use TOPCOM to comput
e
chamber decomp
o
sitio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
l
exmin: add (protected) mis
s
ing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Ver
d
oo
l
aege
Makefil
e
.
am: add target
f
o
r
cr
e
ati
n
g dis
t
w
i
th git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: update voting theory refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
docu
m
ent
barvinok_summate and b
a
rvi
n
ok_ma
x
imize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: cons
i
stent
u
se of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_summate: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olae
g
e
Docum
e
nt Euler
-
Maclau
r
in based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: change
e
x
ample environ
m
ent
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
d
o
c: add s
o
m
e
hidden sect
i
ons to
ta
b
le of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc
:
another doc
u
ment refering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolae
g
e
add so
m
e te
s
ts for
E
uler
-
M
a
claur
i
n based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdoola
e
ge
E
uler-Maclaurin ba
s
ed summation for 1
D
p
r
ob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
o
ol
a
e
g
e
Euler-Maclaurin
ba
s
ed summatio
n
f
or 2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
decomposer
.
cc: avoid use of half-op
e
n
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
barvinok
_
su
m
mate: ver
i
f
y solu
t
i
on over whole par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
introduce barvinok_
s
ummate
a
s
a w
r
apper fo
r
evalu
e
_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
a
dd evalue_mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
evalue_{div,mul}
:
handle s
o
me trivial cases more efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
l
at
t
ice_p
o
int:
e
xport fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
ev
a
lue
.
c: ext
r
act common code for constru
c
t
i
on b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
volume
.
c:
e
xport P
a
ram_Pol
y
hedron
_
Face
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
f
i
x type of evalue_polynomial
a
r
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
o
olaege
sup
p
ort computation of
B
e
rnoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
separat
e
computation
o
f
Bernoulli
c
oefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
o
l
a
e
g
e
lattice_p
o
int: u
s
e
Param_
V
ertex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
ma
k
e decomposer
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
reduce_domai
n
:
avoid use of macro parameter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
e
x
p
ort e
v
a
lue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
Use pipli
b
during ba
s
is reducti
o
n if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolae
g
e
Use b
u
nd
l
ed piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdool
a
ege
a
d
d
p
ipl
i
b
m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled Pol
y
Lib
b
y
d
e
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add
polylib su
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
bernste
i
n:
a
l
low linkin
g
against uninstalled,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoola
e
ge
a
d
d more mis
s
i
n
g as
s
ert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verdoolaege
add dummy i
m
plem
e
ntations
of f
u
nctions t
h
at depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaege
u
p
date "Cou
n
ti
n
g wi
t
h
rat
i
onal generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
ba
r
vinok
.
cc: s
p
lit
o
ff
part
constructing g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
r
doola
e
g
e
barvinok
.
cc: split off part dea
l
ing with e
x
iste
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n
V
e
rdoolaege
*count
e
r: av
o
id recom
p
utation
o
f
denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
co
u
nter: re
m
o
ve redu
n
dant me
m
be
r
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
cha
n
ge type of some
"sign"s
t
o i
n
t as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
lae
g
e
doc: update
Al
g
orithmica
p
u
bli
c
ation
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
Verdoolaege
e
value
.
c: mak
e
p
a
ramet
e
r
n
ames of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n
Ver
d
oolaege
sa
m
ple
.
c: Po
l
yhedron_RemoveFixedColumn
s
: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoola
e
g
e
util
.
c: remove_
e
qualit
i
es:
fix t
y
po
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdool
a
ege
Para
m
_Polyhedron
_
Print: print everything to gi
v
en f
i
l
e
.
.
.
commit
|
commitdiff
|
tree
next