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
Merge branch 'master' into bernstein
2006-08-14
Sven Verdoolaege
Merge branch 'master' into bernstei
n
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
i
nst
a
ll NTL_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_r
e
duction
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdo
o
l
aege
M
erge branc
h
'master' in
t
o
bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoo
l
aege
lexmin
.
cc:
d
on't
bother transforming if compress_p
a
rms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
r
d
o
olaege
le
x
min
.
cc
:
fix
use of com
p
ress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdo
o
laege
sa
m
ple
.
c: fix
re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
barvinok_
c
ount: clean up memory after s
i
mplifying c
o
nstraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
R
EADME: u
p
date
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolaege
om
e
ga/polyf
u
nc
.
cc:
maximiz
e
: si
m
pli
f
y domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
o
o
laege
omega/p
a
rser
.
y
: c
r
eat
e
ne
w
variable
M
ap
for each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolaege
omega/p
a
rser
.
y
: f
r
ee
m
a
lloc'ed memory (inst
e
a
d
of
d
elete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
V
e
r
d
oo
l
aeg
e
Merge
b
ranch 'mas
t
er' int
o
bernstei
n
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
on
l
y perform lexmin tests when lexmin h
a
s
b
een comp
i
led
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
some
m
o
re tests with unbound
e
d polyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
add some
s
mall tests for l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lex
m
in: barf when
polyhe
d
ron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: don't print solu
t
i
on
when verifying
commit
|
commitdiff
|
tree
2006-08-11
S
v
en Verdo
o
laeg
e
verify_mai
n
.
cc: clean up
memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
M
er
g
e bra
n
c
h 'ma
s
ter' i
n
to b
e
rns
t
ein
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaeg
e
barvi
n
ok_seri
e
s: hand
l
e
fixed polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Ver
d
oo
l
aege
gen_fun: a
d
d
c
ons
t
ructor f
o
r gene
r
ating fu
n
ctio
n
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
bar
v
i
n
o
k
.
cc: remove_more_equali
t
i
es:
h
an
d
le equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
gen_fu
n
::
c
oeff
i
cient: reset the number of ro
w
s i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
rd
o
olaege
l
e
xm
i
n
.
cc: use rem
o
ve_equ
a
lities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compress_variabl
e
s: extra
c
t
ed from lexmi
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmi
n
: don't check anything if g
i
ven range lies
o
uts
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
r
emove_equalities; take preimage with return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmin
.
c
c: rem
o
ve_
e
qualities
:
extend
r
eturned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolaege
lexmin
.
cc: in_doma
i
n: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove some
debugging res
i
due
s
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
reduce_domain: compute convex union of
domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
m
i
n
.
cc: in_domain:
a
ls
o
check other
p
arts of union
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verd
o
olaege
l
exmin: in_domain: set
v
alues if c
o
n
s
train
t
s don'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdo
o
l
aege
l
exmi
n
: plug some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
le
x
min:
an experim
e
nt
a
l
tool
f
or comput
i
ng th
e
par
a
metric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Ver
d
oolaege
ad
d
fdstre
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
e
ge
evalue
.
c
:
floor2
f
rac_r: p
l
ug mem
o
ry l
e
a
k
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvinok
.
cc: unfringe:
work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven
Verdoolaege
evalue_frac2flo
o
r_in_d
o
main: pl
u
g memory leak
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
P
olyhedron_Sample: allo
w
eq
u
alities in inp
u
t polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhe
d
r
o
n_Sam
p
l
e: make
s
ure vertices
a
re
a
vaila
b
le
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Po
l
yh
e
d
r
o
n_Sampl
e
: sim
p
lif
y
cons
t
r
aints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ve
r
doolaege
Polyhedron_Sample:
handle empty and 0D
p
oly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdool
a
ege
s
a
mple
.
c
:
altern
a
tive impleme
n
tation of
remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdoolaege
sample
.
c: Poly
h
e
dron_R
e
moveFixedColum
n
s: han
d
le pres
e
n
ce
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
barvinok_count_f: ch
e
ck whet
h
e
r
p
olyhedron is u
n
bounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
ba
r
vinok_count: simplify
c
onstraints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
r
e
d
u
ced_bas
i
s: suppo
r
t
1
D
pol
y
tope
s
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
do
o
l
a
ege
red
u
ced_basis: en
s
ure
all LP
solutions are non-neg
a
t
ive
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
er
d
oolaege
Merge branch
'
mast
e
r' into bern
s
tein
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdo
o
laege
oc
c
: pri
n
t pa
r
amet
r
ic
vert
i
ces of s
e
t
u
sing
PolyL
i
b
commit
|
commitdiff
|
tree
2006-08-02
Sven V
e
rd
o
olaege
occ: allow polynomials in berns
t
ein
m
ax
i
miz
a
tion to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sven V
e
r
dool
a
ege
Merge branch 'maste
r
' into bernstein
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaeg
e
occ: add inte
r
face to barvin
o
k_
l
exsm
a
ller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
uti
l
.
c: provide dummy barvinok_le
x
smalle
r
_ev whe
n
L
e
x
Small
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
a
eg
e
4coins: com
p
ut
e
s generating funct
i
on
for
4
c
o
in Frobeniu
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::Hadamard_pr
o
d
uct: apply par
a
meter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
oolaege
g
e
n
_
fun::su
b
stitute: only pa
s
s
in tran
s
f
o
r
ma
t
ion matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoola
e
ge
scar
f
.
c
c
: support more cases
of
3
(indep
e
ndent
)
co
n
straints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolae
g
e
scar
f
.
cc: support
mor
e
cas
e
s of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
S
ven V
e
rdoola
e
ge
genfun
.
c
c
: add gen_fun
:
:
divi
d
e meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rd
o
olaege
g
e
nf
u
n
.
c
c:
a
n
other gen_fun::summate
method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
infini
t
e
_
i
counter: an incremen
t
al counter for possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
icounter: move
f
rom bar
v
inok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
bfenu
m
erator::set_fact
o
r: plug small m
e
mo
r
y
l
eak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barvin
o
k_enumera
t
e
_union_seri
e
s: use gen_fun::
s
ummat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
o
laege
genfun
.
cc: add gen_fun::summate
m
e
th
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_
f
un::Hada
m
ard_product: optimize computation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
g
e
n_fun::Ha
d
amard_product: make firs
t
argument con
s
t
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
ol
a
ege
polar_decomposer::decompose: make sure vert
i
ces ha
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base: add do_vertex_cone meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Verdoolaege
g
e
n_f
u
n::print: allow printing to stre
a
ms o
t
her
t
han
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
bfcount
e
r
.
cc: mo
v
e some more
code from
barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fun
.
h: short_rat: use QQ instea
d
of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
NTL_QQ
.
cc:
a
r
ational NTL
type
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
veri
f
y_main
.
c
c: small
m
emor
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
laege
barvinok_
s
eri
e
s
:
move choice of
w
h
i
ch gf_base
s
u
bclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
bar
v
inok
.
cc: move s
o
me functi
o
nality into separa
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
do
o
laege
barvinok
.
cc: move
P
ol
y
hedron
argument to start meth
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bar
v
inok
.
cc: move sta
r
t and handle_p
o
l
ar
into np
_
base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolaeg
e
g
e
n_
f
un: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
en_fun:
add c
o
py constructo
r
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
e
rdo
o
l
a
ege
zz2values: make first argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: make first a
r
gument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verd
o
olae
g
e
Polyhe
d
ron_is_infinite: use
P
ol
y
h
ed
r
on_Sample
i
f
availa
b
le
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
doola
e
ge
p
o
l
yhedron_sample: c
o
mputes an int
e
ger vector
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
erdoola
e
g
e
configure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
scarf
.
c
c
: simplex::s
h
runk_polyhedron: only
p
r
o
cess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
V
erdoo
l
aege
gen_fun::add: perform
tr
i
via
l
r
e
ductio
n
step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
e
ge
gen
f
un
.
cc: r
e
order terms i
n
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
scarf
.
cc: normalize_matrix: si
m
plify n==3 cas
e
some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
Ver
d
oola
e
ge
scarf
.
cc: support some cases of 4 constrain
t
s
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdool
a
ege
barvino
k
_
e
numerate_e
:
--prin
t
-all for
p
rinti
n
g a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaege
scarf
.
cc: normalize_ma
t
rix: s
i
m
p
lify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Ve
r
doolaege
scarf
.
cc: project out 2 va
r
iables using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdoolaege
u
t
i
l
.
c
: export
E
xtend
e
d_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verd
o
olaege
conf
i
gure
.
in
:
make --enable-fractional the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
ba
r
vin
o
k
_
c
o
unt:
c
heck
whether unbounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymake/co
n
figure
.
i
n
: allow
specification of location
.
.
.
commit
|
commitdiff
|
tree
next