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
Sven Verd
o
ol
a
e
g
e
p
o
lylib: update for Matrix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
options
.
c
: use Polyhedron_Sample for c
o
unting
i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
ke
e
p track of
a
nd us
e
satur
a
tin
g
con
s
tr
a
i
nts in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
move value_g
c
d and
valu
e
_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
B
ernoulli_sum_
e
v
alue: only compute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
Bernoulli_
s
um_evalue: sum over var
i
ables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
: ex
p
ort
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeColumns
:
normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olae
g
e
export Polyhedron_Exch
a
ngeCo
l
umns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
evalue
_
polyn
o
mial
:
optimize evalu
a
tion in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
lae
g
e
evalue
.
c:
e
mul: hand
l
e another special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
eva
l
ue
.
c: ea
d
d
: handle
s
ome s
p
ecial
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introduce and use evalue_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
evalue
.
c: eadd
:
micro-
o
p
t
i
mi
z
e a
d
dition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
setting an approximati
o
n method n
o
w impli
e
s p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_summate:
op
t
i
o
nall
y
use
Be
r
noull
i
/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernoul
l
i_sum_evalue: use evalue_fr
o
m_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
la
e
ge
bar
v
inok
/
polylib
.
h: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
move V
e
ctor_O
p
pose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
p
olytop
e
_
s
c
an:
re
e
nable --direct
o
pti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
ola
e
ge
r
e
move_all
_
e
qualities:
keep r
e
moving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
r
emove_
a
ll
_
eq
u
alities:
h
a
n
dle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Ve
r
doolaege
r
e
m
o
ve_all_equalitie
s
:
minor co
d
e clea
n
-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
expor
t
Polyhed
r
on_M
a
trix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
S
v
en V
e
r
dool
a
ege
polar_signed_c
o
ne_consumer:
c
lean up me
m
o
r
y on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n Verdoolaege
Pa
r
am_Inner_Product:
fix use of value_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verdoolaege
do
c
: fi
x
typo in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
a
ege
Add miss
i
ng files fr
o
m polymake client to dis
t
ributio
n
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
Use gmp'
s
g
cd
rather than
P
olyL
i
b's
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
polymake/README:
m
en
t
ion
--wi
t
h-barvinok c
o
nfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven
V
e
rd
o
ola
e
ge
poly
m
ake/Makefile
.
in: add work-ar
o
u
nd fo
r
pol
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdo
o
l
a
ege
evalue
.
c:
print_ev
a
lue:
a
lw
a
ys print new
l
ine at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoolaege
opt
i
ons
.
c: f
i
x typo in --approx
i
mati
o
n-me
t
hod description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
oo
l
aege
t
opcom: fix heuris
t
ic fo
r
selec
t
i
ng row
s
t
o us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaeg
e
ba
r
vinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
doolaege
Merge branc
h
'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
eg
e
Document TOPCOM base
d
ch
a
mbe
r
decomposit
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ver
d
oolaege
t
e
st TOPCOM chamber deco
m
p
osition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
O
ption
a
lly
use
TOPCOM to com
p
ute c
h
amber
d
ecompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoo
l
a
eg
e
lexmin:
a
dd (protec
t
ed) miss
i
ng alg
o
r
ithm inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
M
akefile
.
am
:
add t
a
rget for cre
a
t
i
ng dist
w
i
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
ool
a
ege
doc: update voti
n
g the
o
ry
r
eference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
do
c
um
e
nt barvino
k
_s
u
mmate and barv
i
nok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
olaege
d
oc: cons
i
ste
n
t use of
Barv
i
nok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Ve
r
doolaege
barvinok
_
summate: c
o
r
rect o
p
tions description
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
e
rdoolaege
D
o
cu
m
ent Euler-Macla
u
rin based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
olaege
doc: change example environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
l
a
e
ge
doc: ad
d
some hidden sections to table of content
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoo
l
aege
do
c
:
another docume
n
t
refering to the library
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
laege
add s
o
me tests for Eu
l
e
r
-Maclaur
i
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Eul
e
r-Macla
u
rin based summatio
n
for 1D probl
e
m
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
erdo
o
la
e
ge
Euler-
M
acl
a
urin based summation for
2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
decompos
e
r
.
cc: avoid us
e
of h
a
lf-open con
e
s
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
d
o
olaege
barvinok_s
u
mmate: veri
f
y solutio
n
o
ver wh
o
le paramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
i
n
tro
d
uce barv
i
nok_summate as a wrap
p
e
r for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
a
dd evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
olaege
evalu
e
_{
d
i
v,
m
ul}: handle some trivial cases more efficientl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: export f
r
actional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
e
value
.
c:
extrac
t
co
m
mon co
d
e for cons
t
r
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolaege
v
o
lume
.
c:
e
x
port Param_Polyhedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
l
a
ege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
f
i
x
type o
f
eval
u
e_
p
olynomi
a
l argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
olaege
support computation of
B
e
rno
u
ll
i
poly
n
omials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate com
p
utation
of Bernoul
l
i coefficie
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
lat
t
ice
_
p
o
int
:
use
P
aram_Vertex_Common_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decom
p
o
s
e
r
.
h self-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
r
educe
_
d
omain
:
avo
i
d use of macro par
a
m
eter with
n
ame
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oolaege
Use p
i
plib duri
n
g basi
s
reduction if no other
L
P sol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
Use bundled pipl
i
b
b
y defaul
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add
piplib mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e bundle
d
Po
l
y
Lib
by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
add polylib sub
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
bern
s
tein: a
l
low linking again
s
t
uni
n
stalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoo
l
a
e
g
e
add more
missing asse
r
t
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n
V
e
rdoola
e
g
e
add
dumm
y
implementations of functions
that
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verd
o
olaege
update "Counting
w
ith rational generating
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdool
a
ege
barvinok
.
c
c:
split o
f
f part constructing generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barvinok
.
cc: split off part
dealing
w
ith exist
e
n
t
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdool
a
ege
*counter: avoid r
e
computat
i
on of denomin
a
tors
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdo
o
l
a
e
g
e
counter: remove
r
edun
d
a
n
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of some "si
g
n
"
s
to int as th
e
y can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: upda
t
e
Algorithmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
rdoolaege
evalue
.
c:
m
ake para
m
eter na
m
es of
ty
p
e
c
onst c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Verd
o
o
la
e
ge
sample
.
c:
P
olyhedron_Re
m
o
veFixe
d
Columns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n Ve
r
dool
a
ege
util
.
c: remove_equaliti
e
s
: fix
ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoo
l
a
e
g
e
Param_Polyhedron_Print: print everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvino
k
_enumerate_wit
h
_opti
o
ns: don't add cont
e
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
barvinok
.
cc: don't
f
ree P argu
m
ent in enu
m
erat
e
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
Verdoolaege
r
e
m
ove_all_equaliti
e
s
: a
l
so
r
em
o
ve equalities in
c
ontext
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Verdo
o
laege
ex
p
ort
Param_Inner_Produ
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolae
g
e
barvino
k
_
enumer
a
te
.
cc: add min
i
mal chec
k
on input
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
er
d
o
o
l
aege
m
o
re prototype c
h
ang
e
s to
const
c
h
ar *
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdoolae
g
e
eva
l
ue: print_
e
value: m
a
ke paramet
e
r n
a
m
e
s co
n
st
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdo
o
lae
g
e
Alw
a
y
s compi
l
e po
l
ytope_
s
c
a
n
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
pol
y
top
e
_scan: use argp
f
or
argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
r
doolaege
doc: fix
typ
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configure
.
in: allow specific
a
t
ion of defau
l
t
p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Ve
r
doolaeg
e
con
s
olidate c
a
lls to Polyhedron2
P
ar
a
m_D
o
main
commit
|
commitdiff
|
tree
next