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
barvinok_series: recheck for equalities after computing vertices
2007-10-25
Sve
n
Verdoolaege
barvinok_ser
i
es:
r
ech
e
ck for
e
qual
i
ties after com
p
uti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolae
g
e
export Matri
x
_Read for reading Matr
i
x f
r
om a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
param
_
util
.
c
:
a
d
d
Param_
V
e
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supp
o
rting_constraints: return bit ve
c
tor
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolae
g
e
polylib
:
u
pdat
e
fo
r
M
atrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
options
.
c
:
use
P
olyhe
d
r
on
_
Samp
l
e for counting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
keep trac
k
o
f
a
n
d
use
saturati
n
g constraints in P
a
ram_Pol
y
hed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
m
o
ve value_
g
c
d
and
value_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
B
e
r
noulli
_
sum_eval
u
e: only
c
ompute ex
a
ct
s
u
m
if approximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Ber
n
oul
l
i_sum
_
evalue: sum over variables
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
eval
u
e
.
c: expo
r
t evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhe
d
ron_Exchan
g
e
C
o
lumns
:
normaliz
e
constr
a
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
export Polyhe
d
r
o
n_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomia
l
: optimize ev
a
luat
i
on in zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
evalue
.
c: emul: handle another speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: han
d
le some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
evalue
.
c: ea
d
d
: micro-
o
p
t
imize addi
t
ion
o
f
t
w
o rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
se
t
ting an appr
o
ximation method now impl
i
es
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_summate:
o
ptionally u
s
e B
e
r
n
oulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Bernoulli_sum_e
v
alue: u
s
e eva
l
ue_from_s
e
ction_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/
p
olylib
.
h: remo
v
e c
o
mpatibi
l
ity wi
t
h older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
ola
e
ge
move Vector_O
p
p
ose to
P
oly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
e
g
e
polyt
o
pe_
s
c
a
n: r
e
e
nable --dir
e
ct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equali
t
i
e
s: keep re
m
oving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoo
l
aege
remo
v
e_all
_
e
q
u
a
lit
i
es: han
d
le emp
t
y
p
olyhedron de
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoo
l
aege
r
emove_
a
ll
_
equalities: minor c
o
de cle
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
l
a
ege
export Po
l
yhe
d
ron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verdoolae
g
e
p
o
lar_signed
_
cone_consume
r
: cl
e
an up memory on ina
p
propriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdo
o
laege
Param_Inner_P
r
odu
c
t:
f
ix
use
of
v
alue_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verd
o
olae
g
e
doc:
f
i
x
typo in Michele V
e
rgn
e
's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oola
e
ge
Add missing files from polymake cli
e
nt
to distribu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
Us
e
gmp'
s
g
c
d rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
d
o
o
lae
g
e
polyma
k
e
/RE
A
DME: mention --w
i
th-ba
r
vinok
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
o
laege
polymake/Makefile
.
in: a
d
d wor
k
-
a
round for
p
oly
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
evalue
.
c: prin
t
_eva
l
u
e: a
l
ways pr
i
nt
newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
V
er
d
oo
l
a
ege
opt
i
ons
.
c: fix
t
ypo
in --approximation-
m
eth
o
d
des
c
ription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdo
o
laege
topcom
:
fi
x
heuristic for selecting row
s
to
u
s
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Merge
b
ranch 'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Document TOPCOM based cha
m
ber
d
ecompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolae
g
e
te
s
t TOPCOM ch
a
m
ber dec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verd
o
olaege
Option
a
lly use T
O
PCOM
t
o compute ch
a
m
b
er dec
o
mpositi
o
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
la
e
ge
lexm
i
n: add
(
protected) m
i
s
sing a
l
go
r
ithm include
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
Mak
e
file
.
am
:
add target for creating dist wi
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
ola
e
ge
d
o
c: up
d
a
te voting theory refere
n
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
lae
g
e
docume
n
t
barvi
n
ok_summate
a
n
d
barvinok_
m
a
ximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc: consistent
u
s
e of Barvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoo
l
aege
b
a
r
v
i
nok_s
u
mmate: correct options des
c
ri
p
tio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
Document Eul
e
r-M
a
clau
r
in b
a
sed
s
ummatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: a
d
d s
o
m
e
h
i
d
den secti
o
n
s
to table
of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
doc: anoth
e
r
d
ocument refering
t
o the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add so
m
e
tests for Euler-Macl
a
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
Eu
l
er
-
Maclaurin based summation
f
o
r
1
D problems
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rd
o
olaege
Eul
e
r-Macla
u
rin base
d
summa
t
ion
for 2D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc: avoid use
o
f half-ope
n
con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
barvinok_summate
:
veri
f
y s
o
luti
o
n over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
introd
u
ce
barvinok_summate
as
a
wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
add
e
value_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{d
i
v,
m
u
l}: handle some
t
rivial cases more effic
i
entl
y
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
l
a
ege
lattice
_
point:
e
x
p
o
rt fr
a
ctional
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaeg
e
evalue
.
c: extract common code for constructi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c: export P
a
ram_Polyhedro
n
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add ev
a
lue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of
e
va
l
ue_polynomial
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
support
c
omputation of Bernoulli
polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
sepa
r
at
e
computatio
n
of
Be
r
n
oulli coe
f
f
i
c
ients
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
lattice_p
o
int
:
use P
a
ra
m
_Vertex_Com
m
on_Den
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laeg
e
m
ake d
e
composer
.
h
self-c
o
n
t
ained
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaeg
e
reduce_domain: avoid
us
e
of mac
r
o
parameter with nam
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
export ev
a
lue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e piplib during basis redu
c
ti
o
n if
n
o
other L
P
s
olve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
Use bundl
e
d piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
er
d
oolaege
a
d
d p
i
plib
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
g
e
Use b
u
ndled
P
olyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
add p
o
lylib submodul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aeg
e
bernstei
n
:
a
llow linking against uninstalled, bu
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoo
l
aege
add more mis
s
i
ng assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy
i
mpl
e
mentation
s
o
f
functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
e
n
Verdoolaege
update "Counting with ratio
n
al generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
ege
barvin
o
k
.
cc: split off
part constructing
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
b
arvinok
.
cc: spl
i
t off
part deali
n
g with e
x
ist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven
V
e
r
d
oola
e
g
e
*counter: avo
i
d rec
o
mputa
t
ion
o
f denominator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoo
l
a
ege
counter:
r
emove redund
a
nt
me
m
ber
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
a
e
ge
cha
n
ge type of some "sign"s to int as they c
a
n onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n
Verdoolaege
d
o
c
:
update
Algo
r
ithm
i
ca publicati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdool
a
e
g
e
evalue
.
c
:
make parameter
n
ames of type
cons
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
ool
a
ege
s
a
mple
.
c: Polyhedron_RemoveFixedColum
n
s: corre
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
u
til
.
c: remove_equalities:
f
ix typ
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Ve
r
do
o
laege
Param
_
P
o
lyhedron_Print
:
print ev
e
ryt
h
ing to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
a
rvinok_enume
r
ate_with_
o
ptions: d
o
n't add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc:
don
'
t free P argumen
t
in enu
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all_equali
t
ies: also remove equalities
in c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
v
olu
m
e
.
c
:
avoid
w
arnings
commit
|
commitdiff
|
tree
2007-07-27
S
ven Verdoolaege
ex
p
ort Para
m
_I
n
ne
r
_P
r
odu
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
olae
g
e
barvinok_enumerate
.
cc
:
add minim
a
l c
h
e
ck on inpu
t
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdoo
l
aege
more prototype c
h
anges to
c
o
nst char *
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoolaege
evalue: pri
n
t_ev
a
lue: make p
a
ram
e
t
e
r names const char
*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
olae
g
e
Always compile polytope
_
scan
commit
|
commitdiff
|
tree
next