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
document barvinok_summate and barvinok_maximize
2007-09-10
Sven
Verdoolae
g
e
docu
m
ent barvinok_summate
a
n
d
barv
i
nok
_
ma
x
imize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdool
a
e
g
e
doc:
c
o
n
s
i
stent us
e
of Barvinok's init
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
barv
i
no
k
_summate: co
r
r
ect options
d
e
scriptio
n
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
do
o
laege
D
o
cu
m
e
nt E
u
le
r
-Ma
c
laurin b
a
sed summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: ch
a
n
g
e
example envi
r
onme
n
t
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
e
rd
o
olaege
doc: a
d
d some hidden sections to ta
b
le of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
do
c
:
a
n
o
t
her document refering to the library
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
d
o
olaege
add
so
m
e t
e
sts for Euler
-
Maclaurin
based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
la
e
ge
Euler-Macla
u
rin
b
ased summa
t
i
o
n f
o
r
1D
problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
Euler-M
a
cla
u
rin based s
u
mmation for 2D pr
o
blem
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
decompo
s
er
.
cc: avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ba
r
vinok_s
u
mm
a
te:
verify solut
i
o
n
over whole
par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdool
a
ege
introduce
b
arvinok_summate as
a
w
rapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdo
o
l
aege
add e
v
alu
e
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
evalue_{div
,
mul}: handle some trivial cases m
o
r
e
effi
c
iently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: expo
r
t
fractio
n
al_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
evalu
e
.
c: extract c
o
mmon code for construction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
volume
.
c: export
Param_
P
o
l
yhedr
o
n
_
F
a
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add e
v
alue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix
t
ype of
evalue_pol
y
nomi
a
l argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
sup
p
ort computatio
n
o
f
Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolae
g
e
s
epara
t
e computation of Bernoulli coe
f
f
i
ci
e
nts
an
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
eg
e
la
t
t
ice_point: use Param_Vertex_Comm
o
n_Den
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
m
ake decomposer
.
h s
e
l
f
-contai
n
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaeg
e
reduce
_
domai
n
: avoid use
o
f macro pa
r
ameter with
n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
Use piplib during bas
i
s reduction if no other
L
P solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolae
g
e
Use
b
u
ndled pi
p
lib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
add po
l
ylib submodule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoo
l
aege
bernst
e
in: allow li
n
king agains
t
uninstal
l
ed, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
e
n Verdoolaege
a
d
d
more missing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Ver
d
oolaege
a
dd dummy implementations of
functions that
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
upd
a
te
"
Count
i
n
g with rational g
e
n
e
rating
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
e
rdoolaege
barvin
o
k
.
c
c
: split
off part co
n
structing
gene
r
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
ba
r
vinok
.
c
c
: split off
p
art dealing
w
i
th existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
lae
g
e
*cou
n
ter: a
v
o
i
d
recomputa
t
ion of d
e
nominato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter: remove re
d
undant
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
change type of s
o
m
e
"sig
n
"
s
t
o
int
a
s th
e
y ca
n
o
n
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Ve
r
doolaege
doc: up
d
a
te
A
lgorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven
Verdoolaege
evalue
.
c: ma
k
e paramet
e
r
n
a
mes
of
t
ype
const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verd
o
olaeg
e
sample
.
c: Polyhedron
_
Remove
F
ixedCo
l
u
m
n
s: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
e
rdoolaege
util
.
c: re
m
ove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param
_
Polyhedron_Print: pr
i
nt everythi
n
g to
g
iven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumerate
_
w
ith_options:
d
on
'
t
add contex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
b
arvi
n
ok
.
cc: d
o
n't free P argument in enume
r
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Ve
r
doolaege
remov
e
_all_equaliti
e
s
:
also remove
eq
u
a
lities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
r
d
oolaege
volume
.
c: a
v
oid
warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven
Verdoolaege
export Param_
I
nner_P
r
oduct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvino
k
_e
n
umera
t
e
.
cc:
a
dd m
i
nimal ch
e
ck on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
more p
r
otot
y
pe change
s
t
o
const c
h
ar *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
olaege
evalue:
p
r
i
nt
_
evalu
e
:
m
ake pa
r
a
me
t
er names const
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoolaege
Always comp
i
le po
l
y
t
ope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Ver
d
o
o
l
aege
poly
t
ope_s
c
an: us
e
argp
for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
ven
V
erdoola
e
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoola
e
ge
c
o
nfi
g
ure
.
in: allow specification of
d
efault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolidate calls to Po
l
y
h
edron2
P
aram_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
do
o
laeg
e
volu
m
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoola
e
ge
Ma
k
ef
i
le
.
am: a
d
d $(EXEEX
T
) fo
r
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
er
d
oolaeg
e
Make
f
i
l
e
.
am:
f
orce
r
ebuil
d
l
i
braries in subdirs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
o
n
ly test barvin
o
k_maximiz
e
if
i
t has b
e
en/can be cre
a
ted
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
d
oo
l
a
ege
barvinok
0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
testlib
.
c
c:
wor
k
a
r
o
und inco
m
plete name
s
p
ace sup
p
ort
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enu
m
erate_nar
r
ow_flated: don't simplify con
s
train
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
declar
e
variables at star
t
of code bl
o
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
do
o
laege
d
oc: update doc
u
mentation
of options and some fun
c
tions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedron
_
Sa
m
p
le:
f
a
c
t
or pol
y
hedro
n
if pos
s
i
b
le
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
Polyhedron_Sample
:
co
m
pu
t
e vertices of 1D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdool
a
ege
Polyhedr
o
n_Sa
m
p
le: remove all
eq
u
a
l
ities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
add possibil
i
ty to use GLPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
ol
a
ege
Polyhedron_Sample: postp
o
n
e re
m
oval of
rays until
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: use lp solver for f
i
n
ding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
le
x
min: mo
v
e
c
hoi
c
e of lp solver to use
o
ut
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdool
a
ege
po
l
ysign
.
h
:
use correct name
of PL_polyhed
r
o
n_
a
ffine_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rd
o
ola
e
ge
b
arvinok_en
u
m
e
r
a
te:
p
lug memor
y
leak in Bernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolaeg
e
b
a
rvinok_enumerate
_
e_r: don't assume
Ad
d
Constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
e
v
alue_frac2
p
olynomial: re
c
he
c
k evalue af
t
er
e
v
a
lue_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Ve
r
doolaege
util
.
c:
L
ine_Length: don't ge
t
conf
u
s
e
d
b
y positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
M
akefile
.
a
m: stop after first
f
ai
l
ed test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
Ve
r
d
o
olaege
b
e
rnstein
:
carry t
h
rough variabl
e
renaming to deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven
Verdoola
e
ge
bernstein: don't
a
s
sume
i
npu
t
p
o
lynomi
a
l has been expa
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
evalue_read
.
c: correct constness of n
a
me
in
p
arameter_n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoolaege
eva
l
ue_read: accept cons
t
ant multiple of
v
aria
b
le
w
ithout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
ven
Verdoolaege
eval
u
e
.
c:
e
v
a
lue_sum: better handling of
negativ
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n Verdoolaege
evalue
.
c: reorder_terms:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
d
oolaege
e
v
alue: declare first argu
m
ent of em
u
l const
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n Ve
r
doolaege
e
v
a
l
ue
.
c: emul: don'
t
use explicit_
c
ompl
e
ment
o
n argument
s
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolae
g
e
add a test f
o
r evalue_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-06-13
H
a
rald
.
Devos@el
i
s
.
.
.
find_
f
ractional_with_m
a
x_pe
r
io
d
s: initialize
lo
c
al
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aege
ev
a
l
u
e
.
c
: eval
u
e_split_periods
:
make sure sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdool
a
ege
evalue
.
c: polynomia
l
_
proj
e
ction: use
evalue_ex
t
ract_a
f
f
ine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
ad
d
a t
e
st
fo
r
barvinok_maximiz
e
and
bar
v
inok_summa
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
ola
e
ge
barvinok_s
u
m
m
a
te:
s
upport verification o
f
result
s
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
eval
u
e
.
c
:
evalu
e
_sum: split into orthant
s
+ some refac
t
o
ring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
olaeg
e
ba
r
vinok_union: use argp for argumen
t
pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
S
v
en V
e
rdoolaege
b
a
rvinok_enumerate_union_series_with_o
p
tio
n
s: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_
c
dd
.
cc: get
c
orrect dual soluti
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
o
laege
basis_
r
eduction_glpk
.
c: cor
r
ectly set
type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
b
a
sis_r
e
duction_gl
p
k
.
c:
c
he
c
k for sanity of so
l
ution
commit
|
commitdiff
|
tree
next