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 Verdoolaege
docu
m
en
t
b
a
rvin
o
k
_
s
u
mma
t
e
and barvinok_m
a
ximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
do
c
: consistent
use of
Barvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolaege
barvinok_summate:
correct
options
d
e
scription
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaeg
e
Document
E
uler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: ch
a
n
g
e example env
i
ronment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
d
o
c
:
add som
e
hi
d
den
s
ecti
o
n
s
to t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
ege
doc: another
docum
e
nt
ref
e
rin
g
to the
l
ib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some te
s
ts
for Eul
e
r-
M
acl
a
u
rin based su
m
ma
t
io
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
E
u
l
e
r
-
Maclaurin based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
E
u
ler-M
a
claurin based summa
t
ion f
o
r
2D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
d
e
com
p
oser
.
cc: avoid use of h
a
lf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_sum
m
ate: ve
r
i
f
y
solution
o
ver w
h
ole p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
introduce ba
r
vi
n
ok_summa
t
e as a w
r
apper for
evalue_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add eva
l
u
e_m
u
l_di
v
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
evalue
_
{div,m
u
l}: handl
e
some trivial ca
s
es
more efficientl
y
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
lattice_point: e
x
port fr
a
ction
a
l_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
evalue
.
c
: extract
c
ommon co
d
e
f
or constru
c
tio
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
volume
.
c: export
Pa
r
am_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
add
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
fix typ
e
of evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
support computati
o
n of Bernoul
l
i polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
ola
e
g
e
separate
c
om
p
utation
o
f Bernoul
l
i coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ol
a
ege
lattice_poi
n
t: use Param_Ve
r
tex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomp
o
ser
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdool
a
ege
reduce_domain: avoid use of macr
o
parame
t
er with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
expor
t
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
Us
e
pi
p
lib
d
uring basis reduction if
n
o other LP s
o
lv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
Use b
u
n
dled pipl
i
b by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
ol
a
ege
add pip
l
ib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bu
n
dled PolyLib by
d
efau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
a
dd p
o
lylib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
ber
n
stein:
a
llow linkin
g
a
g
a
ins
t
un
i
nstalled, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sv
e
n Verd
o
olaege
add m
o
re mis
s
in
g
a
s
se
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
v
e
n
Verdo
o
laege
a
dd dummy impl
e
mentations of f
u
nctions
t
h
at depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
o
o
laege
u
pdate "Count
i
ng with r
a
t
i
ona
l
generati
n
g
func
t
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
barvinok
.
cc: split off
p
art constr
u
cting gen
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
r
doolae
g
e
barvinok
.
cc: split
off part dealing wi
t
h existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoola
e
ge
*co
u
n
ter: avo
i
d recomputat
i
on of deno
m
i
n
ator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
counte
r
: remov
e
redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
change
t
y
p
e of some
"
s
ign"s to in
t
a
s
t
h
ey can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
laege
doc
:
update Alg
o
rith
m
ica p
u
b
l
ication
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
rdoo
l
a
e
g
e
evalue
.
c: make paramete
r
names o
f
type const
cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Verd
o
o
la
e
ge
sample
.
c:
P
olyhe
d
ron_RemoveFixedCo
l
umns:
c
orre
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
Verdoo
l
aege
util
.
c: remove_equ
a
l
i
ties: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
e
n
Ver
d
oolaege
P
a
ram_Pol
y
h
edr
o
n_Print: print ev
e
rything to g
i
ven fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
V
e
rdoo
l
aege
b
arvin
o
k_en
u
merate_wi
t
h_options: don't ad
d
cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
b
a
rvinok
.
c
c
: don't free
P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
remove_all_equal
i
ties:
also rem
o
ve equa
l
ities in context
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
volume
.
c: a
v
oid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaeg
e
export Param_
I
nner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
ven Verdoola
e
g
e
barvinok_enu
m
erate
.
cc:
a
d
d minimal che
c
k on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en
Ver
d
oola
e
ge
more prototype
changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en
Verdoolae
g
e
evalue: print_eva
l
ue: make parameter
names const
char*s
commit
|
commitdiff
|
tree
2007-07-11
S
ven
V
erdool
a
ege
Alway
s
compile
p
o
ly
t
o
p
e
_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolaege
polytope_scan: use ar
g
p for argument p
a
rsi
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sven Verd
o
olaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdool
a
ege
con
f
igure
.
in: allo
w
speci
f
i
cation of def
a
ult
p
refix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolidate calls t
o
Pol
y
h
e
dron2Param_D
o
main
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
er
d
oolaege
volume
.
c
:
f
ix typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n
Verdo
o
lae
g
e
M
a
kef
i
le
.
am: add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdo
o
laege
Makefile
.
am
:
f
orce r
e
b
u
ild l
i
braries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
V
e
rdoolaege
only test barvinok_maximize if it h
a
s be
e
n/can
b
e c
r
eated
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
barv
i
nok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdool
a
ege
tes
t
lib
.
c
c
:
work
a
r
o
u
nd incompl
e
te namesp
a
ce suppor
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
o
ol
a
ege
scale
.
c
: enumerate_nar
r
ow_flated
:
don't simplif
y
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
de
c
l
a
r
e
v
ariables a
t
star
t
of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc
:
updat
e
d
ocumentation o
f
option
s
and s
o
me functions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoo
l
a
e
ge
Polyhedron_Sample: factor
polyhedron if possi
b
le
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Polyh
e
dron_Sa
m
ple
:
co
m
pu
t
e vertices
o
f
1
D pol
y
hedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhe
d
r
o
n_Samp
l
e
: remo
v
e
all equalities from polyhe
d
ro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoo
l
aege
add possibilit
y
to u
s
e
GLPK
a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhed
r
on_Sampl
e
: postpone
remova
l
of rays u
n
t
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolae
g
e
Poly
h
e
dron_Sample: u
s
e
l
p
solver
fo
r
finding ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaege
lexmin: move
c
ho
i
ce of lp solver to u
s
e outside
b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
poly
s
ign
.
h: use correct name of PL_polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
barv
i
n
o
k_en
u
merate: plug m
e
mor
y
leak i
n
Berno
u
lli app
r
oximation
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
dool
a
ege
bar
v
inok_enumerate
_
e_r: don't as
s
ume AddCon
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
ev
a
lue_frac2po
l
ynom
i
al: recheck
evalue af
t
er evalue_spli
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
util
.
c:
L
ine
_
Len
g
th: don't get con
f
u
sed by pos
i
tivi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
ege
Mak
e
file
.
am: stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
ven V
e
rdoolaege
b
e
rn
s
tein:
c
arry through variable renaming to debug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
b
ernst
e
in: don't assum
e
inp
u
t polynomi
a
l ha
s
bee
n
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
rdool
a
ege
evalue_read
.
c: correct con
s
tness
o
f
n
ame in param
e
ter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_rea
d
: accept cons
t
ant
m
ultip
l
e of var
i
able with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
ven Verdoo
l
aege
eva
l
ue
.
c
: eva
l
ue_sum: better ha
n
d
l
ing of negative value
s
commit
|
commitdiff
|
tree
2007-06-15
S
ve
n
V
erd
o
ol
a
ege
evalue
.
c: reorder_terms
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
g
e
evalue: de
c
la
r
e first
argument of emul co
n
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoolaege
evalue
.
c: emul: don't use
e
xplicit
_
complement on argume
n
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdo
o
laeg
e
a
d
d a
t
e
st
f
or eva
l
ue_sp
l
it_peri
o
ds
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
D
evos@elis
.
.
.
f
i
n
d_fract
i
onal_
w
ith_max_pe
r
io
d
s: initia
l
ize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
d
o
o
l
aege
evalue
.
c: evalue
_
split_periods: make sure sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
oolaege
evalue
.
c
:
polynomial_projecti
o
n:
u
se evalu
e
_extract_a
f
fine
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdo
o
la
e
ge
add a
t
est
f
o
r barvinok_
m
a
ximize
and
b
a
rvino
k
_summa
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rd
o
ola
e
ge
b
a
rvinok
_
summate:
support verification of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolaege
evalu
e
.
c: evalu
e
_s
u
m:
s
plit
into orthant
s
+ some ref
a
c
toring
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoo
l
aege
barvinok_un
i
on
:
use argp for argum
e
nt pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Verdoolaege
b
a
rvinok_enumerat
e
_union_se
r
ies_with
_
opt
i
o
n
s
: fi
x
typo
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
e
rd
o
ola
e
ge
basis
_
reduct
i
o
n_cdd
.
cc:
g
et co
r
rect d
u
al solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdoolaege
basis_
r
ed
u
ction_glp
k
.
c: correc
t
ly s
e
t ty
p
e
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
e
r
do
o
laeg
e
bas
i
s_red
u
ction_glpk
.
c: check for sanit
y
of solution
commit
|
commitdiff
|
tree
next