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.cc: define max_term over an EDomain rather than a Polyhedron
2006-09-22
Sven Verdoolae
g
e
lex
m
in
.
cc:
define max_term over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
eg
e
reducer
.
h:
a
dd
v
i
rtual destructor to np_base to a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaege
lexmin
.
cc: extract out some code to evalue
_
util
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdool
a
ege
optio
n
s
.
c: pick
up definition of POL
_
INTEGER from barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdoolaege
opt
i
onc
.
c: move choice
of which special
i
zation to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
omega/parser
.
l: let flex define yyl
i
neno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc
:
o
ptionally skip check
f
or empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
evalue
.
c:
r
educe_evalu
e
_in_do
m
ain: red
u
ce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: use barvino
k
_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
e
g
e
introduce barv
i
n
o
k_opt
i
on
s
struc
t
ur
e
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolae
g
e
lexmin
.
cc: compute generating functio
n
s
o
f
ver
t
e
x cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
l
e
xm
i
n
.
cc: m
o
ve som
e
code arou
n
d
t
o pre
p
are for n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
en Verdoola
e
g
e
e
v
a
lue: d
e
clare argument of eadd an
d
evalue
_
copy con
s
t
commit
|
commitdiff
|
tree
2006-09-06
S
ven Ver
d
ool
a
ege
lexmin
.
c
c
:
perform
s
ubstitutio
n
immediat
e
ly on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
RE
A
DME:
a
dd a war
n
ing on (not)
u
sing sha
r
ed libraries
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaeg
e
evalue
.
h: c
h
a
n
ge n
a
me of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
evalue
.
h: make m
o
r
e
sel
f
-c
o
ntaine
d
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdo
o
lae
g
e
bfcou
n
t
er
.
h
: un
d
efine d
i
vide fr
o
m polylib's ar
i
thmeti
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
ve
n
Verdoo
l
a
e
ge
co
n
f
i
gure
.
in: no lon
g
e
r compile shared librar
i
e
s by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoola
e
ge
README
:
reflect
t
hat
-
-en
a
b
le-
f
ra
c
tional is now
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
e
r
doolaege
lexmin: r
e
move d
u
plicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytop
e
_sc
a
n:
opti
o
nally skip basis reduc
t
i
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
V
erdoola
e
ge
polytope_scan: scan in redu
c
ed basis
commit
|
commitdiff
|
tree
2006-08-16
S
ven
Verdoolaege
polytope_scan: scans
the in
t
eger point
s
i
n a polyt
o
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoola
e
ge
install
N
T
L_QQ
.
h
heade
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
b
asis_reductio
n
.
c:
c
lea
n
up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
lexm
i
n
.
cc: don't bother
t
rans
f
orm
i
n
g
if compres
s
_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: fix use of
c
o
mpr
e
ss_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaeg
e
s
ample
.
c
: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdo
o
laege
bar
v
i
n
o
k
_
c
o
u
nt
:
clean up memory after simplifying constraints
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
V
erdoola
e
ge
README:
update
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
o
o
laege
onl
y
pe
r
form lexmin tests w
h
en lex
m
in
h
as been
co
m
p
il
e
d
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
V
erdoolaege
some more tests wi
t
h unbounded polyh
e
dr
a
commit
|
commitdiff
|
tree
2006-08-12
S
ven
Ve
r
doolaeg
e
add
s
ome smal
l
tests for lexmi
n
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoo
l
aege
lexmin: barf when polyhedron cont
a
ins line
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
V
e
rdoolae
g
e
lexmin:
d
on
'
t
p
rint solution whe
n
verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rdoo
l
aege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verd
o
olae
g
e
barvinok_series: handle fixed polytop
e
s
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
rdoolaege
gen_f
u
n: add constru
c
to
r
for generating function
w
ith
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
r
doolaege
barvinok
.
cc: remove_more
_
e
q
ua
l
itie
s
:
h
an
d
le equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
ege
gen_fun::coefficient: re
s
et the number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
l
exmin
.
cc: use
r
emove_equalities co
n
siste
n
tly
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Ve
r
doolae
g
e
util
.
c:
comp
r
ess_variables: extracted from
l
exmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
e
rd
o
olaege
lexmin: don't
c
h
e
ck anything if given ran
g
e
l
i
e
s o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaeg
e
lexmin
.
cc:
remove_equal
i
ties; take preima
g
e with return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdo
o
l
aege
lexmin
.
cc: remove_equalities: extend
r
eturned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdo
o
la
e
ge
lexmin
.
cc: in_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Ve
r
doola
e
ge
lexmin
.
cc:
remove s
o
me debugging res
i
d
ues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
re
d
uce_domain: compute convex union of domai
n
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
rdoola
e
g
e
lexmin
.
cc: in_
d
oma
i
n: also che
c
k other parts of u
n
ion
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lexmin: in_domain: s
e
t valu
e
s if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lex
m
in:
p
l
u
g
s
o
me memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaeg
e
lex
m
in: an e
x
perime
n
tal
tool for computing the
p
aram
e
tric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
v
en V
e
rdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
eva
l
ue
.
c
: floor2frac_r: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
barv
i
nok
.
c
c
: unfringe: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sven V
e
rdoolaege
eval
u
e_frac2floor_
i
n_domai
n
: p
l
ug memory leak
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verd
o
o
l
aege
Polyhedr
o
n_Sample:
allow equalities in i
n
p
u
t po
l
y
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doo
l
aeg
e
Polyhedron_Sa
m
ple: make sure
v
e
r
tices are
available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
ool
a
eg
e
P
o
lyhedron_Sa
m
ple: simpli
f
y cons
t
raints afte
r
cho
o
sing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
do
o
l
ae
g
e
Polyhedron_
S
ample
:
h
andle emp
t
y
and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c: alternat
i
ve implementation of remove_
r
ay
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c: Polyhedro
n
_Rem
o
veFixed
C
olumns: handle pr
e
se
n
ce
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
barvinok_coun
t
_
f: check wheth
e
r po
l
yhedron is unb
o
unded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verd
o
olaege
barv
i
nok_count: simplify constraints after remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolaeg
e
re
d
u
c
e
d
_basis: suppo
r
t 1D
p
o
ly
t
op
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
reduced_b
a
sis: en
s
u
re a
l
l LP solutio
n
s
are non-
n
egative
commit
|
commitdiff
|
tree
2006-08-02
Sven Ve
r
doolaeg
e
occ: print parame
t
ric vertice
s
of
set
us
i
ng Pol
y
Lib
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdo
o
la
e
ge
occ: add interface to barvinok_lex
s
maller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdo
o
laege
util
.
c: provide
d
ummy barvinok_lexsmaller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdoolaege
4coins: computes generating f
u
n
ction fo
r
4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
ge
n
_f
u
n::Hadamard
_
pro
d
uct: apply parameter
co
m
p
r
essio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::sub
s
ti
t
ute: o
n
ly
p
ass in transformation
m
at
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdool
a
ege
scarf
.
cc: s
u
p
p
ort more cases
of
3 (independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Ver
d
ool
a
ege
s
carf
.
cc: support more cases of 4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdo
o
laeg
e
g
e
nfun
.
c
c
: add ge
n
_
fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
rdoolaege
g
e
nfun
.
cc:
a
n
o
ther gen_fun::summ
a
te method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
infin
i
te_ico
u
n
t
er: an incremental counter for p
o
ss
i
bl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
count
e
r
:
m
ove fr
o
m
b
arvinok
.
c
c
to
r
educer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaeg
e
bfenum
e
rator::set_factor:
p
lug s
m
all mem
o
r
y
leak
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdo
o
l
ae
g
e
ba
r
vinok_e
n
u
merate_union_
s
eries
:
use gen_fun::
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
ge
n
fun
.
cc: add gen_
f
un
:
:sum
m
a
te
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
ae
g
e
gen_fun::Hadama
r
d_
p
roduct: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdoolae
g
e
gen_
f
un::
H
ada
m
a
r
d_
p
rodu
c
t: make first argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ver
d
oolaege
polar_decomposer::de
c
ompose: make sure vertices
hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
np_ba
s
e: add do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
g
en_fun:
:
print: allow printing to strea
m
s other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
bfcounter
.
cc: move some
m
o
re cod
e
from
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
en_fun
.
h:
s
hort_rat: use QQ instead
of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
rdoo
l
aege
NT
L
_QQ
.
cc:
a
ratio
n
al NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
ool
a
ege
verify_main
.
cc
:
small memo
r
y clea
n
-
up
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdool
a
ege
barvinok_series: move choice of which gf_base subcla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
er
d
o
o
laege
barvinok
.
cc: move so
m
e
f
unctionality int
o
sepa
r
at
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
olaege
barvinok
.
cc: move Polyhedron a
r
gument
to st
a
rt method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvinok
.
cc: move start
and han
d
le_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdool
a
e
g
e
g
e
n_f
u
n: add
shift metho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ver
d
o
olaege
gen_fun: a
d
d copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
a
e
ge
z
z2values: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
zz2
v
alue: ma
k
e first
argu
m
ent const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
P
o
l
yhedron_is_infin
i
te: use
P
olyhed
r
o
n_Sample if avail
a
b
le
.
commit
|
commitdiff
|
tree
next