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
Ver
d
oolae
g
e
Use gmp's gcd
r
ather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaeg
e
p
olymake
/
READ
M
E: mention --with-barvinok config
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolae
g
e
polymake/M
a
kefile
.
in:
a
dd work
-
around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
evalue
.
c: print
_
evalue: always print
n
ew
l
ine
at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verd
o
olaege
option
s
.
c
: fix typo in -
-
approxim
a
tion-me
t
ho
d
description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
oolae
g
e
topcom: fix heuristic
f
o
r sele
c
ti
n
g r
o
ws to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolae
g
e
b
arvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
l
a
ege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdoolaege
Document TO
P
COM based chamber decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
st TOPCOM chamber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
ol
a
ege
Opti
o
nally use TOPCOM to compute chamber decomposit
i
o
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (protec
t
ed) mis
s
ing algorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aeg
e
Makefile
.
am: add ta
r
get for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
d
o
c: update voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
ege
document barv
i
nok
_
summat
e
a
nd
b
arv
i
n
ok_
m
aximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
olaege
doc:
c
onsiste
n
t use of B
a
rv
i
nok's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
bar
v
inok_
s
um
m
a
t
e: correct options d
e
s
c
ription
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaege
Document Euler-Maclaurin based
summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add som
e
hidden sections to table of co
n
t
e
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
another
document re
f
e
ring to the librar
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
ad
d
som
e
tests for Euler-Maclaurin bas
e
d summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
Euler-M
a
claurin based summ
a
tion
for 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
rdool
a
ege
Eul
e
r-Maclaur
i
n ba
s
ed
summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoola
e
ge
d
e
c
omp
o
s
er
.
c
c
:
avoid use o
f
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
barv
i
nok_sum
m
ate: veri
f
y solution over wh
o
le parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barvi
n
ok_summate as a wra
p
p
e
r
for evalu
e
_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
add evalu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
g
e
e
v
alue_{div,mul}: ha
n
dle some t
r
i
vial
c
ases more effic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
lattice_poi
n
t
: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extr
a
ct common code fo
r
constructio
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
v
o
lume
.
c: export Param
_
Polyhedr
o
n_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
a
d
d evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix t
y
pe of evalue_poly
n
o
m
i
al argumen
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
ge
supp
o
rt computation of Bernoulli polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computation of Ber
n
o
u
lli coefficients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
latti
c
e_point: u
s
e Param_V
e
r
t
e
x
_Common
_
Denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaeg
e
make decomposer
.
h
self-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
dool
a
ege
reduce_domain: avoi
d
use of mac
r
o parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
export
e
v
a
lue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use piplib
during basis reduction if no
o
ther LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
e
ge
Use bundled piplib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add pi
p
l
i
b
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled PolyL
i
b by
default
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
rdoolaege
add poly
l
i
b submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstei
n
:
all
o
w linking agai
n
st un
i
nstalled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
er
d
oolaege
add more missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
V
e
rd
o
o
laege
ad
d
dumm
y
imple
m
e
n
t
ations of functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoo
l
aege
update "
C
ount
i
ng w
i
th rational genera
t
ing functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvi
n
ok
.
cc: split off part c
o
nstru
c
ti
n
g
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doola
e
ge
barvinok
.
c
c: spli
t
off part
d
ealin
g
with existent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verd
o
olaege
*counter
:
avoid recomputati
o
n
of denominators
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
co
u
nter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of som
e
"
s
ign"s to int as
they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n V
e
rdoolaege
d
o
c:
update Algorith
m
ica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make paramet
e
r names of type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Verdoolaege
samp
l
e
.
c: Polyh
e
dron_Remo
v
eFixedC
o
lumns:
c
orrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Verd
o
olaege
util
.
c: remove
_
equali
t
ies: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolae
g
e
Par
a
m_Polyhedron_Pr
i
n
t: pr
i
n
t
everyth
i
ng t
o
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
arvinok_enumerate_
w
i
t
h_options: do
n
't ad
d
con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
b
arvinok
.
cc: don't
f
r
ee P argume
n
t in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoola
e
ge
remo
v
e_all_equali
t
ie
s
: also r
e
move
e
q
ualities
in
c
ontext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
lae
g
e
volume
.
c: avoid warnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolae
g
e
export Param
_
Inner
_
P
rod
u
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoola
e
ge
barvinok_enumerate
.
cc
:
a
dd
mi
n
ima
l
check on in
p
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
more
p
rototype chan
g
e
s to co
n
st
c
har *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolae
g
e
evalue:
print_evalue: make pa
r
a
m
eter names const
ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdool
a
ege
Always c
o
m
p
ile polytop
e
_scan
commit
|
commitdiff
|
tree
2007-07-11
S
v
e
n Verdool
a
e
g
e
po
l
yto
p
e_scan: use argp
for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
r
d
oola
e
ge
doc:
f
i
x typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verd
o
olaege
configure
.
in: al
l
ow specific
a
t
i
o
n of default pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Ver
d
oola
e
ge
cons
o
lidate
cal
l
s to
Polyhedr
o
n2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaeg
e
volume
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
a
kefile
.
am: add $(EXEEXT)
f
or c
y
g
w
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
oolaeg
e
Makefile
.
a
m: for
c
e re
b
uil
d
librar
i
es in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only
t
e
s
t barvinok_maximize if it h
a
s
b
een/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
b
a
rvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ve
r
doolaege
test
l
ib
.
cc: wor
k
around incomp
l
ete
n
a
mespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
scale
.
c: enume
r
ate_narrow_
f
lat
e
d: don't simplify
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rdoolaege
d
e
clare
v
a
riab
l
es at start of co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc:
u
pdate doc
u
me
n
tation of options and some
fu
n
cti
o
ns
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdo
o
laege
Polyhedron_Sample: factor polyhedron
i
f possibl
e
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdoolaege
Polyhedron_Sa
m
ple: compute vertices of
1D pol
y
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhedron_Sample: remove all eq
u
a
l
ities
f
rom polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
a
d
d possibility to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaeg
e
Polyh
e
dro
n
_
S
ample: pos
t
pone
removal
of
r
ays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
Poly
h
edron_S
a
mple: use
lp solver for find
i
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
lexmin: move choice of lp so
l
v
e
r to u
s
e
o
utside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoo
l
aege
po
l
ysign
.
h
:
use corr
e
ct
n
ame o
f
PL_polyh
e
d
r
o
n_affine
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
barvinok_enumer
a
te: p
l
ug memory lea
k
in B
e
rnoul
l
i approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
barvinok_enumerate_e
_
r: don't assume Ad
d
Constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
evalue_frac2polyn
o
mial
:
recheck evalue aft
e
r evalue
_
split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaeg
e
util
.
c: Line_
L
eng
t
h:
don'
t
get confused by po
s
itivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Make
f
i
l
e
.
a
m
: stop
a
fter first fai
l
ed
test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
berns
t
ein: carry through variable rena
m
ing to deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
V
erdoolaege
bernst
e
in: don't assume inp
u
t polynomi
a
l has been ex
p
ande
d
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
evalue_read
.
c: correct
c
o
n
stness of name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verd
o
olaege
evalue_r
e
ad:
a
c
cept constant multi
p
le of v
a
ria
b
le wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdool
a
ege
evalue
.
c
: evalue_s
u
m: bett
e
r handlin
g
of negative v
a
lues
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n
V
er
d
ool
a
ege
evalue
.
c: reorde
r
_
te
r
m
s: fix
typo
commit
|
commitdiff
|
tree
next