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
rename summate.cc to barvinok_summate.cc
2007-10-25
Sven Verdoolaege
mov
e
v
alue_gcd
a
nd value_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doola
e
ge
Berno
u
lli_sum_eval
u
e: only compu
t
e
ex
a
ct su
m
if approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaeg
e
Bernoulli
_
sum_evalue: su
m
over variables w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c:
e
xpor
t
evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyh
e
dron_Exc
h
a
n
g
eColumns: normalize constraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
export Polyhedro
n
_
E
xchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
e
value_polynomial:
o
ptimize evaluation in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
ev
a
l
u
e
.
c: emul: handle another spe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue
.
c: eadd: h
a
ndle some spe
c
ial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
intro
d
u
ce and us
e
evalue
_
f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoo
l
aege
evalue
.
c
:
eadd: mi
c
ro-optimiz
e
addition of two ra
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
setting a
n
a
p
proximatio
n
method now implies polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_su
m
mate:
optionally
u
se Berno
u
lli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue: use eval
u
e_from_section_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok/polylib
.
h: rem
o
ve
compatibility with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
m
ove Vector_Oppos
e
to Po
l
yLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
olyt
o
pe_s
c
an: reenable --dir
e
ct op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
remove_all_equalities: keep removing equal
i
ties
unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
emove_all_eq
u
alities: handle empty polyhedron de
t
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
remo
v
e_
a
ll_equalities: minor
c
o
d
e clea
n
-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export
P
olyhe
d
r
o
n_Matrix
_
V
iew
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_signed_cone_c
o
nsumer:
c
l
ean
u
p m
e
mory on inappropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ve
r
doolaege
Param_In
n
er_P
r
oduct: fix us
e
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
e
r
doo
l
aeg
e
doc: fix typo in M
i
che
l
e
Vergne's nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Add m
i
ssing
files from
p
olyma
k
e
c
l
ient
t
o
d
istrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
S
ven
V
er
d
oolaege
Use gmp's gcd
rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
po
l
y
make/RE
A
D
M
E: mention --with-barvinok
co
n
figu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
polyma
k
e/Mak
e
file
.
in
:
add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
evalue
.
c: print_eva
l
u
e: always print
n
e
wline
a
t the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Verdo
o
lae
g
e
opti
o
ns
.
c: fix
t
ypo in --approximation-method descript
i
on
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix heuristic
f
or
s
e
lecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
b
arvino
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdoolaege
Me
r
ge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verd
o
olaege
Docu
m
ent
TOPC
O
M based
chamber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
t
est TOPCOM chamber decom
p
os
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
O
p
t
i
onally use
T
OP
C
OM to co
m
pute cha
m
ber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
l
ex
m
in: add (pr
o
t
ected)
m
issing algorithm incl
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
a
e
ge
Makefile
.
am: add target fo
r
creatin
g
di
s
t
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: update voting th
e
ory reference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
ge
document barv
i
nok_summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: consistent use
o
f
B
a
rvinok's ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_
s
ummate: cor
r
ect opt
i
ons des
c
ription
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Doc
u
ment Euler-Maclau
r
i
n ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
d
oc:
change exampl
e
e
n
vironme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
do
o
laege
doc:
add
some hidde
n
secti
o
ns to
tabl
e
of
c
ont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
o
ol
a
ege
doc:
another document refering to th
e
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
add s
o
me tests for
Eu
l
er-Maclaurin base
d
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
E
ule
r
-Maclaurin bas
e
d
summation
for 1D proble
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-
M
ac
l
aurin based summation fo
r
2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
d
e
c
o
mposer
.
cc: avoid
use of hal
f
-
open cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
barvinok_summ
a
te: veri
f
y solution o
v
er who
l
e
p
a
r
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
i
ntr
o
d
u
ce barvinok_summate as a wrap
p
er for eval
u
e
_
sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
add ev
a
lu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
eval
u
e
_
{div,mul}: hand
l
e some trivial
c
as
e
s more effic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdo
o
laeg
e
lattice_
p
oint: expo
r
t
fraction
a
l_p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
alue
.
c
:
e
xtract common code f
o
r co
n
stru
c
t
i
on b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
rdoolaege
volume
.
c
:
expo
r
t Param
_
Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
ae
g
e
fix ty
p
e of e
v
alue_polynomial
argument
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
su
p
port comp
u
tation
of Bernou
l
li pol
y
nomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
s
e
parate computation of Bernoulli
coeff
i
cients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoola
e
ge
latti
c
e
_point: use P
a
ram_
V
ertex_Common_D
e
nomin
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h se
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_
d
omain: avoid use
o
f
macro
pa
r
ameter with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export ev
a
lue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aege
Us
e
piplib during basi
s
reducti
o
n if
no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib
by d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdo
o
laege
add piplib mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
U
se
b
undled PolyLib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aeg
e
add polylib su
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein
:
allow linking against u
n
i
nstall
e
d, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verd
o
ola
e
ge
a
dd
m
ore mis
s
ing
a
sser
t
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Ver
d
oo
l
aege
ad
d
d
ummy
i
mplementations
o
f functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
pdate
"
Counti
n
g with rational gener
a
ting
func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdo
o
laege
barvinok
.
cc: split off part c
o
n
s
tructi
n
g generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoola
e
ge
barvinok
.
cc: s
p
lit off par
t
deali
n
g with exist
e
ntia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoo
l
aege
*counter: avoid recomputation of den
o
minators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
dool
a
ege
c
ounter:
r
emove redundant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
h
a
n
ge typ
e
of
s
ome
"sig
n
"s to
int as the
y
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: up
d
ate Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
eva
l
ue
.
c: mak
e
pa
r
amete
r
names o
f
ty
p
e const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
o
ol
a
ege
sa
m
ple
.
c: P
o
l
yhe
d
ron_RemoveFixedCo
l
u
mns: correc
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
u
til
.
c
: remo
v
e_equalities: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
Verdoolaege
Param_Polyhedron
_
Print: prin
t
everything to
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
barvinok
_
enumerate_with_
o
ptions: do
n
't add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Ver
d
oo
l
aege
barvinok
.
cc: don't f
r
ee P argu
m
ent in en
u
mer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
e
r
doolaege
r
e
move_all_equalitie
s
: also
remove equal
i
tie
s
in context
commit
|
commitdiff
|
tree
2007-07-29
S
ven V
e
rdoo
l
aege
v
o
lume
.
c:
avoid warn
i
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export Param_Inner_Pro
d
u
ct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
b
a
rv
i
nok_enumerate
.
cc: add
m
inimal check o
n
i
n
p
u
t
commit
|
commitdiff
|
tree
2007-07-20
Sv
e
n Verdool
a
ege
parser
.
l: remove definition of
y
ylineno
commit
|
commitdiff
|
tree
2007-07-20
S
v
en Verd
o
o
l
aege
remov
e
(recur
s
i
v
e
) depend
e
ncy o
n
isa project
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdo
o
laege
more prototype chan
g
es t
o
const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
r
doolaege
eval
u
e: prin
t
_evalue: make
p
arameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
a
ege
Always compile
p
olytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
doolaege
polytope_scan: use argp f
o
r ar
g
ument pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verdoolae
g
e
d
o
c:
fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
confi
g
ur
e
.
in: allow s
p
ecification
o
f defa
u
l
t prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaege
consolidate calls to Polyhedro
n
2
P
ara
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaeg
e
volume
.
c: fi
x
ty
p
o in comm
e
n
t
commit
|
commitdiff
|
tree
next