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 'maste
r
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Ve
r
dool
a
ege
insta
l
l
NTL_
Q
Q
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
o
l
aege
basis_reduction
.
c
:
clean
u
p GLPK
memor
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
Merge branch
'
mas
t
er' i
n
t
o
bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ve
r
doolaeg
e
lex
m
i
n
.
cc: do
n
't bother transforming if compres
s
_
p
a
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
Verdoo
l
aege
lexmin
.
cc: fix use of co
m
press_parms
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n V
e
rdoolaege
sample
.
c:
fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
ba
r
v
ino
k
_count: clean up memory after simpli
f
ying co
n
straint
s
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoola
e
ge
R
E
ADME: upda
t
e
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
r
d
oolae
g
e
omega/polyfunc
.
cc: m
a
ximize:
s
i
m
pl
i
fy
d
omain b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
omega/parser
.
y
:
create new variableM
a
p
f
or each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Ve
r
doolaege
omega/pa
r
ser
.
y: free malloc'ed m
e
mory
(
i
n
ste
a
d of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
g
e
Merge branch 'm
a
ster' int
o
bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolae
g
e
only perfor
m
lexmin tests when l
e
xmin
h
as b
e
en compiled
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdo
o
la
e
ge
some more tests with
u
nb
o
unde
d
polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Ver
d
o
o
laege
add some small
t
ests fo
r
lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
le
x
min: barf when
polyhedr
o
n c
o
n
tains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
lexmin:
d
on't print solution
w
hen
v
erify
i
ng
commit
|
commitdiff
|
tree
2006-08-11
Sven Ver
d
oolaege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
M
erge branch 'ma
s
ter' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
S
ven
V
erdoolaege
barvinok_series: handle fix
e
d p
o
l
y
t
opes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
gen_
f
u
n
: add construc
t
o
r
f
or genera
t
ing fu
n
ct
i
o
n with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ver
d
oolaege
b
ar
v
inok
.
cc: remov
e
_more_equalities: hand
l
e equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::coefficie
n
t
:
r
eset the numbe
r
of rows
i
n the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
lex
m
in
.
cc: use remove_equalit
i
es consistently
commit
|
commitdiff
|
tree
2006-08-10
S
ve
n
Verdoola
e
ge
util
.
c:
comp
r
ess_var
i
ables: e
x
t
r
a
cted
f
r
om lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min: don't
che
c
k anyth
i
n
g
i
f
given
r
ange lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verd
o
olaege
lexmin
.
cc
:
r
e
move_equ
a
l
i
t
i
es; take preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lexmin
.
cc: remov
e
_equ
a
l
i
ties:
extend returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain
:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdoolaege
lexmin
.
cc: rem
o
ve some debuggi
n
g residues
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verd
o
ola
e
ge
reduce_doma
i
n: compute conv
e
x u
n
ion of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaeg
e
lexmi
n
.
c
c: in
_
domain: al
s
o c
h
ec
k
other par
t
s of union
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdo
o
la
e
ge
lexmin: in_domain: set values if constrai
n
t
s don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
l
e
xmin:
p
lug some
memo
r
y leaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaege
lexmin: an exp
e
rim
e
ntal to
o
l for
c
omputing
t
he parametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olaege
add fds
t
ream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
e
value
.
c: floor2fr
a
c_r: plug
m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven Ver
d
o
olaege
barvinok
.
cc: unfringe: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoola
e
ge
evalue_frac2flo
o
r_in_domain: plug m
e
mo
r
y lea
k
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
Pol
y
hedron_S
a
mple: allo
w
equalities in input po
l
y
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
ed
r
o
n
_Sample: make sure
v
ertices
a
re avai
l
able
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedr
o
n
_
Sample: simplify cons
t
r
a
i
nts
a
fte
r
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ve
r
dool
a
ege
Poly
h
edr
o
n_Sample: handle
e
mpty and 0D pol
y
hed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
s
a
mple
.
c: alternative
i
mplem
e
nt
a
tion of
r
emove_ra
y
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ve
r
doolaege
s
ample
.
c:
P
ol
y
hedron_RemoveFixedColum
n
s
:
h
andle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
er
d
oolae
g
e
b
arvinok_count_f: check wh
e
the
r
polyhed
r
on
i
s
unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolae
g
e
barvin
o
k_count:
simpli
f
y
c
ons
t
r
a
i
nts after removi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
la
e
ge
reduc
e
d_basis: support 1
D
polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
reduced_basis: ensure a
l
l
LP
solut
i
ons are
no
n
-nega
t
ive
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n
Verdo
o
l
aege
Merge bran
c
h
'master'
i
nto bernste
i
n
commit
|
commitdiff
|
tree
2006-08-02
S
v
e
n
Verdoo
l
a
e
g
e
o
c
c: print
p
a
rametric vertices of se
t
using Pol
y
Lib
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaeg
e
occ: allow polynomials in bernst
e
in
maximizat
i
on
to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
Ve
r
doo
l
a
e
g
e
Me
r
g
e bra
n
c
h
'mast
e
r' into be
r
nstein
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdoolaege
occ: add inte
r
f
a
ce to
b
a
r
vinok_lexs
m
aller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoola
e
ge
ut
i
l
.
c
: provide dummy b
a
rvi
n
ok_l
e
xsmaller_ev wh
e
n Le
x
S
maller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
o
l
a
ege
4
c
oi
n
s
:
computes generat
i
ng
f
u
nction for
4 coin
F
robenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun:
:
Hadamard
_
product: a
p
p
ly parameter compre
s
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
gen_fun::subs
t
itute: on
l
y pass in tran
s
f
ormation matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoolaege
scarf
.
cc: support more cases of 3 (ind
e
pen
d
e
nt) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdo
o
l
aege
scarf
.
c
c
:
s
u
pport mo
r
e
cases of 4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
g
e
nfun
.
cc:
a
dd gen_
f
un
:
:divide
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
g
e
nfun
.
cc:
a
nother g
e
n_f
u
n::summ
a
te method
commit
|
commitdiff
|
tree
2006-07-27
S
ven V
e
rd
o
ola
e
ge
infinite
_
icounter
:
an
i
ncremen
t
al cou
n
t
e
r f
o
r possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icount
e
r: move fr
o
m b
a
rvinok
.
cc to reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bfenumerator::s
e
t_factor
:
p
l
ug small memory
leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
l
a
eg
e
barvinok
_
enumerate_union_series: use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
f
un
.
cc: add
gen_fun
:
:summate method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
lae
g
e
g
en_fun::
H
adamard_product:
o
ptimize co
m
putation
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::Ha
d
amard_product: mak
e
first argu
m
e
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
polar_decompose
r
:
:
decomp
o
se: make sure ver
t
ices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ol
a
ege
np_
b
ase: a
d
d do_verte
x
_con
e
me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
e
rdoo
l
a
ege
gen
_
fun::print:
allo
w
printin
g
to streams other
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcounter
.
c
c
: move
s
ome more code from
barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaeg
e
gen_fun
.
h: sh
o
r
t
_
r
at: use QQ
inst
e
ad
o
f pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olaege
N
T
L_QQ
.
cc: a rat
i
onal NTL typ
e
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
v
e
rify_main
.
cc: sm
a
ll
m
emory clean-
u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvino
k
_se
r
ies: move choic
e
of which gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
b
arvi
n
o
k
.
cc: move some f
u
nctionality
i
nto separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rv
i
nok
.
cc: move
P
olyh
e
dron
argume
n
t
to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
barvinok
.
cc:
m
o
ve s
t
art and ha
n
dl
e
_
p
olar i
n
to np_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
gen_fun: a
d
d shif
t
meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add
c
o
p
y constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
zz2va
l
ues: make fir
s
t
a
rgument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
zz
2
val
u
e: ma
k
e first a
r
gument
c
o
nst
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaege
P
o
lyhe
d
ro
n
_is_infin
i
te: use
Polyhedron_Sample i
f
available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
p
olyhedron_sample
:
comp
u
tes
an i
n
teger vec
t
or in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ve
n
V
e
rd
o
olae
g
e
confi
g
ure
.
in: chec
k
for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: simplex:
:
s
h
runk_polyhedron:
o
n
ly process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
gen_fun:
:
add: perform trivia
l
reduct
i
on step
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ver
d
oolaeg
e
genfun
.
cc: reorde
r
terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
scarf
.
c
c:
normalize_matrix: sim
p
lify
n
==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
carf
.
c
c
: support
s
ome case
s
of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
barvinok_enumerate_e: --print-a
l
l for prin
t
ing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
sc
a
rf
.
cc
:
normaliz
e
_matrix:
s
i
mplify n==3 c
a
se
commit
|
commitdiff
|
tree
2006-07-10
S
ven
V
erdool
a
ege
scar
f
.
c
c: proj
e
ct
o
ut 2 var
i
ables usin
g
Scarf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdool
a
ege
ut
i
l
.
c: export
E
xtend
e
d_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven
Verdoolaege
confi
g
ure
.
in: make --
e
nable-fractio
n
al the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
barvin
o
k_count
:
che
c
k whe
t
her unbounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
polymake
/
configure
.
in: allow s
p
e
c
ificati
o
n of l
o
c
ation
.
.
.
commit
|
commitdiff
|
tree
next