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
polymake/README: mention --with-barvinok configure option
2007-09-21
Sve
n
Verdo
o
laege
p
o
lymake/RE
A
DME: mention
-
-
w
ith-barvi
n
ok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/M
a
kefile
.
i
n
: add work-aro
u
nd for po
l
ymak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c
: p
r
int
_
evalue:
a
lways print newlin
e
at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verd
o
olaege
options
.
c
:
fix
typo i
n
--appr
o
ximati
o
n-method de
s
cription
commit
|
commitdiff
|
tree
2007-09-15
Sven
Ve
r
doolaeg
e
topcom: fix heurist
i
c for
selecting rows to
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolae
g
e
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
Merge branch 'to
p
c
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
D
ocument TOPCOM based cha
m
be
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
test TOPCO
M
chamber decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally us
e
TO
P
COM to comput
e
ch
a
mber
d
e
c
ompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
lexmin: add (protected) mi
s
sing algo
r
ithm i
n
c
l
u
d
e
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
M
a
kefile
.
am: add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
up
d
ate
v
o
t
ing theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
docume
n
t barvinok_su
m
mate and
b
arvinok_
m
axim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: consist
e
n
t
use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
o
laege
barvi
n
o
k_summate
:
c
o
rrect op
t
io
n
s description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Document
E
uler-
M
aclaurin bas
e
d sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: ch
a
ng
e
example env
i
ronment
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: add some hidden sections to table o
f
contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: another
document refering to
t
he library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
add some
t
e
sts f
o
r Euler-M
a
claurin
ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaeg
e
Euler-Macl
a
ur
i
n based summation
f
o
r 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolae
g
e
Euler-Macl
a
ur
i
n based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
decomposer
.
cc:
a
void use of half-open
c
ones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
barvin
o
k_
s
umma
t
e: verify solution
o
v
e
r whole pa
r
amete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
introduce barv
i
nok_summate a
s
a wrapper
f
or evalue_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolae
g
e
a
dd e
v
a
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div,mul}: han
d
le some t
r
ivial cases mo
r
e ef
f
icient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
l
attice_point: export fractional_
p
a
r
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aege
evalue
.
c: extract commo
n
code f
o
r const
r
u
c
t
ion base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olae
g
e
v
o
lume
.
c:
e
xport Param_Poly
h
edro
n
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verd
o
olaege
add
e
value
_
mul
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
olaege
fix type of evalu
e
_
p
olynomial argument
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
e
g
e
suppo
r
t
c
omput
a
tio
n
of B
e
rnou
l
li polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
l
a
ege
separate computation of Bernoulli coeffic
i
en
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolae
g
e
lattic
e
_point: u
s
e
Param_Vertex_
C
o
mmon_Denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
make decomposer
.
h self
-
contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
re
d
uce_domain: avoid use of macro parame
t
er with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
e
x
port evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use pip
l
ib du
r
ing basi
s
r
e
duction if
no othe
r
LP s
o
l
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
Us
e
b
u
n
dl
e
d piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
r
doolaege
add
p
i
pli
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
Use
b
undled Po
l
yLib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add polylib submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
bernstei
n
: allow linking against uninstalle
d
, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Verd
o
olaege
add
m
o
r
e
miss
i
n
g
a
sser
t
.
h
#i
n
clude
s
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
V
e
rdoola
e
ge
add
dummy impl
e
m
entations o
f
functions that depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
update "Counting with rational
g
en
e
rating f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ve
r
doolaeg
e
b
arvinok
.
c
c
: s
p
lit off pa
r
t constructing
g
eneratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
erdoolae
g
e
barvinok
.
c
c
: split o
f
f
pa
r
t deal
i
ng w
i
th e
x
istential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*cou
n
te
r
: avoi
d
recomputation of denom
i
nators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Ve
r
d
o
o
laege
counter
:
r
e
move redundant mem
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verd
o
olaeg
e
change type o
f
som
e
"sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: update Al
g
orithmic
a
p
u
b
l
icati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make parameter names of ty
p
e const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: Polyh
e
d
ro
n
_RemoveFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
erdoolaege
util
.
c: remove_equali
t
ies: fix
t
yp
o
commit
|
commitdiff
|
tree
2007-07-30
S
ve
n
Ve
r
doolaege
Par
a
m_
P
o
lyh
e
dron_Print: print
e
ver
y
thin
g
to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumerate_with_opt
i
on
s
: don't ad
d
c
ontext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
ba
r
vi
n
o
k
.
cc: don't free
P
argument in
e
n
umerat
e
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
re
m
ove_
a
ll_equal
i
ties: also remove
equalities in
c
o
ntex
t
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
er
d
oolaege
v
olume
.
c
: avoid warning
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoola
e
ge
export Param_
I
n
n
er_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
d
o
o
laege
bar
v
inok_en
u
merate
.
cc: add minimal check
o
n in
p
ut
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more prototyp
e
c
h
anges to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalu
e
: print_evalue: ma
k
e
p
arameter names
c
o
nst cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
e
r
doolae
g
e
Always compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
Verd
o
olaege
poly
t
o
p
e_s
c
an:
u
se
argp for arg
u
ment pa
r
s
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdo
o
laege
configure
.
in: allo
w
specification of
d
efault pr
e
fix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolae
g
e
consolida
t
e
ca
l
l
s
to Polyhedron2Para
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
ve
n
Verdoolaege
volume
.
c
:
f
ix typo i
n
comment
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoolaege
Makef
i
le
.
a
m
: add $(EX
E
EXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Makef
i
le
.
a
m: forc
e
rebuild libraries in
s
u
b
d
i
r
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
o
olaege
only tes
t
barvinok_maxi
m
ize if i
t
has b
e
en/can be cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoola
e
ge
t
e
stlib
.
cc: w
o
rk a
r
ound incom
p
l
e
te namespac
e
suppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
scale
.
c: enumerate
_
narrow
_
fla
t
ed
:
don't simplify c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
o
la
e
g
e
d
ecla
r
e va
r
iables at
sta
r
t of cod
e
b
lock
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoola
e
ge
d
o
c
:
update
d
ocum
e
ntatio
n
of options and
s
o
me f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
Polyhedro
n
_Sa
m
p
l
e:
f
actor polyhe
d
ron
if po
s
sible
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Polyhedro
n
_Sample: compute vertices of 1
D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
g
e
Po
l
yhedron_Sample: r
e
move
all e
q
ualities
f
ro
m
polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doo
l
aege
add possibility to
use GLPK as LP
solver
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
Polyh
e
dron_Sample: postpo
n
e remo
v
al o
f
ray
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verdoola
e
ge
P
o
lyhedron_Sample: use lp solv
e
r
for findi
n
g
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexm
i
n
: move choice of lp solve
r
to use
o
utside
b
asis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
pol
y
s
i
gn
.
h: use cor
r
ect name of PL_pol
y
hed
r
on
_
a
f
fine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doola
e
g
e
barvinok_enume
r
ate
:
p
l
ug memory leak
i
n
B
ernoulli approxima
t
ion
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoolaege
barvinok_
e
n
u
merat
e
_e_r: don't assu
m
e Add
C
onstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
e
r
d
oolaege
ev
a
lue
_
f
r
ac2polynomia
l
: recheck evalue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
util
.
c: Line_Le
n
gth:
d
on't get co
n
fused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Makefile
.
am:
s
top afte
r
first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
b
e
r
n
stein: ca
r
ry
t
hrough va
r
iable
renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
ola
e
ge
bernstein: don'
t
assume
i
n
p
ut polynomial
has been e
x
panded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
aege
evalue_read
.
c: correct constness of name in par
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Ver
d
oolaege
ev
a
lue_
r
ead: accept co
n
stant multip
l
e of v
a
r
iable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n
Verdool
a
e
g
e
evalue
.
c
: evalue_
s
um
:
better handling of negati
v
e val
u
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven V
e
rdoolaege
evalue
.
c
:
r
e
orde
r
_terms: fi
x
typ
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue:
declare
f
irst
a
rgum
e
n
t
of
e
m
ul
c
o
n
st
commit
|
commitdiff
|
tree
next