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
lexmin: remove duplicate unfringe
2006-08-26
S
v
en Verdoolaege
lexmin: remove dupli
c
a
t
e unfringe
commit
|
commitdiff
|
tree
2006-08-16
S
v
en V
e
rdoo
l
aege
polytope_scan:
optionally
skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaeg
e
polytope_scan: sca
n
in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verdoolaege
polytope
_
scan: sca
n
s
th
e
i
n
teger points in
a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
r
doo
l
ae
g
e
ins
t
all NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
ba
s
is_
r
eduction
.
c: cle
a
n
u
p GLP
K
m
e
mory
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
lexmin
.
cc
:
don't bot
h
er tr
a
nsforming if comp
r
ess_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
V
erdool
a
ege
lexmin
.
cc: fix us
e
of
compress_p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Ve
r
doolaege
sam
p
le
.
c
:
fi
x
re
m
ov
e
_ray
commit
|
commitdiff
|
tree
2006-08-13
S
ven V
e
rdoolaege
barvinok_count: c
l
ea
n
u
p
memory
af
t
e
r s
i
m
p
lifyin
g
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
R
EADME
:
update
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolae
g
e
o
n
ly pe
r
f
o
rm lexmin tests when l
e
xmin h
a
s be
e
n
c
o
mpiled
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
some more
t
est
s
with unboun
d
ed
polyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Verdoolaege
add some s
m
a
ll te
s
t
s for le
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
lexmin: ba
r
f when polyhedron contains l
i
ne
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
lexmin: don
'
t print solution when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_
m
ain
.
cc
:
clea
n
up
mem
o
ry
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok_seri
e
s: handle fixed p
o
lytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_
f
un: add
co
n
str
u
c
t
or fo
r
generating f
u
nction
wit
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
Verdoolaege
barvin
o
k
.
cc: remove_more_equalities: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdo
o
laege
gen_fun::coeffi
c
i
e
nt:
r
e
set the number of rows
in
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaeg
e
l
e
x
min
.
cc: use
r
emove
_
equalitie
s
consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compres
s
_variables: extra
c
ted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don't check a
n
ything
i
f giv
e
n r
a
n
g
e l
i
es
o
u
t
side
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaeg
e
le
x
min
.
cc:
remove_equalitie
s
; take
p
r
e
i
mage wi
t
h returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
le
x
min
.
cc: remo
v
e_equal
i
tie
s
: extend returne
d
matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolae
g
e
lexmin
.
c
c
:
i
n_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
ven
Verdoola
e
ge
lexmi
n
.
c
c
: rem
o
ve some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ver
d
o
olaege
reduce_dom
a
in: compu
t
e
convex u
n
i
on
o
f
dom
a
in
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdo
o
la
e
ge
l
exmin
.
cc: in_dom
a
in: also check othe
r
parts of unio
n
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin: in_domain: set
va
l
ues if constraints don
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
l
ex
m
i
n: plug some memory
l
eaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
l
e
x
min: an
e
xperimental tool for
c
o
mputin
g
the
p
a
r
amet
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
eg
e
a
d
d
f
dstrea
m
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n
Verdoolaege
ev
a
lue
.
c: floor2frac_r: pl
u
g memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvinok
.
c
c: unfr
i
nge: w
o
rk in
c
r
e
mentally
commit
|
commitdiff
|
tree
2006-08-06
Sven
Verdo
o
laege
evalue
_
frac2fl
o
or_in_doma
i
n: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Po
l
yhedro
n
_Sample: allow
e
qualities
i
n
i
n
put polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
P
oly
h
edron_S
a
mpl
e
:
m
ake sure vertices are ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
Pol
y
hedr
o
n
_Sample: simplify constra
i
nt
s
aft
e
r choosi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
P
o
lyhedron
_
Sample
:
handle em
p
ty and 0D poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdool
a
ege
sample
.
c:
a
lternative implementation
of remove_ra
y
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ve
r
doolaege
s
a
mple
.
c: Polyh
e
dron_R
e
m
o
veFi
x
edColum
n
s: hand
l
e
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
b
a
rvinok_co
u
nt_f:
chec
k
whether polyhedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
barvinok_count: simplify constraints after rem
o
ving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
redu
c
ed_basis: support
1
D polytopes
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaeg
e
red
u
ced_basis:
e
nsure
a
ll LP solutions a
r
e non-nega
t
i
v
e
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdoola
e
ge
occ:
print parametric
v
ertices of set using Po
l
yL
i
b
commit
|
commitdiff
|
tree
2006-08-01
S
ven
Ver
d
oolaege
occ: add inter
f
ace to barvinok_
l
ex
s
mal
l
e
r_e
v
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
u
til
.
c:
provide dummy
b
arv
i
nok_lexsmalle
r
_e
v
when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
4coins
:
comput
e
s gene
r
a
t
ing function for 4 coi
n
Frob
e
nius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::Hada
m
ard_product: apply paramete
r
compressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
a
ege
g
e
n_fun::su
b
stitute
:
only
p
ass in t
r
ansformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
cc:
s
upport
m
ore cases
o
f 3 (
i
ndepen
d
ent) const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
scar
f
.
cc: suppor
t
more ca
s
e
s of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
V
erdoolaege
genfun
.
cc
:
ad
d
gen_fu
n
:
:
divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
ge
n
fun
.
cc: anothe
r
gen_fun
:
:summ
a
te method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ve
r
doolaeg
e
i
nfinite_icounter:
an incre
m
e
n
tal counter f
o
r possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdool
a
eg
e
i
co
u
nter: move from ba
r
vi
n
ok
.
cc to
reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolae
g
e
bfen
u
merator::set_
f
actor: plug
small memory leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
b
arvinok_
e
nume
r
a
te_uni
o
n
_serie
s
: use
g
e
n_fun::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
genfun
.
cc: add gen_fun
:
:summate method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::Hadamard_pro
d
uc
t
: optimize compu
t
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
ge
n
_fun::
H
adamard_p
r
oduct: m
a
ke first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
po
l
ar_decomposer
:
:decompose:
m
ake
sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
np_
b
ase: add do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
ege
gen_fun::prin
t
: a
l
low
p
rinti
n
g t
o
streams
o
t
h
e
r
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoolaege
bfcoun
t
er
.
cc: mov
e
some mor
e
cod
e
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n V
e
rdoolaege
gen_fun
.
h: short_rat: use QQ instea
d
of pair of
Z
Zs
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaege
NTL
_
QQ
.
cc: a rational
N
T
L type
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
verify_main
.
c
c
:
small memory clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
doolaege
bar
v
inok_
s
e
ries: move
choice of which gf_base subcl
a
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
r
vi
n
o
k
.
c
c: move some f
u
nctional
i
t
y into sepa
r
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ver
d
oolaege
barvinok
.
cc: move
Polyhedron argument to start meth
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rd
o
olaege
barvinok
.
c
c: m
o
ve
start
and handle_polar into np_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
rd
o
ola
e
ge
gen_f
u
n
:
add s
h
i
f
t method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_f
u
n: add copy constructo
r
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
aege
zz2va
l
ues: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Ver
d
oolaeg
e
zz2value: ma
k
e
f
i
rst ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-20
Sven
V
e
r
doolaege
Poly
h
edr
o
n_is_infinite:
u
se Pol
y
hedro
n
_Sample
if
available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven
Verd
o
olaege
polyh
e
dron_sample
:
compute
s
a
n inte
g
er v
e
ctor
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdo
o
laege
co
n
fi
g
ure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laeg
e
sc
a
rf
.
c
c: simplex::s
h
runk_polyhedr
o
n: only
proces
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
g
e
n_f
u
n::ad
d
: perfor
m
t
r
ivi
a
l
reduct
i
on st
e
p
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
genfun
.
c
c
:
reord
e
r ter
m
s in num
e
r
a
tor
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scarf
.
c
c
:
n
ormalize_matrix: simpl
i
fy n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
sc
a
r
f
.
c
c: s
u
pport some
c
ases of 4 c
o
ns
t
raints
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolae
g
e
barv
i
nok
_
enumera
t
e_e:
--print-all for printin
g
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verd
o
olae
g
e
s
c
arf
.
c
c: normalize_matrix: s
i
mplify n==
3
case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdool
a
ege
scarf
.
cc: project out
2
va
r
i
ables
u
s
ing Sca
r
f
c
o
mplex
commit
|
commitdiff
|
tree
2006-07-08
Sven
Verdoolaege
u
t
il
.
c: export
Extended
_
E
u
c
lid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoo
l
a
e
ge
configure
.
i
n: ma
k
e --
e
nab
l
e-fractional
the default
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdoolaege
barvi
n
o
k_count: chec
k
whether unbounded p
o
lyhedra
a
ctua
l
ly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
rdool
a
e
ge
pol
y
mak
e
/config
u
r
e
.
in: allow speci
f
ication of
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
ol
a
ege
reduce_domain
:
declare
variabl
e
at start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
Verdoola
e
ge
remove_equalities: stop removinf equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oolaege
barvinok
_
count: sto
p
co
u
n
t
i
ng if
f
irst factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdool
a
ege
barvinok_c
o
unt_f:
c
heck for
emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
a
rv
i
nok_count: tell
PolyLib
w
e a
r
e only inte
r
ested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
next