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
polylib: update for Matrix_Extend
2007-10-25
Sv
e
n
V
erdoolaege
po
l
yl
i
b: upda
t
e for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
options
.
c
: use Poly
h
edron_Sample fo
r
c
o
unt
i
ng
i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of and
u
se s
a
tura
t
ing c
o
nstraints in Param_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
m
ove valu
e
_gcd and
v
alue_lcm t
o
p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Bernoulli_sum
_
evalue: only c
o
mput
e
e
x
act
s
um if appro
x
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
ege
Bern
o
u
l
li
_
s
u
m_evalue: sum
over variables with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
evalue
.
c: e
x
port evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Polyhedr
o
n_Ex
c
h
a
ngeColumns:
n
ormalize con
s
traints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
Poly
h
edron_Exchange
C
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
e
v
alue_po
l
ynomi
a
l: optim
i
z
e evaluation
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: em
u
l:
h
an
d
le another
special case
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verd
o
ol
a
eg
e
e
va
l
ue
.
c
: eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
l
aege
intr
o
d
u
ce and use e
v
alue_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
evalue
.
c
: eadd: micro-o
p
timize
a
ddit
i
on
of two
r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
set
t
ing
a
n approx
i
m
ati
o
n met
h
od now imp
l
i
e
s polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_summ
a
te: optionally use Bernoulli/
F
a
u
lhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
Bernoulli
_
sum_evalue: use eval
u
e
_
from_
s
ection_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
b
arvinok/po
l
ylib
.
h: remov
e
compatibil
i
t
y
w
ith older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
move Vector_Oppose to P
o
lyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
polytope_scan: reenable
-
-direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
e
rdoo
l
aege
remove_all_
e
qualities: ke
e
p
removing e
q
uali
t
i
e
s
unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
rem
o
ve_all_equalit
i
es
:
handle empt
y
p
o
lyh
e
dr
o
n de
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolae
g
e
remove_all_
e
qualitie
s
: minor co
d
e clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
export
P
olyhedron_Matrix_
V
iew
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
erdool
a
e
ge
pol
a
r_si
g
ned_cone_consumer:
clean
u
p
m
emory on inapprop
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verd
o
olaege
P
a
r
a
m_Inner_P
r
oduct: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
d
oc:
f
ix typo in Mi
c
hele Vergne
'
s
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Add missin
g
files
fro
m
polym
a
k
e
client t
o
d
istr
i
bution
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ve
r
doola
e
ge
U
s
e
gmp's
g
cd rather th
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verd
o
o
l
a
e
g
e
po
l
ymake/README: me
n
tion --with-ba
r
vin
o
k con
f
igure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verdo
o
l
a
ege
polymake/Makefile
.
in: add
w
o
rk-a
r
ound for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
Ver
d
o
olaege
e
value
.
c: print_evalue:
a
l
w
ays print newlin
e
a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verd
o
o
laege
o
p
tions
.
c:
f
ix
typo in --approximat
i
o
n
-method descrip
t
i
on
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
t
o
p
c
o
m
: fix heuristic for selecti
n
g ro
w
s
t
o
u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
ba
r
v
i
nok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
do
o
laege
Me
r
ge branc
h
'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
D
ocumen
t
TO
P
COM based chamber
decom
p
o
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
t
est
T
O
PCOM c
h
ambe
r
decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally
u
se TOPCOM to compute chamber d
e
co
m
posi
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
lex
m
in: add (protected) mi
s
sing algorithm
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Make
f
ile
.
am: add targ
e
t fo
r
creating dist w
i
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
ege
doc
:
update voting th
e
ory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
documen
t
barvinok_summate an
d
barvinok_maximi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c: consi
s
tent use of Barvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaeg
e
barvinok_summ
a
t
e: co
r
rect options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
D
o
c
u
men
t
Euler-
M
aclaurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
g
e
doc
:
change
example
env
i
ronment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
doc: add some
h
idd
e
n sections t
o
t
a
b
l
e
of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdo
o
laege
doc: ano
t
he
r
docume
n
t r
e
f
eri
n
g to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
ege
ad
d
some t
e
sts for Eul
e
r-Maclaurin
based s
u
m
m
atio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Euler-Maclaurin b
a
sed summatio
n
for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
er
d
o
olaege
Eu
l
er-Maclau
r
in based s
u
mm
a
t
i
on fo
r
2
D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
doolaege
deco
m
poser
.
cc
:
a
v
oid use
of
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
barvin
o
k_summate: veri
f
y solution ov
e
r whole
par
a
mete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoo
l
aege
int
r
oduce barvinok_summate as a wrap
p
e
r
f
or evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oola
e
g
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
val
u
e_{div,mul}: handle some trivial cases more ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
lattice_point: expor
t
fractional_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eval
u
e
.
c: extract comm
o
n
c
ode for
co
n
stru
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
rdoolaege
volu
m
e
.
c: export Param_Polyhedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
f
i
x ty
p
e o
f
eval
u
e
_
p
o
l
ynomial argument
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
s
u
p
port computation of B
e
rnoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate c
o
mputation
o
f Bernoul
l
i coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoo
l
aege
lattice_point: use
P
aram
_
Vert
e
x_Common_Denomin
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h
self-containe
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
ola
e
ge
reduce_domain: avo
i
d use of m
a
c
ro p
a
ramete
r
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
exp
o
rt evalu
e
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use piplib
dur
i
ng basis
r
eduction if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
Use bundle
d
piplib b
y
defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
dool
a
ege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
ae
g
e
Use bundled PolyLib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add
polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
bernstein: allow linking
a
gains
t
uni
n
s
t
alle
d
, but bui
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
e
n V
e
rdoo
l
a
e
ge
a
dd more mis
s
ing assert
.
h
#incl
u
de
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add
dummy implem
e
ntatio
n
s of f
u
nctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoo
l
aeg
e
upd
a
te
"
C
o
unting with
r
a
tional gene
r
ating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
ba
r
v
inok
.
cc: split off pa
r
t construc
t
ing g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laege
barvinok
.
cc
:
s
plit o
f
f part dealing
w
ith existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter: avo
i
d
recomput
a
t
ion
o
f denomi
n
a
t
or
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaeg
e
cou
n
ter:
remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
change
t
ype of s
o
me "sign"s to
i
nt as they can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Ve
r
doolaege
doc: u
p
date Al
g
orithmic
a
publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verd
o
ola
e
g
e
evalue
.
c: make pa
r
a
m
eter names of type
c
onst cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
en V
e
rd
o
olaege
sample
.
c: Pol
y
h
edr
o
n_Re
m
o
veFixedC
o
lu
m
n
s: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remo
v
e
_equ
a
lities: fix
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Poly
h
ed
r
on_Print:
p
rint everything
t
o giv
e
n file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumerate_with_options: don
'
t add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
ba
r
vin
o
k
.
cc: do
n
'
t
free P argument in enumer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoola
e
ge
remove_
a
ll
_
equali
t
ies: also re
m
ove equa
l
ities in context
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
vo
l
ume
.
c: avoid warn
i
ngs
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoo
l
aeg
e
export Param_I
n
ner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven
Ve
r
doolaeg
e
ba
r
vi
n
o
k_enumerate
.
cc:
add minim
a
l check on in
p
ut
commit
|
commitdiff
|
tree
2007-07-19
S
v
en
Verdoola
e
ge
more prototyp
e
changes to const ch
a
r
*
commit
|
commitdiff
|
tree
2007-07-19
S
v
e
n
Verdoola
e
ge
evalue: print_
e
value
:
make parameter names const c
h
ar*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven Verdoolae
g
e
Always compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
doolaege
polytope_
s
can:
u
s
e
a
rgp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configure
.
i
n: all
o
w specification
o
f defa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoo
l
aege
c
o
n
solidate ca
l
l
s
t
o Po
l
y
hedron
2
Param_Domain
commit
|
commitdiff
|
tree
next