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
export neg_left_hermite
2007-10-25
Sven Verdoola
e
ge
ex
p
ort neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolaege
basis_reduction_cdd
:
check f
o
r possibly incorrect
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
P
olyhedron
_
Sa
m
ple: handl
e
polyhedron bec
o
ming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
do
o
laege
gen
_
fun::operator evalue
*
: always return a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
gen_
f
un
:
:
oper
a
tor
e
value *: remove c
o
m
m
ented
out debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvi
n
ok_e
n
ume
r
ate_e
.
cc: han
d
le verif
i
c
a
t
i
on of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
barvinok_enumerate_e: opt
i
onally print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_en
u
merate_
e
: s
u
ppo
r
t
ver
i
fic
a
tion of
g
ener
a
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
barvinok_enumerate_e: sup
p
ort con
v
ersion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
lattice_points: a
n
other
micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice
_
po
i
nts_fixe
d
: nano
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
aege
ge
n
_fun::add:
c
ontext of su
m
should be union
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
b
a
rvinok_enumerate: use verify infrast
r
ucture
f
or verif
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
genfun
.
cc: print_power: drop spaces around "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points
_
e: fall
b
ack
to count_point
s
if t
h
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Makefi
l
e
.
am:
che
c
k
-
evalue:
p
rint name
o
f
each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
r
d
oolae
g
e
verify
:
add chec
k
_
p
ol
y
_print helper functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun: make sur
e
context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
reducer:
:
reduce:
c
anoni
c
alize coef
f
ici
e
nts in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
short_rat::pri
n
t: correctly print
o
ut
t
erms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
barvinok_series: rechec
k
for e
q
ualities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
exp
o
rt Matrix_Rea
d
for reading Matr
i
x
from a s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pa
r
am
_
u
t
il
.
c: add
Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
util
.
c: suppo
r
ti
n
g_c
o
nstraints: re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
polylib:
u
pdate for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
option
s
.
c: use
Polyhedron_Sample for counti
n
g
infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
kee
p
tr
a
ck of and use satur
a
ting cons
t
r
a
i
nts in P
a
r
a
m_Poly
h
edro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move va
l
ue_gcd an
d
value_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bern
o
ulli_sum_evalue: only compute
exact
s
um if a
p
p
roximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
Bernoulli_sum_eval
u
e: sum over variables wi
t
h int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
evalu
e
.
c:
e
xport evalu
e
_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
Polyhedron_Exch
a
ngeColumn
s
:
normal
i
ze cons
t
rain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
rt Polyhedron_Exch
a
ngeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue_poly
n
o
m
ial:
optimize
e
valua
t
i
o
n in
z
ero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
eva
l
ue
.
c: emul: handle
a
nothe
r
s
p
e
c
ia
l
case
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
evalue
.
c
: eadd:
handle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
i
ntroduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
eval
u
e
.
c: e
a
dd: micro-
o
pt
i
m
i
ze a
d
dition o
f
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laege
sett
i
n
g an approxima
t
ion method
n
ow
i
mplies polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
barvin
o
k_summate: optionally use Bernoulli/Fau
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
r
do
o
laege
Bernoul
l
i_sum_evalue: use evalue_from_section_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok/polylib
.
h
: remov
e
compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oo
l
ae
g
e
m
ove
V
e
ctor_Op
p
ose to Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
ae
g
e
p
olytop
e
_s
c
an: reenable
-
-direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
rem
o
ve_a
l
l_equalit
i
es
:
kee
p
removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ve
r
d
oolaege
remove_all_equa
l
ities:
han
d
le
e
mpty pol
y
hedro
n
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoo
l
aege
remove_all_equa
l
ities
:
minor co
d
e
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
exp
o
rt
P
olyhed
r
on_Matri
x
_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
rdoolaege
p
o
lar_si
g
n
ed_cone_consumer:
c
lean up mem
o
ry on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_Product: fix use
o
f va
l
u
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n
Verdool
a
e
g
e
do
c
:
fix typo in Michele
Verg
n
e's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
Add missing files fro
m
polymake client t
o
d
i
stri
b
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd rather
than PolyLi
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
ol
y
m
ak
e
/README:
m
ention -
-
with-b
a
rvino
k
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
pol
y
make/Makefile
.
in: add work-around for polym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
evalue
.
c: print_evalu
e
: always
p
rint
n
ewline at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c:
fi
x
t
ypo in
--appr
o
ximation-method
descri
p
tion
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoo
l
aege
to
p
com: fix heuristic for
s
elec
t
i
n
g rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ve
r
doolaege
Mer
g
e br
a
n
ch 'top
c
o
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaeg
e
D
o
cume
n
t TOPCOM
b
ased chamber dec
o
m
p
osi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
test TOPC
O
M
c
hamber de
c
ompo
s
itio
n
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Optionally use TOPCOM t
o
compute
c
hamber
d
ecomposi
t
io
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
olaege
lexmin: add (protected) missing algo
r
it
h
m
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
S
v
en V
e
r
d
oolaege
Makefile
.
a
m
: add targe
t
for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
d
oc: update votin
g
theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
document
barvinok_summa
t
e and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: consi
s
t
ent use
of Barvi
n
ok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
d
oolaege
barvin
o
k_summa
t
e: correct options descriptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
r
doolae
g
e
Documen
t
Eu
l
er-Maclaur
i
n b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: change example environ
m
e
n
t
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Ve
r
doo
l
aege
doc
:
add some
hidden
se
c
tions to ta
b
le of c
o
n
t
e
n
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: anothe
r
document refering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
ad
d
some t
e
st
s
for Euler-Macl
a
urin
ba
s
ed summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdoolaege
Euler-Macl
a
urin based summation for
1D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
aege
Euler-
M
aclauri
n
base
d
summatio
n
fo
r
2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
d
ecomposer
.
cc: avoid
u
se of
h
al
f
-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvin
o
k
_
summat
e
: ve
r
i
f
y solution o
v
er whole para
m
e
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolaege
introduce barvinok_summate a
s
a wrapper fo
r
evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eval
u
e_{div,mul}:
h
andle some trivia
l
c
ases more
efficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
lattice
_
point:
export
f
ractional
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdo
o
l
a
ege
evalue
.
c:
e
xtract common code fo
r
cons
t
ruction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
v
olu
m
e
.
c:
e
x
port
P
a
r
am_
P
olyh
e
d
ron
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add evalu
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
fix
t
yp
e
of ev
a
lue_pol
y
nomi
a
l ar
g
ument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
sup
p
ort comp
u
tation of Bernoulli
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
separ
a
te comp
u
tation
o
f Bernoul
l
i coefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
la
t
tice
_
point:
use Param_Vertex_
C
ommon
_
De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
laege
ma
k
e decomposer
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoolaege
reduce_domain:
a
void use o
f
macro p
a
rameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
expo
r
t
e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
U
s
e p
i
plib
during basis
r
e
duct
i
o
n
if no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use bundled PolyL
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
ge
a
dd polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein:
a
ll
o
w li
n
kin
g
against uninstalled, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdo
o
l
a
ege
add mo
r
e mis
s
ing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
v
en
Ve
r
doolaege
a
d
d
d
u
m
my imp
l
ementations of fun
c
tio
n
s that depend
.
.
.
commit
|
commitdiff
|
tree
next