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
Use gmp's gcd rather than PolyLib's
2007-09-21
Sven Verdoo
l
aege
Use g
m
p's gcd rather
t
han PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
polymake/README: mention
-
-with-
b
ar
v
ino
k
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
polyma
k
e/Makefile
.
in: ad
d
work-a
r
ound for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
evalue
.
c: prin
t
_ev
a
lue
:
a
l
ways print new
l
i
ne at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Verdo
o
laege
options
.
c: fix typo in -
-
app
r
oximati
o
n
-
method description
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoolae
g
e
top
c
o
m: fix
he
u
ristic for
s
e
lecting r
o
w
s
to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
barv
i
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
Merge branch 'to
p
co
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ver
d
oolaege
Docu
m
ent
T
OPCO
M
based cha
m
ber deco
m
pos
i
ti
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
te
s
t
T
OPCOM
ch
a
mber
d
ecompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
o
l
a
ege
Op
t
ionally
use TOP
C
OM
t
o
compute cham
b
er decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
le
x
m
i
n: add (protect
e
d)
m
issin
g
algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Make
f
i
l
e
.
a
m
: add target
f
or cre
a
ting dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update
v
o
t
ing the
o
r
y
referenc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
do
c
u
ment
bar
v
inok_summat
e
and
b
a
rvino
k
_
m
aximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: consist
e
nt use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
barvinok_summate:
c
o
rrec
t
op
t
ion
s
descript
i
on
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
Document Eul
e
r
-Maclaur
i
n based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aeg
e
d
oc: change examp
l
e e
n
viro
n
m
ent
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: add som
e
hidden sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaeg
e
doc: a
n
o
the
r
document r
e
ferin
g
to t
h
e
libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ola
e
ge
add some test
s
for Euler-
M
aclaur
i
n
b
a
sed
summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolae
g
e
E
u
le
r
-Mac
l
aurin ba
s
ed
s
ummation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Euler-Maclaurin base
d
sum
m
ation for 2D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
decomposer
.
cc: avo
i
d use of half-open
co
n
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
barvinok
_
summate: v
e
rify solution
o
v
e
r whole par
a
met
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
d
oola
e
g
e
introduce barvinok
_
summate
a
s a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
add eva
l
u
e
_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erd
o
o
l
a
e
g
e
evalue_{div,mul}: han
d
le some trivia
l
cases more
efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_poin
t
: export fractional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
evalue
.
c: ext
r
act commo
n
co
d
e for constr
u
ction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
vol
u
m
e
.
c:
e
x
p
o
rt Param_Polyhedron_F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
a
e
ge
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
fi
x
type of e
v
alue_p
o
l
y
nomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
support computation of
Bernoul
l
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
sep
a
rate computation o
f
Bernoulli coefficients a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
lattice_point: u
s
e Param_
V
erte
x
_Common
_
Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
make deco
m
poser
.
h se
l
f
-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
red
u
ce_d
o
main: a
v
oid u
s
e
o
f macro p
a
ra
m
eter
w
i
th n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
expor
t
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib during bas
i
s re
d
u
ct
i
on if
no
o
ther LP so
l
v
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use
b
un
d
led piplib b
y
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
add
p
ipl
i
b module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
Use bundled Poly
L
ib by d
e
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
berns
t
e
in:
al
l
o
w
lin
k
in
g
ag
a
inst uninstal
l
ed, but b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verdoolaege
add more missing
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verd
o
olaege
add dummy
implementations
o
f f
u
nctio
n
s that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoola
e
ge
up
d
a
te "Counting with ratio
n
al generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barvin
o
k
.
cc
:
sp
l
it off part con
s
tructi
n
g generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
b
arvinok
.
cc:
s
plit o
f
f
p
a
rt dealin
g
with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Ve
r
do
o
laege
*coun
t
er: avoid
recomputation of denominator
s
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ve
n
Verdoolaege
counter: rem
o
v
e redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
change type of some "sign"
s
to int as t
h
ey c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
doc: upda
t
e
Algorit
h
mi
c
a pub
l
ication
commit
|
commitdiff
|
tree
2007-08-10
Sve
n
V
e
r
doolae
g
e
ev
a
lue
.
c
:
m
ake parameter na
m
e
s
o
f
type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoola
e
ge
sample
.
c: Polyhedro
n
_RemoveFix
e
d
Columns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n Verd
o
olaeg
e
u
t
i
l
.
c
:
r
e
move
_
eq
u
alit
i
es: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Verdoolaege
Param_Polyhedron_Pr
i
nt: print every
t
hing to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumerate_wi
t
h_option
s
: don't add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
bar
v
i
n
ok
.
cc: don
'
t free
P
argument in enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all_eq
u
alities: al
s
o rem
o
ve equ
a
l
ities in c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
S
ven V
e
rdoolaege
vo
l
um
e
.
c
:
a
void wa
r
n
i
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sven V
e
rdoolaege
e
xport Pa
r
am_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
b
arvino
k
_enumerate
.
c
c
: add
mi
n
imal check on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
doo
l
aege
mor
e
p
r
otot
y
p
e
c
hanges
to co
n
st cha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
V
e
rdoolaege
evalue: print_evalue:
m
ak
e
para
m
eter names con
s
t ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
Always compile p
o
lyto
p
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolaege
polytope_scan: use a
r
gp for ar
g
u
m
e
nt parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Ve
r
do
o
l
aege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
con
f
i
g
ur
e
.
in:
allow specificat
i
on
of
d
efault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoolaege
consolidate calls t
o
P
olyhe
d
r
on2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
vo
l
ume
.
c: f
i
x typo in c
o
mment
commit
|
commitdiff
|
tree
2007-07-01
S
ven Ver
d
oolaege
Mak
e
file
.
am: add $(EXEEXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makef
i
le
.
am: for
c
e rebuild librarie
s
i
n
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
rd
o
o
laege
only test barvi
n
ok_maximize
if it ha
s
been/can be cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testl
i
b
.
cc:
work a
r
ound inc
o
mplete namespace supp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enumerate_narrow_
f
lated: don't s
i
mpli
f
y constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
declare
v
a
r
i
able
s
a
t
start
of
code
b
l
o
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
doc: up
d
ate document
a
tion of opt
i
on
s
and
some f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Polyhe
d
ron_Sample: factor polyhedron if pos
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
Polyhedron_Sa
m
ple:
compute
vertice
s
o
f 1D
p
ol
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdo
o
laeg
e
P
o
lyhedron_Sam
p
le: remove all equaliti
e
s from p
o
lyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoo
l
a
ege
add poss
i
bili
t
y to use GLPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Pol
y
he
d
r
on
_
S
amp
l
e: po
s
tpon
e
rem
o
val
o
f rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
P
o
lyhed
r
o
n
_Sam
p
l
e
:
use lp so
l
ver for fin
d
i
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
do
o
laeg
e
lexmin:
m
o
ve cho
i
ce
o
f lp solver to use outside bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h: use cor
r
ect name of PL_pol
y
hedron_affine_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
barvinok_enumera
t
e
:
plu
g
memory leak in B
e
rnoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
olaege
barvinok_enumerate_e_r: don't assume AddConstraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
e
rdoolaege
evalue
_
frac2p
o
lynomial: rech
e
c
k evalue
after
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaeg
e
uti
l
.
c: L
i
ne_Length: don't get confu
s
ed by pos
i
tivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
dool
a
ege
Make
f
ile
.
a
m
:
stop after
f
irs
t
failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
berns
t
ein: car
r
y through va
r
iable
r
enaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
b
ernstein: don't a
s
s
u
me input p
o
l
y
no
m
ial has be
e
n
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
e
value_r
e
ad
.
c: corr
e
ct constness of name in par
a
met
e
r_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
evalue_read:
a
c
c
e
p
t co
n
stant mu
l
tiple
o
f
varia
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
eva
l
ue
.
c: evalue_sum: be
t
ter handli
n
g of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
erdoo
l
aege
eval
u
e
.
c:
r
e
o
r
der_terms:
fix typo
commit
|
commitdiff
|
tree
next