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
Euler-Maclaurin based summation for 1D problems
2007-09-10
Sven
V
erdoolaege
E
u
ler-Maclau
r
in based summation fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ve
r
dool
a
ege
Euler-
M
aclaurin based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
de
c
o
mpo
s
er
.
cc:
a
v
o
id
use
of hal
f
-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
barvino
k
_summa
t
e:
v
er
i
fy solution
o
ver
w
hol
e
param
e
ter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
introduce barvinok_summ
a
te as a wrapper for evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add ev
a
lue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
evalue_{div,mul}: handle some trivial
cases more efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
ool
a
ege
l
a
tti
c
e
_
point: expo
r
t fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eva
l
ue
.
c: extract common code
fo
r
construction
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
v
o
lume
.
c:
export Param_Polyh
e
dron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add
e
value_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdo
o
l
ae
g
e
fix type of e
v
alue_polynomia
l
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdool
a
ege
s
upport c
o
mputat
i
on
o
f Bernoull
i
polyn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
separate computation
o
f
B
erno
u
lli
coef
f
icients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
g
e
l
attice_point: use P
a
ra
m
_Vertex_Common_Den
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doola
e
ge
make decomposer
.
h self-conta
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
ege
re
d
uce_domain: avoid us
e
of macro p
a
rameter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
olaege
ex
p
ort evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Us
e
piplib during
b
a
s
is
reduction if no other LP
s
o
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
Use bund
l
ed piplib by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdo
o
lae
g
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
U
se bundled P
o
l
y
L
i
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add polyli
b
submodule
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaege
bernstein: allow linking against
un
i
nstalled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add m
o
re missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n Verdoola
e
ge
add d
u
mmy imple
m
entations of functions that
d
epen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Counting with rational generating
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ver
d
oolae
g
e
b
a
rvi
n
ok
.
cc: split
o
ff
p
a
r
t c
o
nstructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaeg
e
barvinok
.
cc: split
off par
t
d
e
aling with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter:
a
v
oid
r
e
co
m
putation of d
e
n
o
minat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
c
o
u
n
ter: remove
r
edundan
t
m
ember
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoo
l
ae
g
e
change type of some "s
i
gn
"
s to int as
t
h
ey can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven
V
erdoolae
g
e
doc: u
p
date Algorithmica p
u
blication
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n Verdoolaege
evalue
.
c: mak
e
parameter nam
e
s
of typ
e
c
o
nst c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
oolaege
sample
.
c: Polyh
e
dron_RemoveF
i
xedColumns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en Verdoo
l
aege
util
.
c: remov
e
_equal
i
ties: f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhedron_Print: print everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verd
o
olaege
barvinok_enumerat
e
_with_options: don't
a
dd con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
o
olaege
barvinok
.
c
c
:
don'
t
f
ree P a
r
gument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
remo
v
e_
a
ll_equalities
:
also
r
em
o
ve e
q
ual
i
ties in co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
v
ol
u
me
.
c: avoid
w
arnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Verdoola
e
g
e
export
Param_
I
nn
e
r_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolaege
barvinok_enumerate
.
cc: add
m
i
n
imal check on i
n
p
ut
commit
|
commitdiff
|
tree
2007-07-19
Sven Ve
r
d
oola
e
ge
mor
e
pro
t
o
type ch
a
nges to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Ve
r
doolaege
e
value: print
_
evalue
:
make paramete
r
n
ames const ch
a
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Ver
d
oola
e
ge
A
lways compil
e
polytop
e
_
scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
a
e
g
e
polytope_sc
a
n: us
e
argp for
a
rgument
p
arsin
g
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
rdoolaege
d
oc: f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-04
S
ven Verdoo
l
aege
configur
e
.
in:
allow speci
f
i
cation of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
co
n
solidate
c
alls to Polyh
e
d
r
o
n2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
ven Verdoolaege
volume
.
c: f
i
x typo
in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Ve
r
doolaege
Makefile
.
a
m: add
$(EXEEXT)
f
or cygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Ve
r
doolaege
Makefile
.
a
m: force
r
ebuild
l
i
b
raries in
subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoola
e
ge
only test barvinok_maximize
if it has bee
n
/can
be cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
b
a
rvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolae
g
e
tes
t
lib
.
cc: work arou
n
d incom
p
lete namespace su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
scale
.
c: enum
e
rate_narrow_flated
:
do
n
't simplify constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
d
eclare variab
l
es a
t
start
of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
doc: update
d
ocumen
t
ati
o
n
of opt
i
ons and some functions
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhedron_Sample: factor p
o
lyh
e
dron if pos
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Po
l
yhedron_Sample: compute vertice
s
of 1D
p
ol
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n V
e
rdoolaeg
e
Polyhedron_Sample: remove
all equalities
f
rom p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add possibili
t
y to use GLP
K
as LP so
l
ver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyh
e
d
ro
n
_Sample:
postpone remov
a
l
o
f ray
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhe
d
ron_Sample: use lp s
o
lver
f
or
fin
d
i
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
lexmin
:
move choice of lp solver to use outside b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h: use cor
r
ect name
of P
L
_
p
olyhedron_affine_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
rvinok_e
n
u
merate: plug memor
y
leak i
n
Bernou
l
li ap
p
roxima
t
ion
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
barvinok_enumerate_e_
r
: don't
a
ssume AddConstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaeg
e
evalue_fr
a
c2polynomial: recheck evalue afte
r
evalue_s
p
l
it_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c: Line_Length: d
o
n't get co
n
f
u
sed by
p
o
s
itivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Make
f
ile
.
am: stop after
first
f
ai
l
ed
test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Verdoolaege
bern
s
t
ein: car
r
y throug
h
variabl
e
renaming to debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n V
e
rdo
o
laege
berns
t
ein: don't assume input
polynomi
a
l
h
as been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoo
l
aeg
e
evalue_read
.
c
:
correct
c
onstness of name in
p
ar
a
me
t
er_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaege
evalue_r
e
ad: ac
c
ept
constant mult
i
ple of v
a
riable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
doolaege
evalue
.
c: eva
l
ue_su
m
:
b
etter
handling of negat
i
v
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoo
l
aege
evalue
.
c: reord
e
r_terms
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Ver
d
ool
a
e
ge
eval
u
e:
declare first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
e
v
alue
.
c: emul: don't use explicit_compl
e
ment on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolaege
a
d
d
a test for evalue_split_period
s
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
find_fraction
a
l_with_m
a
x_periods: i
n
iti
a
lize loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalu
e
.
c
:
evalue_split_periods: make
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
dool
a
e
g
e
evalue
.
c:
p
olynomial_pr
o
j
e
c
t
ion: use ev
a
lue_extr
a
ct_affine
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
add
a
tes
t
for
b
a
r
vi
n
ok_maximize and barvino
k
_sum
m
ate
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n Verdoolaege
b
a
r
vinok_summate: supp
o
r
t
veri
f
icati
o
n of r
e
s
u
lts
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoolaege
e
va
l
ue
.
c:
evalue_su
m
: spli
t
in
t
o o
r
thants +
s
ome ref
a
cto
r
ing
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n Verdoolaege
barvinok_union: use a
r
gp
f
or argum
e
nt
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barvinok_enumerate_union_series_with_options: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_redu
c
tion_cdd
.
c
c:
g
et
correct dual solutio
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
bas
i
s_reducti
o
n_g
l
pk
.
c
:
correc
t
ly set type
o
f row
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ver
d
oolaege
basis_r
e
du
c
tion_glp
k
.
c
:
che
c
k for s
a
nity of sol
u
tion
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
option
s
: mention default
a
nd ava
i
lable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdool
a
ege
polyhedron_sample: take opt
i
ons
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
doc:
mor
e
about
power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoo
l
ae
g
e
do
c
: typ
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaeg
e
doc: repeat Matt
h
ias
'
stopped Barvino
k
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
la
e
ge
a
dd
barvino
k
_su
m
mate to sum a quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_read: fix for t
o
p-l
e
vel
fract
i
on
a
l pa
r
t
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verdoo
l
a
e
ge
bernoull
i
.
c: Bernoulli_sum_evalue: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
next