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
README: add a warning on (not) using shared libraries
2006-09-06
Sven Verdo
o
laege
RE
A
DME: a
d
d a warning on (no
t
) using sh
a
red l
i
braries
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
evalue
.
h:
change name of
header d
e
fi
n
e
commit
|
commitdiff
|
tree
2006-08-31
S
ve
n
Verdoolaege
evalue
.
h:
m
ake m
o
re self-
c
ontained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bfcounter
.
h: undefine divide
from polylib's
arithmet
i
que
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rd
o
o
laege
c
on
f
igure
.
in: n
o
longer com
p
ile s
h
a
re
d
libraries
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
doolaege
README: r
e
flect that --enable-fractional
is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
l
e
x
min: remo
v
e duplica
t
e
unfrin
g
e
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Ve
r
doolaege
polytope_scan: o
p
tionally skip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olae
g
e
p
o
lytope_scan: scan in red
u
ced basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n
Verdoolaege
polyt
o
pe
_
scan: scans
t
he i
n
teger points
i
n a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rdoola
e
ge
install
N
TL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
basis_reduction
.
c: clean up
G
LPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
le
x
min
.
cc: do
n
'
t
b
o
ther
t
r
ansform
i
ng if compress_p
a
rms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
e
ge
lexm
i
n
.
cc
:
f
i
x use o
f
com
p
ress
_
parms
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
V
erdoolaege
sample
.
c: fix remov
e
_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
barvin
o
k
_count:
c
lean up memory afte
r
s
i
mplifyi
n
g con
s
traints
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doola
e
ge
README
:
u
p
date
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Ve
r
doolaege
only p
e
r
f
o
r
m
l
e
xmin
t
es
t
s wh
e
n l
e
xmin has been
co
m
piled
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolaege
some more
t
ests with unbo
u
n
d
ed polyhe
d
r
a
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
ad
d
some small
t
e
sts for lexm
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolaege
le
x
min: b
a
rf when polyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oo
l
aege
lexmin: don
'
t print solution when ver
i
fying
commit
|
commitdiff
|
tree
2006-08-11
S
ven
Verdo
o
laege
verify_main
.
cc: clean up
m
e
m
ory
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdo
o
laege
barvinok_series:
h
andle
fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoo
l
ae
g
e
gen_fun: add con
s
tructor for genera
t
ing function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
bar
v
inok
.
cc:
r
emove
_
more_equalities:
h
andle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
gen_fu
n
::c
o
efficient: reset the number
of
rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
lexmin
.
cc
:
u
s
e remove_e
q
ualitie
s
consis
t
e
ntly
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
util
.
c: compress_var
i
ables:
e
xtracted from
l
exmi
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin: don't check an
y
thi
n
g
if
g
ive
n
range lie
s
outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
l
exmin
.
c
c:
r
emove_equalities; take preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
lexmin
.
c
c:
r
emove_equalities: ex
t
end
r
e
turned m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoolaege
lexmin
.
cc: in_d
o
m
a
in: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lex
m
in
.
cc
:
remove
s
ome
d
e
b
u
gging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
re
d
u
c
e_domain: compute
convex union o
f
domain
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdool
a
ege
le
x
min
.
cc:
in_domain: also check other part
s
of uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
: in_d
o
main: set values if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erd
o
olaege
lexmi
n
:
plu
g
some me
m
ory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdo
o
laege
lexm
i
n: a
n
experimen
t
a
l too
l
for computin
g
the param
e
t
r
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
v
en
V
erdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdo
o
laege
evalue
.
c: floor
2
frac
_
r: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-08
Sven
Ver
d
oolaege
barvinok
.
cc: unfringe: work increme
n
tall
y
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n V
e
r
doolaege
evalue_fr
a
c2floor_in_
d
o
m
ain: p
l
u
g m
e
mo
r
y leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoola
e
ge
Pol
y
h
e
dron_Sa
m
ple:
a
llow e
q
u
a
l
i
ties in i
n
put p
o
l
yhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rd
o
olaege
Pol
y
h
e
dron_Sample: make su
r
e vertic
e
s a
r
e av
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
erdoolaege
P
o
l
yhed
r
o
n
_Sam
p
l
e: simplify
c
onstraints after cho
o
s
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
g
e
Polyhedron
_
S
a
m
ple: handle empty and
0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
g
e
sample
.
c
: alte
r
native implementation o
f
remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sa
m
ple
.
c: Po
l
y
h
edron_Remo
v
e
FixedCo
l
umn
s
: h
a
ndle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
b
a
r
v
in
o
k_count_f: c
h
ec
k
whe
t
h
e
r
polyhedron is unboun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
barvinok_coun
t
:
s
i
mplify
c
o
nstraints aft
e
r remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
reduced_basis: su
p
port
1
D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdo
o
laege
red
u
ced_basis: ensure a
l
l
L
P s
o
lutions
are non-
n
egative
commit
|
commitdiff
|
tree
2006-08-02
S
v
e
n
Verdoolaege
occ: print para
m
etric v
e
rtice
s
of set using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
S
ven
V
erdoolaege
occ
:
add interfac
e
to barvinok_lexsmall
e
r_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verd
o
olaege
ut
i
l
.
c
:
provide dummy barvinok_lexsmaller_
e
v wh
e
n LexSmalle
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
4
coins: computes
g
en
e
rati
n
g function for 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
gen_fun::Hada
m
ar
d
_product: apply parameter comp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::substi
t
u
t
e:
o
n
l
y pass in transform
a
tion matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
do
o
l
a
ege
sc
a
rf
.
cc: support mor
e
case
s
of 3 (inde
p
endent) co
n
str
a
i
nt
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
s
c
arf
.
cc
:
support more cases of 4 const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdool
a
eg
e
genfun
.
cc:
a
dd gen_
f
un:
:
d
i
vide method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
g
e
nf
u
n
.
cc: ano
t
her gen_fun::su
m
mate meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
S
ven Ve
r
do
o
la
e
g
e
infinite_icounter: an
i
ncrement
a
l co
u
n
ter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
icounter: move fr
o
m barvinok
.
c
c
to reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
bfenumerator::set_fact
o
r
:
plug small me
m
ory
lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
barvin
o
k_enume
r
ate_union_ser
i
es: use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
genfu
n
.
cc: add ge
n
_fu
n
:
:summate method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoo
l
aege
gen_fun::Hadama
r
d_product: op
t
imize computation
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aeg
e
g
e
n_fun::Hadamard_product:
make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
polar_d
e
composer::d
e
c
o
mpose: make s
u
re
v
ertices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
n
p
_base: add do_vertex_cone
m
et
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_fun::pr
i
n
t: allow pri
n
ting to streams o
t
her tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolae
g
e
b
f
coun
t
er
.
cc:
m
ove
some more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen_fu
n
.
h: short_rat: use QQ instead o
f
pair of ZZ
s
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
NTL_QQ
.
cc: a rationa
l
NT
L
type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
verify_main
.
cc: sma
l
l
mem
o
ry clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_se
r
ies: move ch
o
ic
e
o
f wh
i
ch
g
f_base subclas
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaeg
e
ba
r
vinok
.
cc: m
o
ve some fun
c
tiona
l
ity into
s
e
p
arate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
barvinok
.
cc: move
Po
l
yhedr
o
n arg
u
ment
to s
t
art m
e
th
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
barvi
n
ok
.
cc
:
move star
t
and handle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
_
f
u
n: add shift
m
etho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
ool
a
ege
gen_fun
:
a
d
d
c
opy con
s
tr
u
ctor
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
erdoolaege
zz2
v
al
u
e
s: make first argument c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ola
e
ge
zz
2
v
a
lue: make first argu
m
ent const
commit
|
commitdiff
|
tree
2006-07-20
Sven V
e
rdoolae
g
e
Polyhedron_is
_
inf
i
nite: use
Polyhe
d
ron_Sample
if availab
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Verdoolaege
polyhedron
_
sample:
c
omputes an integ
e
r vecto
r
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdool
a
ege
configure
.
in: c
h
e
ck for
g
lpk
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
scarf
.
cc: simplex::sh
r
unk_polyh
e
d
r
on:
o
nly process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdo
o
la
e
ge
gen_fu
n
::
a
dd: perform trivial
re
d
uction ste
p
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoo
l
aege
genfun
.
c
c
: reorder
t
erms i
n
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aeg
e
scarf
.
cc: norm
a
lize_matrix: simpl
i
fy n==3
c
ase some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scarf
.
cc
:
s
upport som
e
cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
ba
r
vino
k
_enumerate
_
e: --print-a
l
l for
p
ri
n
ting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
c
arf
.
cc: nor
m
alize_m
a
trix: simplif
y
n=
=
3 ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
S
ven Verdoolaege
scarf
.
c
c
:
project out 2
v
ariables using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven
V
erdoolaeg
e
u
t
il
.
c
:
ex
p
or
t
Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
c
o
nfigu
r
e
.
in: make
-
-
enabl
e
-
f
racti
o
n
a
l the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Ver
d
oolaege
b
arvinok_count: check wheth
e
r unboun
d
ed po
l
yhedra actual
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
l
a
ege
polymake/configure
.
in: allow specifi
c
ation
of l
o
cation
.
.
.
commit
|
commitdiff
|
tree
next