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
move Vector_Oppose to PolyLib
2007-10-25
Sve
n
Verdoolaege
move Vector_Oppose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
polytope_scan: reenab
l
e --di
r
ect option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_
a
ll_
e
qual
i
ties: keep removing equa
l
ities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoola
e
ge
rem
o
ve_all_
e
qualiti
e
s:
h
andle em
p
ty polyhedron detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
r
emove
_
all_e
q
u
a
lities:
m
inor code clean-u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolae
g
e
export Polyhedron_M
a
t
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
erdoolaege
p
o
l
a
r
_
s
igned_cone_consu
m
er: clean up memory
o
n inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoo
l
aege
Param_Inn
e
r_Produ
c
t: fix us
e
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
e
r
doolaege
doc: f
i
x
ty
p
o in Michele
Vergne's
n
a
me
commit
|
commitdiff
|
tree
2007-09-21
S
v
en V
e
rdoolaege
Add
m
issing fi
l
es f
r
om polyma
k
e client
t
o d
i
stribution
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
Use gmp's
g
cd rathe
r
t
h
an Po
l
yLib'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
polyma
k
e/README:
m
ention --
w
ith
-
barv
i
nok con
f
igure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdool
a
eg
e
po
l
ymake
/
M
a
kefile
.
in: add wor
k
-aro
u
nd for po
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdo
o
l
aege
evalue
.
c
:
print_evalue: a
l
w
a
ys p
r
int newl
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
d
o
o
l
aege
options
.
c: fix typo i
n
-
-
approximation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdo
o
laege
topcom
:
f
ix heuristic fo
r
selec
t
i
n
g row
s
to
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Do
c
ument TOPCOM based chamber decomposi
t
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test
T
OPCOM
chamber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ver
d
oolaeg
e
Opt
i
onally
use T
O
PCOM to compute
chamber deco
m
p
o
s
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
aege
l
exmin: add (protecte
d
) mis
s
ing al
g
orithm
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Makefile
.
a
m
:
add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
doc: upda
t
e v
o
ting t
h
eory r
e
ference
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verdoolaege
document
b
arv
i
n
o
k_su
m
mate a
n
d barvinok_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
g
e
doc:
consistent use
o
f Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvin
o
k_summate: correct options description
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Document E
u
l
e
r-Maclaurin ba
s
e
d
s
um
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: c
h
ange exampl
e
environme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdool
a
e
g
e
doc:
add some h
i
dden sections to table of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaeg
e
doc: another doc
u
ment refering to th
e
library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
add some tests f
o
r Euler-Maclauri
n
ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaeg
e
E
u
ler-Maclaurin based summat
i
o
n
f
or
1
D
prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
e
g
e
E
uler
-
Maclau
r
in based s
u
m
m
ation
f
o
r 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
doolaege
decomposer
.
c
c
: avoid use of half-
o
pe
n
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bar
v
i
n
ok_summate
:
verify sol
u
tion over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
introd
u
ce
b
arvinok_summate as a wra
p
p
e
r for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add e
v
alue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
evalue_{di
v
,mul}:
h
a
n
dle so
m
e trivial ca
s
es
m
o
r
e
efficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
a
ttice_point: export
fract
i
o
nal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
evalue
.
c
:
extr
a
ct comm
o
n code for
construction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
dool
a
ege
v
o
lume
.
c: ex
p
ort Param_P
o
lyhed
r
on_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
olaege
fix type of evalue
_
pol
y
nomial argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support c
o
mputation of Bernoulli polynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate
c
omp
u
ta
t
ion of
Bernoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
laege
lattice_point: use Param_Vert
e
x_
C
ommon_Den
o
minat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
m
ak
e
d
ecompo
s
er
.
h
self-cont
a
i
n
ed
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoola
e
ge
r
e
duce_
d
omain: avoid
use of m
a
cro par
a
m
eter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
exp
o
rt e
v
alue
_
d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
o
o
la
e
ge
U
se pip
l
ib during
b
asis re
d
uction i
f
no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
Use bundled piplib by de
f
au
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
a
dd piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
laege
Use bund
l
ed PolyLib
b
y de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add pol
y
l
i
b submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
bernstein: al
l
ow l
i
n
kin
g
against uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add m
o
re
m
i
s
sing assert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ver
d
oolaege
add dummy implementations of functio
n
s
t
hat de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
update "Counting with rati
o
nal generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
barvi
n
ok
.
cc: split off
p
a
r
t
co
n
structing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdool
a
e
ge
barvinok
.
c
c:
split
o
f
f part dealing
with e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoola
e
ge
*
counter: avoid recomputation of denominato
r
s wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
counte
r
:
rem
o
ve red
u
ndant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change typ
e
of some "sign"s to
int
a
s they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
d
oc: update
Algorithmica p
u
blic
a
tion
commit
|
commitdiff
|
tree
2007-08-10
Sven Ve
r
doolae
g
e
evalue
.
c: m
a
ke
p
a
rameter names
o
f type const ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
oolaeg
e
sample
.
c: P
o
lyhedron_Remo
v
e
F
ix
e
dColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
erdoolaege
util
.
c:
r
emove_equalitie
s
: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhedro
n
_Pr
i
nt: print ev
e
rythin
g
to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
barvinok_en
u
merate_with
_
op
t
ions
:
don't add c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oo
l
aege
b
a
rvino
k
.
c
c: don't fr
e
e P argume
n
t
in enum
e
r
ate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
e
ge
remove_all_
e
quali
t
ies
:
also
r
e
move equalities in co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoi
d
w
a
rning
s
commit
|
commitdiff
|
tree
2007-07-27
Sven
V
e
rdo
o
l
a
ege
export
Param_Inner_
P
r
oduct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
olaege
ba
r
v
i
nok_enumer
a
t
e
.
c
c: add minimal check on
i
nput
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Ver
d
oolaege
more
proto
t
y
p
e
cha
n
ges to
const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
e
n Verdoolaege
evalue
:
p
r
int_e
v
a
l
ue
:
make parameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verdoolaege
Always c
o
m
p
ile p
o
lytope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdo
o
laege
po
l
ytope_sc
a
n: use argp for argument p
a
r
sing
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n V
e
rdoolaege
doc:
f
ix typ
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verd
o
olaege
configure
.
in: allo
w
specification o
f
d
e
fault p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoolae
g
e
consolidate calls to Polyhedr
o
n2Param_
D
omain
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolaege
volume
.
c: fix typo
i
n com
m
ent
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
olaege
M
a
kefile
.
a
m
: add $(EXEEX
T
) for cygwi
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
Makefile
.
am: force rebuild li
b
raries in
subd
i
rs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
ve
n
Verd
o
olaege
only
test
barvi
n
ok_maximize i
f
it h
a
s b
e
en/can be cre
a
ted
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
er
d
oolaege
b
ar
v
in
o
k
0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc:
w
o
rk
ar
o
u
n
d inco
m
p
lete name
s
p
a
c
e support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
s
cal
e
.
c: enu
m
erate_narrow_flated: d
o
n't simplify constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
d
o
o
laege
dec
l
are v
a
r
iables at
s
tart
of
c
ode block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
doc:
u
p
da
t
e
documen
t
ation of o
p
tions and some
fu
n
ctions
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoo
l
a
ege
Polyhe
d
ron_Sample: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoolaege
Polyhedro
n
_S
a
mple: compute vertices of 1D poly
h
e
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhed
r
on_Samp
l
e
:
remove all equa
l
ities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
add possibility to use GL
P
K as LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaeg
e
Poly
h
ed
r
o
n
_Sam
p
le: po
s
tpone r
e
mova
l
of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Ve
r
do
o
laege
P
olyhedron_Sample: us
e
lp sol
v
e
r
fo
r
finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoo
l
aege
l
e
xmin: move choic
e
of lp s
o
lver
t
o
use
o
u
t
side b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolae
g
e
polys
i
gn
.
h: use c
o
rrect name of P
L
_polyh
e
d
r
o
n_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
b
a
r
v
inok_enumera
t
e: p
l
ug mem
o
ry leak in Bernou
l
li appr
o
ximation
commit
|
commitdiff
|
tree
next