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: add some hidden sections to table of contents
2007-09-10
S
ven Verdoo
l
a
ege
doc:
a
dd
s
om
e
hidd
e
n
sect
i
ons to tab
l
e of conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
dool
a
ege
doc: another document refering to the library
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erd
o
olaege
add some tests for
Euler-Maclaurin bas
e
d summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
ege
Eul
e
r-Mac
l
au
r
i
n ba
s
ed
s
ummation for 1D
problems
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoola
e
g
e
Euler-Macl
a
urin based su
m
mation for 2D pro
b
le
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
dec
o
mposer
.
cc: avoid
use of h
a
lf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
barvinok_summate: verify soluti
o
n over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
introd
u
ce
barvinok_su
m
mat
e
as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
e
g
e
evalue_{di
v
,mul}
:
handle some trivial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattic
e
_point
:
expo
r
t fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
evalue
.
c: extract common code
for c
o
nstructi
o
n b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
volume
.
c: expo
r
t Param_Polyhed
r
on_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
a
dd evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
ola
e
g
e
fix type of evalue_polynomia
l
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support comp
u
tation
of Bernoulli pol
y
nomi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
s
eparat
e
co
m
p
utati
o
n of Be
r
n
o
ulli coeffici
e
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
aege
lattice_
p
oint
:
use Para
m
_
Vert
e
x_Common
_
D
e
nomin
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
mak
e
decomposer
.
h self-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_do
m
a
i
n
: avoid use
of macro param
e
ter with
n
ame
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoola
e
ge
export evalue_
d
up
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaeg
e
U
s
e
piplib d
u
r
ing basi
s
reduction if no
oth
e
r L
P
s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
er
d
oola
e
g
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add p
o
lylib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
ege
berns
t
ein: allow linking against uninsta
l
l
e
d,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven
V
erdo
o
l
aege
add mo
r
e missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verd
o
olaege
add dummy implementations o
f
functi
o
ns t
h
at depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
updat
e
"
C
o
u
nting
with
rational
gen
e
rating f
u
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
barvinok
.
cc: sp
l
it off part constructing
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
eg
e
barv
i
nok
.
cc
:
split off part de
a
l
i
ng with existent
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Ver
d
oolaege
*counter:
avo
i
d recomputa
t
ion of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter: remove re
d
undant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
h
a
n
ge type of so
m
e "sign"s to int as they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
d
oc: update A
l
go
r
ithmica publi
c
a
tio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
e
value
.
c: make
paramete
r
names
of
t
y
pe const ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
en Ve
r
dool
a
ege
sa
m
ple
.
c: Po
l
yhedron_Re
m
oveFixedColumns:
cor
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Ver
d
oolaege
ut
i
l
.
c: r
e
mov
e
_e
q
u
a
lities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
Verdoolaege
Param_Polyh
e
dron_Pr
i
nt: p
r
int everythi
n
g to given
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
b
arv
i
n
ok_enumerat
e
_w
i
th
_
options: don't
add con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoo
l
aege
b
a
r
vi
n
o
k
.
c
c: don't free P argumen
t
in enu
m
e
r
ate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
o
o
laege
remove_all_equalities: also
r
e
m
ov
e
e
qualitie
s
in
c
ontext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
volu
m
e
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Verdoolaege
expo
r
t Param_I
n
ner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdool
a
ege
barvinok_enumerate
.
cc: add min
i
mal check on input
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdoola
e
ge
m
o
re pro
t
otype changes
to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verd
o
olaeg
e
e
value: prin
t
_e
v
al
u
e: make par
a
me
t
er na
m
es const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdo
o
l
aege
Always co
m
pile polytope_sca
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
oolaege
poly
t
ope_sc
a
n:
use
a
rgp for
argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
V
erdoolaege
doc
:
fix
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdo
o
laege
c
onfigure
.
in: allow specificat
i
on of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolid
a
te
cal
l
s to
Polyhedron2
P
aram_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volu
m
e
.
c: fix typo
in
comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
r
d
ool
a
e
g
e
M
a
kefile
.
am
:
a
dd $(EX
E
E
X
T) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoolaege
Make
f
ile
.
am
:
force rebu
i
ld libraries in
s
ubdi
r
s if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
aege
o
n
ly t
e
s
t
b
a
rvino
k
_
m
a
ximiz
e
if it
h
as b
e
e
n/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdo
o
laege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
t
estl
i
b
.
cc: work
ar
o
und in
c
omplete
n
a
m
espace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Verdoolaege
scale
.
c
: enumerate
_
narrow_flated
:
don't s
i
mplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
declare variables at start of code
b
lock
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
laege
d
o
c:
u
pdate documentation of opti
o
ns and
som
e
functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron
_
Sample: factor polyhedron i
f
poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Po
l
yhedro
n
_Sample
:
com
p
u
t
e vertices of 1D p
o
lyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
Polyhedron_Sample: remove a
l
l equali
t
ies from polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possibility to use GLPK as
LP solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_
S
ample: postpon
e
remov
a
l
o
f rays
u
ntil
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Polyhedron
_
S
ample: use lp
s
olver for
finding
r
a
nge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
erd
o
olaege
lexm
i
n: m
o
ve choice of lp solve
r
t
o use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoolaege
p
o
lysig
n
.
h: use correct name of PL_polyh
e
dron_
a
ffine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
ba
r
vinok_en
u
merate
:
p
lug memory leak in Berno
u
lli a
p
pro
x
imati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumer
a
t
e_e_r: don't assume
Add
C
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoola
e
ge
eva
l
ue_
f
rac2polynomial: re
c
he
c
k evalu
e
after
e
value_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c
: Line_Length: don't g
e
t co
n
fused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
dool
a
ege
Makefile
.
am: stop after fir
s
t
fail
e
d test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: carry through var
i
able
r
e
n
aming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doo
l
aege
berns
t
ein: don't assume input polynomial has
been e
x
panded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdo
o
laeg
e
ev
a
lue_r
e
ad
.
c: correct constness
of n
a
m
e
i
n parameter_ne
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolae
g
e
evalue_read: acc
e
pt constan
t
mu
l
tiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: eva
l
ue_su
m
: better
handling of
negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdool
a
ege
ev
a
lue
.
c: re
o
r
d
er_terms:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
evalue:
dec
l
are f
i
rst argument
of emul cons
t
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdo
o
laege
eva
l
ue
.
c: emul: do
n
'
t use expli
c
it_comple
m
ent on arg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
S
ve
n
Verdoolaege
add
a
test for eval
u
e_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@e
l
is
.
.
.
find_fractional_wi
t
h_max_
p
eriods: initia
l
ize loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verdoolaege
e
value
.
c: evalue_split_periods: make sure selecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aege
evalue
.
c: polynomial_p
r
o
jection: use
e
val
u
e
_
ex
t
ract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Ve
r
doolaege
add a test for barvinok_maxim
i
ze and barvi
n
o
k
_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
barvinok_summ
a
te:
s
u
p
port
verification of res
u
lts
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
o
laege
e
v
alue
.
c: ev
a
lu
e
_s
u
m
: s
p
lit into orthants + some refact
o
ring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
barvinok
_
union:
u
s
e
argp fo
r
ar
g
ument
p
arsin
g
commit
|
commitdiff
|
tree
2007-06-09
S
v
e
n Verdo
o
laege
barvinok_enume
r
ate_union_series_with_options
:
fi
x
typ
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_reduction_cdd
.
cc: get
correct
dual solut
i
o
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
e
n Verd
o
olae
g
e
ba
s
is_reduction
_
glpk
.
c
:
cor
r
ectly set typ
e
of ro
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
olaeg
e
basis_
r
eduction_g
l
pk
.
c: check for sanity o
f
sol
u
t
ion
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
olaeg
e
options: m
e
n
ti
o
n default and available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdo
o
laege
po
l
yhedron_sample:
take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
d
o
c: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc:
typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaege
d
o
c: repeat
Ma
t
thi
a
s' stop
p
ed B
a
rvinok experimen
t
s
.
.
.
commit
|
commitdiff
|
tree
next