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
support computation of Bernoulli polynomials
2007-09-08
S
ven Verdoola
e
ge
s
u
p
p
ort computa
t
ion of
Bernoulli polynomi
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
s
e
p
a
r
ate computa
t
ion of Bernoulli coef
f
i
c
ien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
lattice
_
poi
n
t: use Param_Ver
t
ex_
C
o
m
mon_Den
o
minato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
eg
e
m
ake
dec
o
mposer
.
h
self-con
t
a
ine
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
reduce_domain
:
a
void use of macro
pa
r
ameter wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
ex
p
ort evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
Use pi
p
lib
d
u
ring
b
a
sis reduction if no ot
h
er
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoola
e
ge
Use bundled
piplib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
pi
p
l
i
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
U
s
e bundled PolyLi
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
add
poly
l
ib submo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
bernste
i
n: allow
linking against uninst
a
lled, but
b
u
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Ve
r
doolaege
ad
d
m
o
re missing assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoo
l
aege
ad
d
dummy imp
l
eme
n
tations
o
f
functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laeg
e
u
pd
a
te
"Counting with rational gener
a
t
i
n
g
f
unctio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
ba
r
vi
n
ok
.
c
c
: spl
i
t off
part constructing
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Ve
r
doolaege
bar
v
inok
.
cc: split
o
ff part deal
i
n
g w
i
t
h
existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter: avoi
d
r
e
computation of de
n
omi
n
ators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
cou
n
t
er:
r
em
o
ve redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
chang
e
type o
f
some "sign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
doc: u
p
date Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
r
d
oolaege
evalue
.
c
:
mak
e
p
a
ram
e
ter nam
e
s of
t
y
pe const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoo
l
ae
g
e
sampl
e
.
c:
P
olyhedron_Remov
e
FixedColumns: c
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remove_equaliti
e
s: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
V
e
rdoolaege
Param_Polyhedron_Print:
p
rint e
v
e
r
yt
h
ing to given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barv
i
nok_enum
e
rate_with_option
s
: don't add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
barvinok
.
cc:
d
on't fr
e
e
P argume
n
t in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
dool
a
e
ge
rem
o
ve_a
l
l_equalities: also rem
o
ve equalities
i
n c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoola
e
ge
volume
.
c:
a
void warning
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Ve
r
doolaege
expor
t
Param_Inner_Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
olaege
b
arvinok_e
n
umer
a
te
.
cc:
add minimal
c
heck on in
p
ut
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
m
o
re pro
t
oty
p
e changes to
const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue: print_evalue
:
make par
a
me
t
er n
a
mes const ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always comp
i
le p
o
l
y
t
op
e
_
scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
er
d
o
olaege
polytop
e
_scan: use argp for argument pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verdoolaege
d
oc: fix typ
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoola
e
g
e
conf
i
gure
.
in: allow specification of
d
efaul
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
erdoolaeg
e
consolidate calls to P
o
lyhedro
n
2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoola
e
ge
M
a
kef
i
l
e
.
am: add $(EXEEXT) fo
r
c
y
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaeg
e
Ma
k
ef
i
le
.
am
:
force re
b
u
ild libraries
i
n
subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test
b
arvinok_maximiz
e
if it has been/c
a
n
b
e
created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoola
e
ge
testlib
.
cc: wo
r
k around inco
m
plete n
a
mespac
e
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
scale
.
c
: enumerate_nar
r
ow_f
l
ated: don't
simplify
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
declare variables at start of code b
l
o
c
k
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoola
e
ge
doc: update documentation of options and so
m
e func
t
io
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
Pol
y
he
d
ron_Sam
p
le: factor
polyhed
r
on if
possible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oolaege
P
o
l
yhedron_Sample: compute v
e
r
t
ices of
1
D pol
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedr
o
n_Sample: remove
a
ll e
q
ual
i
ties from poly
h
edr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
l
aege
add possibility to
use GLPK as LP s
o
l
v
e
r
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verd
o
olaege
Polyhedron_
S
ample: pos
t
pone re
m
oval of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Pol
y
hedron_Sample: use
l
p
s
olv
e
r for findi
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
oolaeg
e
le
x
m
i
n
: move
cho
i
ce of lp solver to use out
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaeg
e
poly
s
ign
.
h: us
e
correct
n
a
me of PL_polyh
e
dron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
barvino
k
_enumerate: plug memory lea
k
in B
e
r
n
oull
i
approximation
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
b
a
rvinok_enumerate_
e
_r
:
don't ass
u
me
A
ddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
e
val
u
e_fra
c
2polyn
o
mial:
r
e
check e
v
alu
e
after e
v
alue_spl
i
t_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laeg
e
util
.
c: Li
n
e
_Length: don
'
t get c
o
nfu
s
e
d by po
s
i
t
ivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Mak
e
f
i
l
e
.
am: stop after first failed
t
est
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Ver
d
oolaege
b
ernstein: carry
t
hrough v
a
r
i
a
b
l
e re
n
a
ming to debug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Verdoolaege
bernstein: don't assume input p
o
lynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoolaege
e
v
alue_read
.
c:
cor
r
ect constness of n
a
me in paramet
e
r_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
evalue_read: accept co
n
sta
n
t
multiple of v
a
r
i
able
w
itho
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
ven Verd
o
olaeg
e
evalue
.
c: evalue_su
m
: better
h
andli
n
g of negativ
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sven
Verdoolaege
e
v
a
lue
.
c
:
r
e
orde
r
_
terms:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ev
a
lue:
d
eclare
f
irst argument of
e
m
u
l const
commit
|
commitdiff
|
tree
2007-06-14
S
ven
Verdoo
l
aege
eva
l
u
e
.
c: emul: do
n
't
us
e
ex
p
licit_complement on argum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
a
dd a
t
es
t
f
o
r evalu
e
_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: evalue_split_periods: make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
ven
Verdoolaege
ev
a
l
u
e
.
c: polynomial_pr
o
jecti
o
n: us
e
evalue
_
extract_
a
f
f
i
ne
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
V
e
r
d
o
olaege
a
d
d
a test for barvino
k
_max
i
mize and barvinok
_
sum
m
ate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
e
g
e
barvi
n
ok_summate
:
support veri
f
i
c
atio
n
of
re
s
u
lts
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
ev
a
l
u
e
.
c: evalue
_
sum: split into or
t
hants + some r
e
f
actoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok_union: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sv
e
n Verdoo
l
aeg
e
barv
i
nok_
e
numera
t
e
_
union_series
_
w
i
th_options: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
S
ven
V
e
rdoolae
g
e
basis_r
e
duct
i
on_cdd
.
cc: get
c
o
rrect
dual so
l
uti
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
ba
s
is_reduction_
g
lpk
.
c:
correctly set
type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
r
d
oolaege
ba
s
is_reduct
i
on_gl
p
k
.
c: check
f
o
r san
i
ty o
f
sol
u
tion
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoolaeg
e
options:
m
ention defa
u
l
t and availabl
e
solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
ge
polyhedron
_
sample: take opti
o
ns
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolae
g
e
doc: m
o
re about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sv
e
n Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n
V
e
rdoo
l
aege
doc
:
repeat Matthias' st
o
pped Barv
i
nok expe
r
imen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
laege
a
d
d bar
v
in
o
k
_
summa
t
e
to
s
u
m a quasi-
p
olynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ve
r
dool
a
ege
eval
u
e_read:
f
ix
for
t
op-l
e
ve
l
f
ractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaeg
e
bern
o
ulli
.
c
:
B
ernoull
i
_sum_e
v
alue: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Ve
r
doolaege
bernoulli
.
c: perf
o
rm nested sums approximation
d
epth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
add polynomial approximation base
d
on neste
d
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
uti
l
.
c: extract f
o
r_each_lower_
u
pper
_
bou
n
d
from P
a
ramLin
e
_Le
n
gth
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Ve
r
doolaege
decomposer: use NTL to
invert matri
x
r
ather
than conver
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
lattice_point
.
cc: allow rays and vertex t
o
have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
counter: optimi
z
e summ
i
ng over
p
oints in fundap
i
pe
d
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
latt
i
ce_point
.
c
c
:
a
void
c
onve
r
sion b
e
tween NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doo
l
aege
conve
r
sion
.
cc: remove rays2matr
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olae
g
e
evalue
.
c:
ev
a
l
u
e
_polynomial extracted from bar
v
i
no
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoola
e
ge
ev
a
lue
.
c: ad
d
evalue_ne
g
a
t
e
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
doc: a note on
t
he conn
e
c
t
i
on b
e
tween Todd p
o
ly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoola
e
g
e
doc: points i
n
fu
n
dap
i
ped: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
doolaeg
e
b
a
rvinok
.
cc: simplify
dpo
l
y_n construct
o
r
commit
|
commitdiff
|
tree
next