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 Verdoo
l
aege
ba
s
is_reduction
_
cdd:
c
h
ec
k
f
o
r possibly
i
ncorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
Poly
h
edro
n
_Sample: handle polyhedro
n
becoming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
g
e
gen_fun::ope
r
at
o
r
e
val
u
e *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun::op
e
r
at
o
r evalu
e
*: re
m
ove commented o
u
t debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k
_enumerate_e
.
cc: ha
n
d
l
e verification
o
f probl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
e
numerate_e: optionally print
s
t
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvinok_enumerate
_
e
:
suppor
t
v
e
rif
i
cation of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate_
e
: support conversion of
ge
n
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
lattice_po
i
nts: another mi
c
ro-optimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
l
at
t
ice_poi
n
ts
_
fixed: nano-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
a
d
d
: context of
s
um sho
u
ld be union
o
f
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_enumerate: use verify i
n
fras
t
ruc
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen
f
un
.
cc: pri
n
t_power: drop space
s
ar
o
und "/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
cou
n
t_points_
e
: fal
l
back
t
o count_poi
n
ts if
t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
M
a
k
efil
e
.
a
m: ch
e
c
k-evalue:
prin
t
name of
each tes
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
verify: add check_poly_pri
n
t help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
g
e
n
_
fun:
m
ake sure
c
ontex
t
is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoola
e
g
e
reducer::reduce: can
o
nicalize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
short
_
rat::pr
i
nt: cor
r
ectly
p
rint out terms w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
bar
v
inok_series: recheck for equalit
i
e
s after
c
omput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
por
t
Matrix_Read f
o
r
r
eading Matrix from
a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_u
t
il
.
c: add P
a
ram_Ve
r
t
e
x
_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
u
t
il
.
c: supporting_co
n
s
t
ra
i
nts:
r
e
t
urn bit
v
ector
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoo
l
aege
p
o
l
ylib
:
update for
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
options
.
c: use
Polyhedron_Sam
p
le for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
keep tra
c
k of and us
e
saturating cons
t
raints in Pa
r
am_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
m
o
ve v
a
lue_gcd and val
u
e_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rn
o
u
l
li_sum_evalu
e
: only compute exact sum if approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoul
l
i_sum_evalue: sum ov
e
r
vari
a
bles with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
evalue
.
c: ex
p
ort evalue_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
r
d
oola
e
ge
P
o
lyhe
d
ron_Exchan
g
e
C
olum
n
s: normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
export Polyhedr
o
n_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue_poly
n
omial: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
evalu
e
.
c: em
u
l
:
ha
n
dle another
spe
c
ial c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
v
alue
.
c
: eadd: han
d
le some
s
p
ecia
l
c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
introd
u
ce and use evalu
e
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
eval
u
e
.
c: e
a
dd: micro-op
t
imize addi
t
ion of two r
a
ti
o
n
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting
a
n approx
i
m
a
tio
n
method now imp
l
ies
p
olynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoo
l
a
ege
barvinok
_
summate
:
option
a
lly use Bernoull
i
/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
d
oola
e
ge
B
e
rnou
l
li_sum_
e
value: use ev
a
lue_from
_
sec
t
ion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ba
r
vinok/polylib
.
h
: r
e
move compatibility wit
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
move Vector_O
p
p
o
se to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
pol
y
t
ope_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Ver
d
o
o
laege
remove_all
_
equalities: keep r
e
moving equ
a
lities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remove_a
l
l_equalities
:
h
andle empty polyhedron
d
e
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
all_equalities: minor
code clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en V
e
rdoolaege
exp
o
r
t
Polyh
e
dron_Matri
x
_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
S
ven Verdoolaege
p
ol
a
r_signed_con
e
_consume
r
:
clean up mem
o
ry
o
n inapp
r
opriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
V
erdoolaeg
e
Pa
r
a
m
_Inne
r
_
P
roduct: fix use of v
a
lue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n Verdoola
e
ge
doc: fix typo in Mic
h
ele Vergne's nam
e
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verdo
o
la
e
ge
Add missin
g
files from polymake client to
distribu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
o
laege
U
s
e gmp's gcd ra
t
he
r
than Poly
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verd
o
o
l
aege
poly
m
ake/README:
mention -
-
with-ba
r
v
inok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
polymake/Makefile
.
in:
a
d
d
wo
r
k
-
around for
polyma
k
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
g
e
evalue
.
c
:
print
_
eva
l
ue: alway
s
print new
l
ine at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
o
p
tions
.
c: fix typo in
-
-approximat
i
on-method d
e
scrip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
to
p
com: fix he
u
r
istic for
s
electing row
s
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
Verdoolaege
b
a
rvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
M
erge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolae
g
e
Document TOPCOM ba
s
ed chambe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
test TOPCOM chamber
decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionall
y
use TOPCOM to compute chamber deco
m
positions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoola
e
g
e
lexmin: add (protected) m
i
ssing a
l
gorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Makefile
.
am: add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: updat
e
voting theory refe
r
enc
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
docu
m
ent barvinok_summate and ba
r
v
i
nok_max
i
miz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: cons
i
stent
use
of B
a
rvinok's
i
n
iti
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_summate: c
o
r
rect options descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document Euler-Maclaurin based summa
t
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc:
c
h
ange e
x
ample
e
n
vironment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
add some hidden
se
c
tions to table
of
c
onte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc:
a
not
h
er docum
e
nt refe
r
in
g
to t
h
e lib
r
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verd
o
olaege
add some
tes
t
s for Euler-Maclaur
i
n based su
m
mati
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
Eule
r
-
M
a
claurin bas
e
d s
u
mmat
i
on
f
o
r
1D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaeg
e
E
u
ler-Maclaurin based su
m
m
ation
for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
d
e
c
omposer
.
cc: avoid use of half-op
e
n cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
barvinok_
s
um
m
ate: v
e
r
ify so
l
ution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
introduce barvino
k
_summate as a wrapper f
o
r evalu
e
_
sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaeg
e
add evalue
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
e
v
a
lu
e
_{di
v
,mul}: handle som
e
trivial cas
e
s more e
f
f
i
c
ie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
ol
a
ege
lat
t
ice_poin
t
:
export fractional
_
part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
g
e
ev
a
lue
.
c
:
extract common c
o
de for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
olaege
volume
.
c: export Par
a
m_Polyhedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
l
a
ege
add
e
va
l
ue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Ver
d
oolaege
fix typ
e
o
f
evalue_
p
olynom
i
al argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
laege
su
p
port
c
omputa
t
i
on of
B
e
r
n
oulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
separate
computati
o
n
o
f
Bernoulli
coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
ool
a
ege
lattice_poi
n
t: use Param_Vert
e
x
_
C
o
mmon_Denom
i
na
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
make decompo
s
er
.
h sel
f
-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
reduce_d
o
m
a
in: avoid use of macro p
a
rameter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
ex
p
ort evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
d
oolaege
Use pip
l
ib during ba
s
is reduction if no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
add pipl
i
b modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
se bu
n
dled
P
o
l
yLib
b
y d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add polylib
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bern
s
tei
n
: allo
w
linking a
g
ainst uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more mi
s
sing assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
erdoola
e
g
e
a
d
d dummy implementations of fu
n
ctions
that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laege
update
"
Co
u
n
t
ing with ratio
n
a
l
ge
n
erating functions
.
.
.
commit
|
commitdiff
|
tree
next