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
barvinok 0.25
2007-09-11
Sven V
e
r
d
o
o
laege
b
arvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Document
T
OPCOM
based c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
Ver
d
oolaege
test TO
P
C
OM chamber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Op
t
ional
l
y
use
T
O
PCOM to com
p
ute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
l
aege
l
e
xmin: add (protected) missin
g
algorithm
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaeg
e
Makefile
.
a
m
:
a
d
d
t
a
r
g
e
t for c
r
eatin
g
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
ae
g
e
d
oc: u
p
dat
e
voting theory refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvinok_summ
a
te and barvinok
_
maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: cons
i
s
tent use of
Barvinok's initi
a
ls
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verd
o
o
laege
barvi
n
ok_summat
e
: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
Document
Eul
e
r-Maclaurin bas
e
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
oc: change
e
xam
p
le
e
n
vironme
n
t
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaege
d
o
c: add s
o
me h
i
dden sections to
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: anot
h
er docu
m
ent ref
e
ri
n
g t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoo
l
aege
ad
d
some tests for Eu
l
er-Macl
a
urin based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
E
u
l
e
r
-Maclaurin b
a
sed summation for
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
o
olaege
Euler
-
Macla
u
r
in based su
m
mation
f
or 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
decomposer
.
c
c:
a
void use of half-o
p
en cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaeg
e
barvinok_su
m
mate: verify sol
u
ti
o
n
ov
e
r whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoolaege
introduce barv
i
nok_summa
t
e as a wrap
p
er
for e
v
alue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
a
d
d
evalu
e
_
m
u
l
_
div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolaege
ev
a
lue
_
{div,mul}: handle some trivial cases
mor
e
ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
la
t
tice_po
i
nt: ex
p
ort
f
ractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
evalue
.
c:
extract com
m
on code for
co
n
struction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
volume
.
c: export
Param_Polyhedron_Face
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
fix type of evalue_polynomial argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
suppor
t
computation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate
computation of
Be
r
no
u
l
l
i
coefficients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
lattice_point:
use Pa
r
am_Ve
r
tex
_
Common_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
m
a
ke
d
e
c
o
mposer
.
h self-
c
o
ntained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
red
u
ce_domain: avoid use
o
f macro
parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
export
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
dool
a
ege
Use piplib during basi
s
re
d
uction if no other LP sol
v
ers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundl
e
d p
i
plib by default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaege
add pip
l
ib m
o
d
ul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
U
se bundled PolyLib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
p
olylib s
u
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
bernstein: a
l
low linking aga
i
nst uninstalle
d
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdoolaege
add more m
i
s
s
ing assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ve
r
doo
l
a
ege
a
dd d
u
mmy
implementa
t
ions of functions
t
hat depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "C
o
unting with rational
g
en
e
ra
t
i
ng functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
Verdoolaege
barvinok
.
cc:
s
p
lit off part con
s
tructi
n
g gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
oolaege
barvinok
.
c
c
: split off part
d
ealing with exist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolae
g
e
*counter: avo
i
d
r
e
computation of denomi
n
ators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoo
l
ae
g
e
counte
r
: rem
o
ve red
u
ndant
member
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoolaege
change type
o
f
s
ome "
s
ign"s to int
as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: update Algorit
h
mica publication
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Ver
d
oolaege
evalue
.
c:
make pa
r
ameter names of type const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
ven Verd
o
o
l
aeg
e
sample
.
c: Po
l
yhedron
_
RemoveFixedC
o
lumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
erdoolaege
util
.
c: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaeg
e
Param_P
o
lyhedron_Print: pri
n
t
e
veryth
i
ng to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdo
o
laege
bar
v
inok_enumerate_with_optio
n
s: don'
t
a
d
d co
n
text
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
V
e
r
doolaege
barvino
k
.
cc:
d
on't free P argu
m
ent
i
n
e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all_equal
i
ties: also remove
equaliti
e
s in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
d
o
o
laege
volume
.
c:
avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Verdoolaege
exp
o
r
t
Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Verdoolaege
b
a
rvinok_enumerat
e
.
cc: add min
i
ma
l
chec
k
on inpu
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Ver
d
oolaege
more p
r
ot
o
type
chan
g
es to co
n
st ch
a
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erdoolaege
evalue: print_evalue: make
parameter nam
e
s const ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Alw
a
ys co
m
pile
p
oly
t
o
p
e_scan
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
polytope
_
scan:
u
s
e
argp for
a
r
gument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erd
o
olaege
configure
.
i
n
: allo
w
specification of def
a
u
l
t prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
cons
o
lidate calls to Polyh
e
dron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
erdoolae
g
e
vol
u
m
e
.
c:
fix typo in commen
t
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoolaege
Makefile
.
a
m
: add
$(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
Makefile
.
am: force
r
ebuild libraries in
subd
i
rs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en
V
erdoolaege
only tes
t
barvi
n
ok_maximize if
i
t
has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaeg
e
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
tes
t
li
b
.
cc: work
ar
o
und inco
m
plete names
p
ace su
p
por
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erdoolaege
scale
.
c: enumerate
_
n
a
rrow_fl
a
ted: do
n
'
t
simplify c
o
n
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
declare variables at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: update do
c
ument
a
tion of optio
n
s
a
nd so
m
e functio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
laege
Polyhedron_Sample: fact
o
r polyhedron if possi
b
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
Polyhed
r
on_
S
a
m
ple:
c
o
mpute vertices of 1
D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyh
e
dron_Sample: remove all equaliti
e
s from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
add
possi
b
i
l
it
y
to use GL
P
K as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
l
a
e
ge
Polyhedro
n
_Samp
l
e
: post
p
one
r
emoval of rays unt
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
e
rdoolaege
P
o
lyhedron_Sample: u
s
e lp solver for
f
ind
i
ng range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: mov
e
choice of lp solver
to use outside bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
la
e
g
e
po
l
ysig
n
.
h:
u
s
e correc
t
n
a
me of PL_polyhedron_
a
ffi
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvin
o
k_enume
r
ate:
p
lug m
e
mo
r
y leak in Bernoulli approximatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
o
laeg
e
barvinok_e
n
u
merate_e
_
r: don't assume Ad
d
Co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
evalue
_
frac2polynomia
l
: reche
c
k evalue
a
fter evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
olaege
ut
i
l
.
c:
L
ine
_
Len
g
th: don't get confus
e
d b
y
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
doolaege
Ma
k
efile
.
am:
stop afte
r
first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
bernstein
:
c
arry thro
u
gh variab
l
e renaming to deb
u
gg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoolaege
bernstein: don't
as
s
ume input polyno
m
ial has bee
n
ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
a
e
ge
eva
l
ue_
r
ead
.
c: co
r
rect constness of
name in p
a
ra
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
eva
l
ue
_
read: accept cons
t
ant
multip
l
e of
v
ariable w
i
t
hout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
en Ve
r
doo
l
aege
e
v
al
u
e
.
c:
evalu
e
_
s
um:
b
e
tter
h
andling o
f
negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
evalue
.
c: re
o
rder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoolaege
evalue: declar
e
f
irst argument of
e
m
ul con
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
evalue
.
c: emul: don't use explicit_co
m
pl
e
ment on
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Ve
r
doolaeg
e
add a test for evalue_sp
l
it
_
periods
commit
|
commitdiff
|
tree
2007-06-13
H
a
rald
.
Devos@eli
s
.
.
.
f
i
nd_fractio
n
al_with_max_periods: initialize loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c:
evalue_
s
plit_periods:
make sure
s
e
l
ected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Verd
o
ol
a
ege
eval
u
e
.
c: polynomial_projectio
n
:
u
s
e
eva
l
ue_ex
t
ract_
a
ffine
commit
|
commitdiff
|
tree
next