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
basis_reduction_cdd: check for possibly incorrect output from cddlib 0.94d
2007-10-25
Sven Verdoola
e
g
e
ba
s
is_r
e
du
c
t
ion_cdd: check for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
olyhe
d
ron_
S
am
p
le: ha
n
dle polyh
e
d
r
on becomin
g
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
g
en_fun:
:
operator evalu
e
*: alway
s
return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
gen_fu
n
::operator evalue *: rem
o
ve com
m
ented
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
ae
g
e
barvi
n
o
k_
e
n
u
merat
e
_e
.
cc: handle verific
a
tion
o
f problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rd
o
ola
e
ge
barvi
n
o
k
_enumerate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
ae
g
e
barvinok_enum
e
rate_e: support verif
i
cation o
f
gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ba
r
vinok_enum
e
ra
t
e_
e
:
support conversio
n
of genera
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
latti
c
e
_
p
oints: a
n
o
t
her micr
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
latti
c
e_p
o
ints_fixed: n
a
no-
o
pt
i
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fu
n
::add: context
of sum
s
houl
d
be
u
nion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate: use verif
y
infrastructure f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
genfun
.
cc: print_power: drop spaces a
r
o
u
nd "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
count_poi
n
ts_e: fall back to count_p
o
ints if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
Makefile
.
am: check-evalue: p
r
int name of e
a
ch
te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erd
o
olaeg
e
verify:
ad
d
check_poly_p
r
int helper fu
n
ct
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
r
d
o
o
laege
gen_fun: make su
r
e
c
ont
e
x
t
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
reducer::reduce
:
canonicalize coefficients
i
n
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_ra
t
::print: correctly p
r
int
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_s
e
ries: reche
c
k for
equ
a
lities
after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matri
x
_
R
ead for readin
g
Ma
t
rix from
a
st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_ut
i
l
.
c: add Param
_
Ve
r
tex_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
util
.
c
:
su
p
po
r
ting_
c
onstraints
:
return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyl
i
b: update f
o
r Matri
x
_E
x
t
en
d
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdool
a
ege
op
t
ions
.
c: use
P
o
lyhed
r
on_Sample for
co
u
ntin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
keep tra
c
k of
and use sa
t
urating
c
onstraints
i
n
Param_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
move value_gcd and val
u
e_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Bernoulli
_
sum_evalue: only compu
t
e
e
xact sum
if a
p
proximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
Bernoulli_s
u
m_evalue: sum over
v
a
r
i
a
bles wit
h
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
eg
e
evalue
.
c
: export eva
l
u
e_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
Polyhedron_ExchangeC
o
lu
m
ns:
n
or
m
ali
z
e
constrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
expo
r
t P
o
l
y
hedron_ExchangeColu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
evalue_p
o
lynomia
l
: optimize evalua
t
ion
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalue
.
c: emul: handle another
s
pec
i
al c
a
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue
.
c: eadd: handle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
introdu
c
e
a
nd
u
s
e evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c
: eadd:
m
icro-optimize
a
ddition of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
set
t
ing an approximation method now im
p
lies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
e
ge
barvinok_summate: o
p
tiona
l
ly use Be
r
noulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoull
i
_
s
u
m
_evalue:
u
s
e
evalu
e
_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/p
o
lylib
.
h: remove compatibility w
i
t
h old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoo
l
aege
mov
e
Vector_Oppose
to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
polytope_scan: reenable
-
-direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erd
o
o
l
aege
remov
e
_all_equalit
i
es: k
e
ep removing equalities
unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_al
l
_equalities
:
han
d
le emp
t
y po
l
yhedr
o
n detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
re
m
ov
e
_all_equalities: minor co
d
e
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaeg
e
expor
t
Polyhedro
n
_Matrix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sven
Verdoolaege
polar_s
i
gn
e
d_cone_
c
ons
u
mer: clean up m
e
m
o
r
y on inappropr
i
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ver
d
oolaege
Param
_
Inner_Pr
o
duc
t
: fix use of
v
alue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix typo in Michele Vergne's
n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
Add missing f
i
l
es f
r
om polymake client to distribution
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ver
d
oolaege
Use gmp
'
s
gcd rathe
r
t
han Pol
y
Lib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
polymake/READ
M
E: mention --wit
h
-barvinok co
n
figure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ver
d
o
o
l
a
e
ge
polyma
k
e/
M
akefil
e
.
in: add
w
ork-around for poly
m
a
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
erdoolaege
evalue
.
c: print_ev
a
lue: always print newline a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
opt
i
ons
.
c: fix typo
i
n --approxim
a
tion-me
t
hod descri
p
ti
o
n
commit
|
commitdiff
|
tree
2007-09-15
S
v
e
n Verdoolaege
topcom: fix
h
euristi
c
for selec
t
ing row
s
to u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolae
g
e
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merg
e
b
r
a
nc
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven
V
erdoo
l
aege
Document T
O
PCOM based ch
a
mber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOP
C
OM chamber decom
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optiona
l
ly us
e
T
OPCOM to compute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
V
er
d
oolaege
l
e
xmin: add
(
p
rotected) miss
i
ng algorithm inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdo
o
laege
Makefile
.
a
m
: add
t
a
r
get
f
o
r
c
r
eating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoola
e
ge
doc: up
d
ate v
o
ting th
e
ory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
docume
n
t ba
r
vinok_summate and
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
c
onsistent use of
Barvinok's initia
l
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
laege
barvi
n
ok_summate
:
correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
a
e
g
e
Document E
u
ler-Maclaurin bas
e
d summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdool
a
ege
doc: c
h
an
g
e ex
a
mp
l
e environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
d
oolaege
do
c
: add some hidden sec
t
ions
t
o tab
l
e of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
do
c
:
another document refering to the libr
a
ry
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoo
l
aege
a
dd some
t
ests
for Eule
r
-
Maclaur
i
n
ba
s
ed
s
umm
a
tion
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdool
a
ege
Eu
l
er-Maclaurin bas
e
d
s
ummation fo
r
1D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Euler-Macl
a
urin based summation for
2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
d
ecompo
s
er
.
c
c
:
a
v
oid use
o
f half-o
p
en cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
b
a
rvinok_summa
t
e: verify solution over w
h
ole parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
introduce ba
r
vin
o
k_summ
a
te
as a wrapper for
e
valu
e
_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolaege
add eval
u
e_mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
evalue_
{
div,mul}
:
h
a
ndle some t
r
ivial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
lattice_point: ex
p
o
r
t
fractional_p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
al
u
e
.
c
:
extract common co
d
e
for cons
t
ru
c
tion
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c
:
expor
t
Param_Polyh
e
dron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
o
laeg
e
add ev
a
lue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaeg
e
f
i
x
typ
e
of
e
value_po
l
ynomi
a
l a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
l
a
ege
support c
o
mp
u
tation
o
f
B
er
n
oulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
d
oolaege
separ
a
te
c
o
m
p
utation of Bernoulli coeff
i
ci
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
laege
l
a
ttice_po
i
nt: use
P
aram_Vertex_Common_Denominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoolaege
make
d
ecomposer
.
h
sel
f
-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduc
e
_d
o
main: avoid use of
m
acro paramet
e
r
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolae
g
e
export
evalue_
d
up
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
Use piplib during basis reduc
t
ion if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oola
e
ge
U
s
e bundle
d
piplib by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
add piplib modul
e
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
Use
b
undled PolyLib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add
p
o
l
ylib su
b
modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
bernste
i
n: all
o
w linking against uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven V
e
r
d
oolaege
add more
m
issing ass
e
rt
.
h #
i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy
implementations of functions that de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
g
e
update "Counting with ration
a
l gener
a
ting
functions
.
.
.
commit
|
commitdiff
|
tree
next