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
S
v
en Verdool
a
ege
p
olylib: upd
a
te for
Mat
r
ix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use Polyhedron_Sam
p
le fo
r
c
o
u
nting infi
n
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
olaege
k
e
ep tr
a
ck of and use saturating constraints in
P
ar
a
m_Pol
y
hed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
value_gcd and
v
alue_lcm
t
o p
o
l
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doo
l
a
e
ge
Bernoulli
_
s
u
m_evalu
e
: only compute ex
a
c
t sum i
f
a
p
proximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdool
a
e
g
e
B
e
rnou
l
l
i_sum_e
v
alue: sum ove
r
variable
s
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
evalu
e
.
c: export eva
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
Polyhedron_Ex
c
hangeColumns: no
r
malize constr
a
i
n
t
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyhedro
n
_
Ex
c
hangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
evalue_pol
y
nomial
:
optimize
e
v
aluation in
ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
evalue
.
c: emul: hand
l
e
anot
h
er special
case
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
evalue
.
c: eadd
:
han
d
le some sp
e
cial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introduce a
n
d use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
evalue
.
c:
e
add: m
i
cro-optimiz
e
ad
d
i
t
i
on of t
w
o rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
se
t
ting a
n
approximation method now implies
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
barvin
o
k_sum
m
ate:
o
p
tionall
y
u
s
e Bernoulli/Faul
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnou
l
li_sum_evalue: us
e
evalue_from
_
sect
i
on_arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
b
arvinok/poly
l
ib
.
h: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
move V
e
c
t
or_
O
ppose
t
o Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyt
o
pe_scan: reenable --di
r
ect opt
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laeg
e
remove_all
_
equalities:
keep removing equali
t
ies unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdool
a
e
ge
remove_all_equalitie
s
: handle e
m
pty polyhedr
o
n detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
o
o
laege
remove
_
all_equali
t
ie
s
: mino
r
c
o
de clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdo
o
lae
g
e
export Polyhedron_M
a
tr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
oo
l
aege
polar_signed_cone_consum
e
r
: clean up memor
y
on inappropri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
V
erdoolaege
Param_Inner_Product: fix use
of value_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n
Ve
r
doolaege
doc: fix typo in Michele
V
e
rgne's name
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
Add m
i
s
sing f
i
l
e
s
from polymake client to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use
gmp's gcd rat
h
er than P
o
lyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
polymake/README:
m
ention --with-barv
i
nok config
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolae
g
e
polyma
k
e/Makef
i
le
.
i
n: ad
d
wor
k
-
around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
evalu
e
.
c:
print_evalue: al
w
a
y
s print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
Verdoola
e
ge
opt
i
on
s
.
c: fix typo in --a
p
proximat
i
on
-
m
ethod descr
i
ption
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoola
e
ge
top
c
om: fix h
e
u
ristic for selecti
n
g
r
ow
s
t
o use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvin
o
k 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
M
e
r
ge
b
r
a
nch 't
o
pco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
ol
a
ege
Document TOPC
O
M based cham
b
er de
c
o
mpos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM chamber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verd
o
olaege
Optionally us
e
T
O
PCOM to c
o
mpute chamber dec
o
mpos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdoolaege
lexmin: ad
d
(
protected) missing algorith
m
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
M
a
kefile
.
am: a
d
d targ
e
t f
o
r
crea
t
ing dist
w
i
t
h git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
u
pdate vot
i
n
g theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdo
o
laege
document
b
a
rvi
n
ok_summate an
d
barvinok_
m
aximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oo
l
a
e
g
e
doc: consistent use of Bar
v
i
nok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
e
r
d
o
olaege
b
a
rv
i
nok_
s
ummate:
c
orrect options description
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
o
ol
a
ege
Document Euler-Maclaurin based summatio
n
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc
:
change e
x
a
m
ple environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolae
g
e
d
o
c: add
s
o
m
e hidden sections to t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
rdoolaege
d
oc: anot
h
er document refe
r
ing t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
d
o
o
laeg
e
add some tests
for
E
uler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolaege
Eul
e
r-Maclaurin based
s
ummatio
n
f
o
r 1D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
Eu
l
er-Macla
u
rin b
a
se
d
summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
decomposer
.
cc:
a
void
u
se of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
barvinok_s
u
mmate: verify solution over
w
hole
paramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
intro
d
uce barvin
o
k_
s
ummat
e
as a wrapp
e
r for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
add
e
v
a
lue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
evalue_{
d
iv,mul}: handle s
o
me trivial case
s
more e
f
fic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: export
fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
eva
l
ue
.
c
:
extr
a
ct c
o
m
mon
co
d
e for constr
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
v
o
lume
.
c
: export Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoola
e
g
e
a
dd evalue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
fix type of evalue_polynomia
l
argumen
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
sup
p
ort computation
o
f Be
r
noulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
e
p
arat
e
comput
a
tion
o
f B
e
rnoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice
_
p
oint: use
P
ara
m
_Vertex_Common_Deno
m
ina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h
self-c
o
ntained
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
olaege
reduce_doma
i
n
: avo
i
d use
o
f
macro par
a
m
eter with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
o
o
laeg
e
export eval
u
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
U
s
e
p
iplib during basis
reduction if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
Use b
u
ndled pi
p
lib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add piplib
module
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use bundl
e
d P
o
lyLib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
laege
add polylib subm
o
d
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
b
ern
s
tein: allow linking against u
n
installed, b
u
t b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
d
o
o
l
a
ege
add
more missing ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
a
d
d dummy im
p
lementations
o
f fu
n
ctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
eg
e
upd
a
te "Counti
n
g with rational g
e
nerating
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en V
e
rdoolaege
b
a
rvinok
.
c
c
: spl
i
t o
f
f pa
r
t constructin
g
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
lae
g
e
barvino
k
.
c
c: split
o
ff par
t
dealing
w
ith e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter: avoid recomput
a
tion
of denom
i
nato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdo
o
laege
counter: remove
r
edundant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
ch
a
n
ge type of s
o
me "sign"s
t
o int
as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdo
o
laeg
e
d
oc: upd
a
te Algorithmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n Verdoolaege
e
v
alue
.
c: mak
e
para
m
eter n
a
mes o
f
type
c
onst char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
ve
n
Verdo
o
laege
sample
.
c: Polyhedron_RemoveFix
e
dColu
m
ns
:
correct
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Ve
r
doo
l
aege
util
.
c: r
e
move_equ
a
l
ities: fix typ
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_P
o
lyhedron_Print:
p
rint ever
y
t
hing to gi
v
en file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
e
g
e
barvinok
_
enumera
t
e_with_optio
n
s: don't add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ve
n
V
e
rdoolaege
ba
r
vinok
.
cc: d
o
n
'
t fr
e
e P argument in
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
remove_
a
ll
_
equalitie
s
: also remove
e
q
u
alities
in context
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
volume
.
c:
a
void
war
n
ings
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Verdoolaege
exp
o
rt
P
aram_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barv
i
no
k
_enumerate
.
c
c
:
a
d
d m
i
ni
m
a
l
ch
e
ck on
input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more prototype cha
n
ges to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
e
g
e
evalue: p
r
i
n
t_evalue: ma
k
e
p
arameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdoolaege
A
l
ways
c
o
m
pile p
o
lytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Ve
r
doolaege
polytope_scan: u
s
e
argp for argument
p
arsing
commit
|
commitdiff
|
tree
2007-07-05
S
ven Verd
o
o
laege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdoolaeg
e
configur
e
.
in: allow specification
of default
p
ref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoolaege
con
s
olidate calls to Polyhed
r
on2
P
aram_Domain
commit
|
commitdiff
|
tree
next