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
fix type of evalue_polynomial argument
2007-09-08
S
ven Verdoolaege
fix
type of evalu
e
_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
su
p
port computation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
separate computatio
n
o
f
Bernoulli
coe
f
fici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
lattice_point: use Param_Vertex_Commo
n
_De
n
o
m
inator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decompose
r
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
reduce_
d
oma
i
n: avoi
d
use
o
f ma
c
ro parameter
w
ith na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaeg
e
export evalue_
d
up
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
Us
e
pipl
i
b during basis r
e
duction if
n
o other L
P
solve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
Use bundled pipl
i
b
b
y de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
ge
a
dd piplib mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaeg
e
add pol
y
l
ib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oola
e
ge
bernstein: allo
w
linking agai
n
st uninstalled,
b
u
t b
u
i
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
Ver
d
oolaege
add mor
e
miss
i
ng asse
r
t
.
h #
i
nclude
s
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Ve
r
dool
a
e
g
e
ad
d
dummy imple
m
entation
s
of functi
o
ns th
a
t depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
Verdo
o
lae
g
e
update "Countin
g
w
ith rational gene
r
ating function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
Verdoolaege
bar
v
inok
.
cc: s
p
li
t
off part construct
i
ng generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
c
c: split off p
a
rt dealing with existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
ge
*
c
o
un
t
e
r:
avo
i
d re
c
omputation of den
o
minators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
counter: r
e
move redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdool
a
e
g
e
c
h
ange typ
e
of som
e
"
s
ign"s to int as they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoo
l
aeg
e
doc: update Al
g
o
ri
t
hmica publi
c
a
t
ion
commit
|
commitdiff
|
tree
2007-08-10
Sven
V
erdoolae
g
e
evalu
e
.
c: make
para
m
eter names of typ
e
const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
V
e
rdoolaege
sample
.
c:
P
olyhe
d
ro
n
_Re
m
ove
F
i
x
edC
o
lumns
:
correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
Verdoolaege
util
.
c:
r
emove_equalities:
f
ix t
y
po
commit
|
commitdiff
|
tree
2007-07-30
S
ven Verdoo
l
aege
Param_
P
oly
h
edron_Prin
t
: print everythin
g
t
o
g
iven fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
barvin
o
k_enumerate_with_opt
i
ons: don't add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdool
a
ege
b
a
rvi
n
ok
.
cc: d
o
n't free P argume
n
t in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
e
g
e
re
m
ove_all_equalities: also remove equa
l
ities
i
n cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaeg
e
volume
.
c: av
o
id warnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdo
o
laege
expor
t
Par
a
m_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
ven Verdoolaege
barvinok_enumerate
.
cc: add minima
l
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
V
e
rdoolae
g
e
m
ore pr
o
totype
c
h
ange
s
t
o
con
s
t
c
har *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Ve
r
doolaege
e
value: pri
n
t
_ev
a
lue:
m
ake parameter names const
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolaege
Al
w
ays compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
o
l
a
e
ge
p
ol
y
top
e
_scan: us
e
argp for argu
m
en
t
p
arsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
e
n Verdo
o
laege
doc: fix
typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdoolaege
c
o
nfigure
.
in: allow s
p
ecifi
c
a
tion
of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
olaege
c
onsolidat
e
calls to Polyhedron
2
Pa
r
am_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoolaege
Makefile
.
am: add $(EXEEXT
)
for c
y
gwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
a
kefile
.
am
:
f
orce rebui
l
d li
b
raries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Verdoolaege
on
l
y tes
t
b
a
rv
i
nok_maxim
i
ze
i
f it has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolae
g
e
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
o
l
a
ege
tes
t
l
i
b
.
c
c: wo
r
k around incomplete nam
e
spac
e
s
u
ppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
olaege
scal
e
.
c: enumerate_narrow_f
l
ated: don't simpl
i
fy constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
decla
r
e variab
l
e
s
at start of
c
o
de block
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaege
doc: upda
t
e docu
m
enta
t
ion of opt
i
o
n
s and
s
o
me functions
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolaege
Polyhedron_Sample:
f
a
c
tor polyhedron if
p
o
ssi
b
le
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
Polyhedron_
S
ample: compute v
e
rtices of
1
D
p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
P
o
l
yhedron_Sample
:
remove all equalit
i
es fr
o
m polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add p
o
ssibility to use GLPK a
s
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: postpone removal of rays u
n
til we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sample: use lp solver fo
r
f
i
n
ding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
lexmin: move c
h
oice of lp s
o
lver t
o
use ou
t
side basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
po
l
ysign
.
h: use correct
n
ame
of
P
L_polyhedron_aff
i
ne_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
barvinok_e
n
umerate: pl
u
g memory leak
i
n Bernoulli approxima
t
ion
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
barvinok_enumera
t
e
_e_r: don't as
s
ume AddCons
t
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoo
l
aege
evalue_frac2
p
olynomial:
reche
c
k evalu
e
after e
v
alue_split
_
do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
u
til
.
c:
Line_Length: don
'
t ge
t
confused b
y
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Makefile
.
am: stop
a
f
t
er
first
f
ailed
te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
olae
g
e
b
e
rnstein:
c
arry throug
h
v
a
riable renaming t
o
deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernst
e
in: don't as
s
ume i
n
p
u
t polyno
m
i
al
has been expande
d
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaege
ev
a
lue_read
.
c: correct constness of name in pa
r
ame
t
er
_
new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
eva
l
u
e
_read: accept constant multi
p
le of var
i
able without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
eval
u
e
.
c: evalue_s
u
m: better han
d
ling of n
e
gat
i
ve valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven V
e
r
doolaege
evalue
.
c: reorder_terms
:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalu
e
: de
c
lare
f
irst argument of
emul
const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
eva
l
ue
.
c: emu
l
: d
o
n't use explicit_com
p
lement
o
n
a
rg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oo
l
aege
add a test
f
or evalue
_
split_
p
eriod
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolae
g
e
e
value
.
c: e
v
alue_split_per
i
ods:
m
a
ke sure
s
elected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Verdoolaege
evalue
.
c: pol
y
n
o
mial_p
r
ojection
:
use evalue_e
x
tract
_
af
f
i
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
add a t
e
st for barvinok_maximize and
b
ar
v
in
o
k_summat
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok_summat
e
: support verification of
r
esults
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoola
e
ge
ev
a
lue
.
c: e
v
alue_sum: split into ortha
n
ts + some refact
o
ring
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoolaege
bar
v
inok_union: use argp for a
r
gument p
a
rsing
commit
|
commitdiff
|
tree
2007-06-09
Sven
V
erdoolaege
barvinok_enumerate
_
union_s
e
ries_wit
h
_optio
n
s: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
S
ven Ve
r
doolaege
basis_red
u
ction_cdd
.
cc: get
c
or
r
ect d
u
al solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_r
e
duction_glpk
.
c: correctly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
Verd
o
olaege
basis_reduction_gl
p
k
.
c: chec
k
for sanity o
f
s
o
lutio
n
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
op
t
ions
:
mention default and available s
o
lvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyh
e
dron_samp
l
e: t
a
ke op
t
ions
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verdoo
l
aege
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
erdoolaege
do
c
:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sven
V
erdoolaege
d
o
c: repeat Matthias' stopped Barvinok e
x
periments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
laege
add barvinok_summate to s
u
m a quasi
-
polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven Verdoolaege
ev
a
lu
e
_re
a
d
:
f
i
x
f
o
r
top
-
le
v
el fract
i
onal
part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
berno
u
l
li
.
c: Bernoulli
_
sum_evalue:
r
e
duc
e
resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en Verdoolaege
berno
u
lli
.
c: perform
n
est
e
d
sum
s
a
pproximation
de
p
th
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolae
g
e
a
dd pol
y
no
m
ial
a
pproximation based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
util
.
c: extract
for_each_lower_up
p
er_bound from ParamLine_L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ver
d
oo
l
a
e
g
e
decompose
r
: use NTL to invert mat
r
ix rat
h
e
r th
a
n converi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
la
t
tice_point
.
cc: all
o
w rays a
n
d
v
ertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
counter: optimize
s
ummin
g
over poin
t
s in funda
p
iped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
latti
c
e
_point
.
cc
:
avoi
d
conversion between NTL a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
c
o
n
v
ersion
.
cc:
r
emove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
e
v
al
u
e
.
c: evalue_
p
olynomi
a
l ext
r
acted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
ev
a
lue
.
c:
ad
d
e
value_
n
egate
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaeg
e
do
c
: a
note on
t
he conne
c
tion betwe
e
n Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doo
l
aeg
e
doc: points in fundapi
p
ed
:
fi
x
typo
commit
|
commitdiff
|
tree
next