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
sample.c: Polyhedron_RemoveFixedColumns: correctly set NbEq in new polyhedron
2007-08-05
Sv
e
n Verdoolaege
sample
.
c: Poly
h
edron_RemoveF
i
xedC
o
lumns: correc
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c:
r
e
move_equaliti
e
s
:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erdoolae
g
e
Param_Polyhedron_Print: print eve
r
ythi
n
g
t
o
g
iven f
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
ba
r
vino
k
_enumerat
e
_with_options: don't ad
d
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Ve
r
do
o
lae
g
e
b
arvinok
.
cc:
don't fr
e
e P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdo
o
l
a
ege
re
m
ove_all
_
e
qualities
:
also r
e
move eq
u
a
l
i
ties in context
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
d
oolaege
volu
m
e
.
c: avo
i
d warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verd
o
o
laege
export Pa
r
am_
I
nner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Ver
d
oolaeg
e
barvinok_en
u
merate
.
cc: add mi
n
imal
c
heck on
input
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdoolaege
more proto
t
ype chang
e
s to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue: print_e
v
alue:
m
ake parameter n
a
m
e
s
const
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Al
w
ays compile polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
S
v
e
n
Verdoo
l
aege
polyto
p
e
_scan: u
s
e argp for
argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
c
o
nfig
u
re
.
in: allow specificatio
n
of
default pr
e
fix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoolaeg
e
consolida
t
e
cal
l
s to
P
olyhedron2Param
_
Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
er
d
oolaeg
e
volume
.
c: f
i
x typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoolaege
Makef
i
le
.
am: a
d
d $(EXE
E
XT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
Makefil
e
.
am: force rebuild l
i
braries in subdirs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
V
erdoolaege
on
l
y
te
s
t barv
i
n
o
k
_
maxi
m
ize if
i
t has been
/
can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
ba
r
v
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
dool
a
ege
testlib
.
cc: work around
i
n
complete namespace su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c: enumer
a
t
e
_narrow_flat
e
d: don't
s
imp
l
if
y
constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
l
a
e
ge
declare variables a
t
start of code
bloc
k
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: upd
a
te docum
e
nt
a
t
ion of options and some f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
Pol
y
hedro
n
_Sample: factor polyhedron if p
o
ss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
doolaeg
e
Polyhedr
o
n_Sample
:
comput
e
v
ertic
e
s
of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
e
g
e
P
olyhe
d
ron
_
Sampl
e
: remove
a
ll equalities from
p
o
l
yhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
add possib
i
l
i
t
y to
u
s
e
GLPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: p
o
stp
o
n
e
removal
of rays until w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolae
g
e
Polyhedron_Sa
m
ple: u
s
e lp solver for finding
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move cho
i
ce of lp solver to use out
s
ide b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
p
o
lysign
.
h:
u
se correct name of PL_polyhedron_aff
i
ne
_
s
i
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdoolaege
b
a
rvinok_enumerate: plug memory le
a
k in Bernoulli
appr
o
ximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
barvi
n
ok_enumerate_e_r: don't assume AddConst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
l
a
ege
evalue
_
frac2polynom
i
al: rech
e
ck evalue afte
r
evalue_spli
t
_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c: L
i
ne_Le
n
gth: do
n
't get confused by positi
v
ity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
M
a
ke
f
ile
.
a
m
: s
t
op aft
e
r first failed tes
t
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
b
e
rnst
e
in: carry t
h
r
ough
v
ariable renaming t
o
de
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaeg
e
bernstein: don
'
t assume
inp
u
t pol
y
nomi
a
l
has been
e
xpa
n
ded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoo
l
aege
evalue_read
.
c:
c
orr
e
ct const
n
ess of nam
e
in p
a
rameter_ne
w
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdoolaege
ev
a
lue_read: accept constant multiple of variable wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven V
e
rdoolaege
eva
l
ue
.
c: evalue_su
m
: better h
a
ndling of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verd
o
olaege
evalue
.
c:
r
e
o
rder_term
s
:
fi
x
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
d
oolaege
evalue: declare first argu
m
ent of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doo
l
ae
g
e
evalue
.
c
:
emul: d
o
n't use expl
i
c
i
t_comple
m
e
n
t o
n
argument
s
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
Verdoolaege
ad
d
a test for evalue_
s
plit_pe
r
i
ods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
o
o
l
a
ege
evalue
.
c: e
v
a
lue_split_pe
r
iods: make su
r
e sel
e
cte
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
rd
o
olae
g
e
e
v
alue
.
c
: pol
y
nomial
_
proj
e
ction: use evalue_ext
r
a
ct_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a te
s
t
f
or barvinok_maximize and
barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
S
ven V
e
r
d
o
o
laeg
e
b
arvinok_summ
a
te
:
suppo
r
t ver
i
f
ication o
f
results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laege
evalue
.
c: evalue_
s
um: spl
i
t into or
t
h
a
nts + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
V
erdoolae
g
e
barvinok_union
:
use
a
rgp for
a
rgument parsing
commit
|
commitdiff
|
tree
2007-06-09
S
ven
Verdoo
l
aege
barvin
o
k_enu
m
erate_union_series_with_
o
pt
i
ons: fix typ
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Ver
d
oo
l
aege
bas
i
s_reduction_cdd
.
c
c: get correct dual soluti
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
e
r
doolaege
basis_
r
educ
t
ion_glpk
.
c
:
correctly se
t
type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
a
sis_reducti
o
n_glpk
.
c: chec
k
for s
a
nity of solu
t
ion
commit
|
commitdiff
|
tree
2007-06-06
Sven Verd
o
ol
a
ege
options: me
n
tion default and availab
l
e solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
rd
o
olaege
p
o
lyhedron_
s
ample: take
options
commit
|
commitdiff
|
tree
2007-06-06
S
v
en
Verdoola
e
ge
do
c
: more about p
o
wer sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verd
o
olaege
d
oc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven
V
erdoo
l
aege
doc: repe
a
t Matthia
s
' stopped
B
arvin
o
k experime
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ve
r
doolaege
ad
d
barvinok_su
m
mate to sum a quasi
-
p
o
lynomial
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
e
value_rea
d
: fix
f
or top
-
l
evel
fraction
a
l part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c:
Bernoulli_sum_evalue: reduce resu
l
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: pe
r
f
o
rm nested
s
um
s
appro
x
i
m
ation
d
epth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
eg
e
a
dd pol
y
nomial approx
i
mation based o
n
n
ested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
o
olaege
u
t
il
.
c:
extract for_
e
a
c
h
_low
e
r_upper_bound from Pa
r
amL
i
ne_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
ecompose
r
:
use NT
L
to invert matrix rather
t
han
c
o
nv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
a
e
ge
lat
t
ice_poi
n
t
.
cc: allow rays and
v
ert
e
x
to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
counter: o
p
timize summing over points in fun
d
apiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
lattice_p
o
int
.
cc:
avoid conversion
b
e
t
w
e
en N
T
L and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
conve
r
sion
.
cc: rem
o
ve
rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
la
e
ge
evalue
.
c
:
evalue_
p
oly
n
omial ex
t
racted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c
: add
evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
g
e
doc: a n
o
te on the connecti
o
n between Todd
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ve
r
doola
e
ge
doc: po
i
nts in fun
d
apiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
S
v
e
n Ve
r
d
o
o
laege
barvin
o
k
.
cc: simplify dpoly_n
c
onstructor
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
V
e
rdoolaege
Remove
"
norma
l
izatio
n
"
or powers in
d
eno
m
inato
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven V
e
rdoo
l
a
e
ge
decompo
s
e
r
.
cc:
pass
o
ption
s
to triangul
a
te_
c
one
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoola
e
ge
barvinok_coun
t
: opt
i
onal
l
y
use e
x
ponential substit
u
tion
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counte
r
.
cc: ex
t
racted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdool
a
ege
dp
o
ly
:
:div: avoid com
p
u
tation wi
t
h
rat
i
onal
n
umbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdo
o
laege
dpoly: use
V
alue instea
d
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoola
e
ge
ad
d
test for
lattice p
o
int computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value_
r
e
a
d
.
c:
a
d
d evalue_read_from_
s
t
r
for r
e
adin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
e
v
alue_
r
ea
d
_f
r
om_file: don't modify v
a
r_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
doolaege
e
v
alue
_
read
:
read
m
ore general e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
ue_conver
t
.
cc: add
m
i
ssing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
c
o
nversi
o
n
.
h
:
generalize
rays
2
matrix
2
t
o zz2m
a
trix
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattice_
p
oint
.
h: make
s
elf
-
cont
a
ined
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdool
a
ege
e
v
alue_rea
d
: extr
a
ct from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoo
l
aege
enumera
t
or:
support primal (half-open) decompo
s
i
t
i
ons
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
g
e
e
n
umerator:
han
d
le
(
dual)
s
topped Barvinok
d
ecomp
o
sition
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verdoolaeg
e
l
a
ttice_po
i
n
t
.
cc:
r
e
move
u
n
u
sed PD ar
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
lattice_point
.
cc: extract coset generati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
l
attice_point
.
cc: rename
c
eil_mod to fracti
o
nal_pa
r
t
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
V
erdoola
e
g
e
la
t
tice_point
.
c
c: use some he
l
p
er functions to
simpli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
lattic
e
_point
.
cc: i
m
plement lookup-t
a
ble
version
in
.
.
.
commit
|
commitdiff
|
tree
next