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
setting an approximation method now implies polynomial approximation
2007-10-25
Sven
V
erdoolaege
setting an approximation method now implies poly
n
om
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_su
m
mate:
optional
l
y use Bernoul
l
i/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Bernoulli_sum
_
ev
a
l
u
e
: use
e
va
l
ue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoola
e
ge
b
a
rvinok/polylib
.
h: re
m
ove comp
a
tibility with ol
d
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
m
ove Vector_Oppo
s
e to Pol
y
Lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope_scan
:
ree
n
able --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remo
v
e_a
l
l_
e
qualities: keep
r
emo
v
ing e
q
ualities unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equa
l
itie
s
: handle empty
p
olyhedron
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
o
o
l
ae
g
e
remove_a
l
l
_
eq
u
alities: minor
c
ode clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
e
xport Polyhedron_Matri
x
_
V
iew
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_sig
n
ed_con
e
_c
o
ns
u
me
r
: clean up m
e
m
ory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdo
o
l
a
ege
Par
a
m_Inne
r
_Produc
t
: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdoolaeg
e
d
o
c:
f
ix typo i
n
Michele Ve
r
gne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
Add
m
issing files fro
m
polymake client to distrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
S
ven V
e
rd
o
olaege
Use gmp's gc
d
rat
h
er th
a
n Poly
L
i
b's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdo
o
lae
g
e
p
olymake/R
E
ADME:
menti
o
n
--wit
h
-barvinok configu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
rdo
o
l
a
ege
poly
m
ake/Makefile
.
in: add work-around for poly
m
ake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
evalue
.
c
: print_evalue
:
always print
n
ewline at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
options
.
c
:
fix typ
o
in --app
r
oximation-method
d
escription
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoolaege
top
c
om: fix heuristic fo
r
selecting
r
ows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
aeg
e
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
D
ocu
m
ent TOPCOM based
c
hamber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
s
t TOPCOM ch
a
m
b
er decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
V
erdo
o
laege
Optiona
l
ly us
e
TOPCOM to
c
ompute chamber deco
m
position
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
ol
a
ege
lexm
i
n: add
(pro
t
ected) missi
n
g a
l
gorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
Makefile
.
a
m: add ta
r
get for creat
i
ng dist with
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: update v
o
ti
n
g theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
do
o
laege
doc
u
m
en
t
ba
r
vinok_summ
a
te and barvinok_max
i
m
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n V
e
r
d
o
olaege
d
oc:
c
ons
i
s
t
ent use of Barvinok's
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
barvinok_summa
t
e
:
corre
c
t
optio
n
s de
s
cription
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolae
g
e
Do
c
u
m
ent Euler
-
Mac
l
auri
n
based summat
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc:
c
hange e
x
ample environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaeg
e
doc:
add
s
o
me hidde
n
sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another document
r
eferin
g
to
the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
add some tes
t
s for Euler-Mac
l
aurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler
-
Maclaurin based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdoolaege
Euler-M
a
claurin base
d
s
u
mmation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
decompose
r
.
cc: a
v
o
i
d
u
s
e
of
h
alf-open con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
g
e
barvinok_su
m
ma
t
e: verify so
l
ut
i
on
over whole
p
aram
e
ter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
in
t
r
o
duc
e
bar
v
inok_sum
m
ate as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
a
d
d e
v
alue
_
mul_
d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
evalue_{di
v
,mul}
:
h
and
l
e
some trivial c
a
ses more e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
r
d
oolaege
lattice_point:
expor
t
fractional_
p
ar
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
e
v
alue
.
c: extract common code for construction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
vo
l
ume
.
c: export Par
a
m
_
Poly
h
ed
r
on_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
er
d
oolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
fix type of ev
a
lue_
p
olynomial a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support c
o
mp
u
tat
i
on of Ber
n
oulli
p
olyn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
separ
a
te computat
i
on of Bernoulli coe
f
ficients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latti
c
e_point: use Param_Vertex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decompos
e
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_
d
omain
:
avoid use of macro parameter with
n
ame
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export
evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
U
se p
i
plib during ba
s
is reduction
i
f
n
o
other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled pipl
i
b
b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add
piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
U
se bundled Po
l
yLib by
defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
add polyl
i
b submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaeg
e
b
ern
s
te
i
n: allo
w
l
i
nking against uninstalled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Ver
d
oolaege
add more
mis
s
ing
a
sser
t
.
h
#includes
commit
|
commitdiff
|
tree
2007-08-29
Sven
Verdoolaege
add
dumm
y
implementations of
function
s
that dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
up
d
a
te
"Counting
w
ith rational genera
t
ing fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoolaege
ba
r
vino
k
.
cc:
s
plit off
p
a
r
t co
n
structing gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ve
r
dool
a
ege
barvinok
.
cc: split off part
d
ealing with
e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n
V
erdool
a
ege
*cou
n
ter: avoid
recomputa
t
ion of d
e
nominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaeg
e
counter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoola
e
g
e
change type of some "sign
"
s to int
as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc
:
update Algorith
m
i
ca publicatio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verd
o
olaege
e
v
a
lue
.
c:
mak
e
parameter na
m
es
o
f type
c
onst char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sve
n
V
e
r
doolaege
s
a
m
ple
.
c: Poly
h
edron_RemoveFixedCol
u
mns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n
Verdoolaege
ut
i
l
.
c: remove_equa
l
i
t
ies: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Par
a
m_
P
olyhedron_P
r
int: print
e
very
t
hing
t
o given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
o
o
laege
bar
v
inok_enumerate_wi
t
h_opt
i
ons:
d
on't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc: don't f
r
ee P argument
i
n
enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
remove_all
_
equa
l
itie
s
: also remov
e
equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
volume
.
c
:
avoid
w
arnings
commit
|
commitdiff
|
tree
2007-07-27
S
ve
n
Verdoolaege
export
P
aram_In
n
er_P
r
o
d
u
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdoolaege
b
a
r
vin
o
k_e
n
umer
a
te
.
c
c
: add minimal check
o
n input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more p
r
ototype
cha
n
ges to
const c
h
ar *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
evalue: print_evalue: make p
a
rameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven
Verdoolaeg
e
Always compile
p
olytope
_
sca
n
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
V
erdoola
e
ge
polytope
_
scan: use argp for argument par
s
i
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sven
Verdoolae
g
e
d
oc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
c
o
nfigure
.
in: allow specification of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
olaege
c
onsol
i
date calls to Polyhe
d
ron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
v
ol
u
me
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: add
$(EX
E
E
X
T
)
fo
r
cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
ven
V
erdoo
l
aege
Makefile
.
am: forc
e
rebuild
libraries in subdi
r
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
V
er
d
oolaege
only test barv
i
nok_
m
aximize
if it
h
as
b
een/can be
cre
a
ted
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
ba
r
vinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
c
c
:
w
ork arou
n
d in
c
omple
t
e namespace sup
p
or
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
scale
.
c: enumerate_narrow_flated: don't simpl
i
fy const
r
ai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
dec
l
ar
e
variabl
e
s at st
a
rt of code b
l
ock
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc
:
upd
a
t
e
d
ocumentation of options
and som
e
fun
c
tio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
erd
o
o
l
a
e
ge
Polyhedron_
S
ample: factor polyhed
r
on if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdool
a
ege
Po
l
yhedron_Sample: compute v
e
rtice
s
of
1
D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoolaege
Polyhed
r
on_Sample: remo
v
e all eq
u
alities
f
r
om polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
add poss
i
bility to use GLPK as
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aege
Polyhedron_Sample: postpo
n
e removal of rays until
w
e
.
.
.
commit
|
commitdiff
|
tree
next