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
evalue_{div,mul}: handle some trivial cases more efficiently
2007-09-08
Sve
n
Verdoolaege
evalue_{div,m
u
l}: handle some trivial cases more
e
f
f
icient
l
y
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
lattice_point:
export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
evalue
.
c: extr
a
ct c
o
mmon co
d
e for
construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
v
o
l
ume
.
c
: ex
p
o
rt
P
ar
a
m_Polyhedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
f
i
x type
o
f
eva
l
ue_polynom
i
al argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
o
olaege
support computation
o
f Bernoulli
p
oly
n
omia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
separate computation of Bernoulli
c
o
ef
f
i
c
ie
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice
_
point:
u
se Param_Vertex_Commo
n
_D
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
ege
m
ake
d
e
c
omposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_doma
i
n: avoid use of
macr
o
parameter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
export
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laeg
e
Use piplib du
r
i
n
g
bas
i
s re
d
u
c
tion
i
f
n
o other
L
P sol
v
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bun
d
led piplib by
d
efau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add piplib m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polylib su
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein: allow linki
n
g
against u
n
instal
l
ed, but
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
e
rdoolaege
a
dd mo
r
e
missing ass
e
rt
.
h
#incl
u
des
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
rdoola
e
ge
add d
u
mmy implementations of fu
n
c
t
ions that
depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
upd
a
te
"C
o
unting wi
t
h
rational gene
r
a
ting func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolaege
barvinok
.
cc:
s
plit o
f
f part c
o
nstructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: split of
f
part dealin
g
with existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*c
o
u
nter: avoid
recom
p
utation
of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
counter: remo
v
e
redun
d
ant mem
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaeg
e
ch
a
nge
t
ype of som
e
"
s
ig
n
"s to in
t
as they can
o
nly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
doc: upda
t
e Algor
i
thmica p
u
b
l
ication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
aege
evalue
.
c:
m
ake pa
r
ameter names of
t
yp
e
const ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoo
l
aege
sample
.
c:
P
olyhedron_R
e
moveFixedColumn
s
: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en Verdoolaege
util
.
c: remove_equalit
i
e
s
:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Verdoolaege
P
aram_
P
olyhedron_Print: p
r
int everything to
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvi
n
ok_e
n
u
m
e
r
a
te_with_option
s
: d
o
n
'
t add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
barvinok
.
cc
:
don't free P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
re
m
ove_all_equal
i
ties: a
l
so remov
e
equalitie
s
in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
v
o
l
u
me
.
c: avoid
w
arning
s
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoolaege
export
Param_I
n
ner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoola
e
ge
barvino
k
_enumera
t
e
.
cc: add
minima
l
c
h
eck on in
p
ut
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoo
l
a
ege
more prototype changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Ve
r
do
o
laege
evalue: print_evalue: make parameter nam
e
s const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Alw
a
ys co
m
p
i
l
e poly
t
o
p
e_scan
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoolae
g
e
polyto
p
e_scan:
u
s
e
argp f
o
r argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verd
o
olaege
do
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sve
n
Verdoolaege
conf
i
gu
r
e
.
i
n
:
allow spec
i
f
i
cation of defa
u
l
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoo
l
ae
g
e
c
o
nsolidate calls to Polyhedron
2
Param_Do
m
a
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
erdoolaege
vol
u
me
.
c: fix ty
p
o in
comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
M
a
kefile
.
am:
a
dd $(
E
XEE
X
T) for
c
ygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Ma
k
efil
e
.
am: fo
r
ce rebuild libraries in sub
d
irs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Ver
d
o
olaege
only
test barvin
o
k
_maximize if it has
been/can
be created
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
tes
t
l
i
b
.
c
c: w
o
r
k a
r
o
u
nd i
n
complete na
m
espace s
u
pport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoola
e
ge
scale
.
c: enumerate_narrow
_
f
l
ated: don't simp
l
ify constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
d
e
clare variable
s
a
t start
o
f
code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
doc:
update do
c
umentation of
o
p
tions and some
fun
c
tions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sam
p
le
:
fa
c
tor polyhedron if
p
ossible
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rd
o
olaege
Polyh
e
dron_Sa
m
ple:
compute
vertices of
1D p
o
l
y
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doo
l
aege
Polyhedron_Sample: remove a
l
l
eq
u
a
l
ities
f
r
o
m
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
aege
add possi
b
il
i
ty to
use GLPK as LP so
l
ver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedron_Sampl
e
: postpone r
e
mo
v
a
l of rays
unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
Polyhedron_Sampl
e
: u
s
e lp solver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move cho
i
c
e of
lp sol
v
er
to use outsi
d
e
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h: use co
r
rect n
a
me of PL
_
polyhed
r
on_a
f
fine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
b
a
r
vinok_enume
r
ate: plu
g
me
m
or
y
l
e
ak
i
n B
e
rnoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaeg
e
barvinok_
e
num
e
rate_e_r: don't assume AddConstraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
eg
e
evalu
e
_frac2polynomial:
rech
e
ck evalue af
t
er
evalue_sp
l
i
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
util
.
c: Line_Length
:
don't get confu
s
e
d
by positivi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Makefile
.
a
m
: stop afte
r
firs
t
faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
aege
bernstein: c
a
rry through variable renam
i
ng to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
bernst
e
i
n
:
don
'
t
assume in
p
u
t polyno
m
ial has been exp
a
nded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
e
value_read
.
c: correct
c
onstness of name in p
a
ra
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoo
l
aege
evalue_read: ac
c
ep
t
c
o
nstant multiple of va
r
iab
l
e without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
doolaege
evalue
.
c: e
v
alue_
s
um: better handling of nega
t
i
v
e values
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n V
e
rdoolaege
eval
u
e
.
c: reorder_te
r
ms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doola
e
ge
evalue: declar
e
first
a
r
gument of emul
c
onst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
ge
e
value
.
c:
e
m
u
l: d
o
n'
t
u
se explicit_compl
e
ment on argum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdo
o
l
aege
add a test for eval
u
e_s
p
lit_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
oolaege
evalue
.
c: evalue_split_perio
d
s: make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n
Verd
o
olaege
e
v
a
lue
.
c
:
p
olynomi
a
l
_projection: us
e
e
v
alue_extract_
a
f
f
in
e
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoolaege
add a te
s
t f
o
r barvinok_
m
aximi
z
e an
d
barv
i
nok_summat
e
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
barvinok_summate: supp
o
r
t verification of r
e
sults
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
ev
a
lue
.
c:
e
value_sum: split
into
o
rthants + some r
e
factoring
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verdoola
e
ge
barvinok_union: use argp
f
or ar
g
ument pa
r
sing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoola
e
ge
barvi
n
ok
_
enumerate_
u
nion_series_with_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
e
n Verdoolae
g
e
basis_reduction_cdd
.
cc: get correct dual sol
u
tion
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_
g
lpk
.
c: co
r
rectly se
t
type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
l
a
ege
basis_reduction
_
glpk
.
c: ch
e
ck
fo
r
sanity of so
l
ution
commit
|
commitdiff
|
tree
2007-06-06
S
v
en V
e
rdoolaege
options: mention default and available solver
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
p
olyhedron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc
:
more
about
p
ower s
u
ms
commit
|
commitdiff
|
tree
2007-06-04
Sve
n
Verdoola
e
ge
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Ve
r
do
o
laeg
e
doc
:
repeat M
a
tthias'
s
t
opped Ba
r
vinok
e
xpe
r
iments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdool
a
ege
add ba
r
vi
n
ok
_
summate
to
su
m
a quasi-p
o
l
y
nom
i
al ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdoolaege
e
value_
r
ead: fix for top-level fractio
n
al part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verd
o
olaege
bernou
l
li
.
c
: Bernou
l
li_sum
_
evalue: re
d
uce
resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verdoolaege
be
r
noulli
.
c
:
perfo
r
m nested
sums approximation
d
epth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Ve
r
doo
l
aege
add polynomial a
p
proximation based on
nested
sums
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verd
o
olaege
util
.
c: extra
c
t
f
or_e
a
ch_lowe
r
_
u
pper_bou
n
d from Pa
r
a
mLin
e
_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
decomposer: u
s
e NTL
to i
n
vert ma
t
rix rat
h
er
t
han convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdo
o
laege
lattice
_
po
i
nt
.
cc
:
allo
w
ray
s
and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
rdoolae
g
e
cou
n
t
e
r: optimize summing over points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verd
o
olaege
l
attice_point
.
c
c: avo
i
d conversio
n
bet
w
een N
T
L and
.
.
.
commit
|
commitdiff
|
tree
next