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
doc: fix typo in Michele Vergne's name
2007-09-28
Sven Verdoo
l
aege
doc: fix typo in Michele V
e
rgne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add mi
s
s
ing fi
l
es from poly
m
ake client
t
o distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Ve
r
doolaege
Us
e
gmp's gcd rather than Po
l
yLib'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolae
g
e
polymake/README: mention --wit
h
-bar
v
inok conf
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
polymake/Makefile
.
in
:
add work-ar
o
und for p
o
ly
m
ak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven
Verdool
a
eg
e
evalue
.
c: p
r
int
_
evalue: alway
s
pr
i
nt new
l
ine at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
op
t
io
n
s
.
c:
fix typo
i
n --approxi
m
a
tion-method d
e
s
c
r
i
ption
commit
|
commitdiff
|
tree
2007-09-15
S
v
en Ver
d
oolaege
topcom: fix heurist
i
c for sel
e
c
ti
n
g
ro
w
s
t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
barvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdo
o
l
a
ege
Docu
m
ent TOPCOM based chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
test TO
P
COM chamber decom
p
ositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Optio
n
a
l
ly
u
se
T
O
P
COM to
c
ompute chamber de
c
ompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
lexm
i
n: add (protec
t
ed) missing algorith
m
include
commit
|
commitdiff
|
tree
2007-09-11
Sven
Ver
d
oolaege
Makef
i
le
.
am: add t
a
rget for creating
dist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc:
u
pdate voting the
o
ry r
e
ferenc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
documen
t
ba
r
v
inok_summ
a
te and barvinok_maximi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c: consis
t
e
nt use
of B
a
rvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
barvinok_
s
u
m
ma
t
e: corre
c
t
o
p
tions description
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
o
o
laege
Documen
t
Euler-Macla
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verdoolaege
doc: change ex
a
mpl
e
e
nvironment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add som
e
hidden sections to tabl
e
of
c
ontent
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
ege
doc:
a
noth
e
r
d
ocument
r
e
fering
t
o the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
l
aege
add some tests
f
or Eul
e
r
-
M
a
cl
a
uri
n
b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Ma
c
laurin ba
s
ed
s
um
m
ation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin
b
ased sum
m
ation
f
o
r 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolae
g
e
deco
m
poser
.
c
c
: avoid
use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
barvinok
_
summate: verify solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
introd
u
ce barvinok
_
sum
m
ate as a wr
a
p
per for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
evalue_{di
v
,mul}: hand
l
e some triv
i
al
ca
s
es more ef
f
icien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
la
t
tice
_
point: e
x
port
f
raction
a
l_p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
evalu
e
.
c
:
extract c
o
mmo
n
code
fo
r
cons
t
ruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
v
olume
.
c: expor
t
P
aram_Polyhedron_Fa
c
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add evalue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type
of evalue_poly
n
omial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
support computation of Bernoulli polynom
i
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
laege
separate com
p
utat
i
on of Bernoul
l
i
c
oe
f
f
i
c
i
ents and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
d
o
olaege
lattice
_
poin
t
:
u
s
e Par
a
m_Vertex_Common_D
e
nomi
n
a
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolae
g
e
mak
e
decomposer
.
h
self
-
contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoola
e
ge
red
u
ce_domain: a
v
oid use of ma
c
ro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
expo
r
t
e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
Us
e
p
i
p
l
i
b duri
n
g basis redu
c
t
i
o
n
if n
o
o
t
her L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
U
se bundled piplib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add piplib modul
e
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
laege
Us
e
bundl
e
d PolyLib by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
add po
l
ylib sub
m
odule
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
b
ernstei
n
: allow linking against
u
ninstalled,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verdoolaege
add more
missing
assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Ver
d
oo
l
aeg
e
add dummy imple
m
enta
t
ions
o
f functi
o
ns
that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
u
p
d
a
te "Counting wi
t
h ra
t
ional
generat
i
n
g
func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvinok
.
c
c
:
s
p
li
t
off part
c
onstructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
barvi
n
ok
.
c
c
:
s
pl
i
t off p
a
r
t
dealing
with ex
i
s
tent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoolae
g
e
*cou
n
ter:
avoid r
e
computation of de
n
ominator
s
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
ool
a
ege
cou
n
ter: remove red
u
n
d
ant me
m
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
c
h
a
n
ge type of some "sign"s to int as they
can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n
Verd
o
o
l
aege
doc: update Algori
t
hmica publ
i
c
a
tio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
aege
e
v
a
l
ue
.
c
: make parameter name
s
of
type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoola
e
ge
sample
.
c: Polyhedron_RemoveFixedColu
m
ns: c
o
r
r
e
ctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verd
o
olaege
util
.
c: remove_equali
t
ie
s
: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Ver
d
oolaeg
e
Param_Pol
y
h
edron_Print: print everythin
g
to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
lae
g
e
ba
r
vinok_enume
r
ate_with_option
s
: don't
add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvino
k
.
cc: don't
fr
e
e P argument in enu
m
erat
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
r
emo
v
e_a
l
l_equalities
:
als
o
r
e
m
ov
e
eq
u
alities
in contex
t
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
doolae
g
e
volu
m
e
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
e
x
port Param_Inner_Pr
o
duct
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Verdoolaege
barvino
k
_
enu
m
erate
.
c
c: add minim
a
l
che
c
k on
input
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
dool
a
e
ge
more protot
y
p
e
change
s
to const cha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolae
g
e
evalue: print_evalue: make parameter na
m
es cons
t
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Ver
d
oolaege
A
l
w
a
ys comp
i
l
e
polytope_sca
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolae
g
e
poly
t
ope_scan:
use arg
p
f
or argum
e
nt p
a
r
sing
commit
|
commitdiff
|
tree
2007-07-05
S
ven
V
erdoolaege
do
c
: fix
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdool
a
ege
c
o
nfigure
.
in: a
l
l
o
w specific
a
tion of
default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolidate calls to Poly
h
edron
2
Param_Domai
n
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
oolaege
Makefile
.
am: add $(EXEE
X
T) f
o
r cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
akefile
.
a
m
: forc
e
rebuild libraries in s
u
bdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Ver
d
oolaege
only test b
a
rvin
o
k_
m
aximize
if i
t
has been/can b
e
created
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
e
g
e
t
e
stlib
.
cc: wo
r
k aro
u
n
d
inco
m
p
l
ete namespa
c
e support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
scale
.
c:
e
numerate_na
r
row_flated: don't simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
declare vari
a
b
les a
t
start
o
f
code bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
doc: update docum
e
ntation of options
and some functio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
P
olyhedron_Sample: fa
c
tor p
o
l
y
h
e
dron if pos
s
ibl
e
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoola
e
ge
Polyhedr
o
n_S
a
mple: compute vertices of 1
D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Pol
y
hed
r
on_Sample: remove all equa
l
ities
f
ro
m
p
o
l
yh
e
d
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
ad
d
p
o
ssibili
t
y to
u
se
G
LP
K
as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
ly
h
edro
n
_Sampl
e
: postpone remo
v
al of ray
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doolaege
Poly
h
edron_Sampl
e
:
use
l
p
s
olver for
f
indin
g
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
lexmin:
move
c
h
o
i
ce of lp s
o
lver to us
e
o
utside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rd
o
ol
a
e
g
e
polysign
.
h
:
use correct name of PL_polyhedron_
a
ffine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
barvinok_enu
m
erat
e
: plug mem
o
ry leak
i
n Bernoulli
approximat
i
on
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
barvi
n
ok_
e
nu
m
erate_e_r: d
o
n'
t
assume Ad
d
Constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaeg
e
evalu
e
_frac2po
l
ynomia
l
: re
c
heck e
v
alue a
f
ter ev
a
lue_spl
i
t_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
ut
i
l
.
c:
L
i
n
e_Len
g
th: don't get confu
s
ed by positivit
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rd
o
olaege
Makefile
.
am: stop
after first f
a
iled test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
bernstein:
c
arr
y
th
r
ough variable renaming
to d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
doolae
g
e
bernst
e
in: don't assume input polynomi
a
l ha
s
been expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n V
e
rdoolaege
e
v
alue_read
.
c
: corr
e
ct constness of nam
e
in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdool
a
ege
evalue
_
r
e
a
d
: ac
c
ept con
s
tant mu
l
t
iple of
v
a
ri
a
ble without
.
.
.
commit
|
commitdiff
|
tree
next