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
omega/parser.l: let flex define yylineno
2006-09-21
Sven
V
erdoolaeg
e
omega/parser
.
l
: let flex d
e
fine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
lexmin
.
cc: opti
o
na
l
ly sk
i
p
c
heck for
e
mpty dom
a
i
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
eva
l
ue
.
c
:
reduce_evalu
e
_in
_
d
o
mai
n
: reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
o
olaeg
e
l
exmin
.
cc: use barvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaege
introduc
e
bar
v
inok_
o
pti
o
ns st
r
ucture
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexm
i
n
.
cc:
c
ompute genera
t
i
ng
f
unc
t
ions of
v
e
r
t
ex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
r
doolaege
lexmin
.
cc: mo
v
e some code
a
round to prepare for
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
e
v
alue: d
e
clare argume
n
t
of ead
d
a
n
d evalue_copy con
s
t
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
er
d
ool
a
e
g
e
lexmin
.
cc: perform
su
b
stitution immediatel
y
on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoola
e
ge
REA
D
ME: ad
d
a
warni
n
g on (not) using sha
r
ed librari
e
s
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
e
value
.
h: change name
of h
e
ader define
commit
|
commitdiff
|
tree
2006-08-31
S
ven Ve
r
d
ool
a
ege
evalue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
b
f
counter
.
h: undefine
d
i
v
ide f
r
om poly
l
i
b
's arithmet
i
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
confi
g
ure
.
in: no longer compile
shared li
b
r
a
ries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
ola
e
ge
README
:
refl
e
ct
t
hat --enable-fracti
o
nal is no
w
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
lexmi
n
: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaege
p
o
ly
t
ope_scan: optionally sk
i
p basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
olyt
o
pe_scan: scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verd
o
o
la
e
ge
pol
y
t
o
pe
_
scan:
s
c
a
ns the i
n
teger po
i
n
t
s
in
a
polytope
commit
|
commitdiff
|
tree
2006-08-14
S
ven Verd
o
olaege
install N
T
L
_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdo
o
laege
basis_re
d
uc
t
ion
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc
:
don
'
t b
o
t
h
e
r transform
i
ng i
f
compr
e
ss_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: fix
u
s
e o
f
compress
_
parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoola
e
g
e
sample
.
c: fix remov
e
_
r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barv
i
nok_count: clean up mem
o
ry a
f
ter simpli
f
ying constr
a
ints
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ve
r
doolaege
README:
u
p
da
t
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only
p
erform lexmin tests when lexmin has bee
n
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verd
o
olae
g
e
so
m
e mo
r
e
t
ests wi
t
h unb
o
unded
pol
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
o
olaege
add so
m
e small tests for le
x
min
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
lexm
i
n
:
barf when polyhedron contains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdo
o
lae
g
e
l
e
x
min: don't print solution whe
n
verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verdoolaege
v
eri
f
y_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doola
e
g
e
barvinok_series: h
a
ndle fixed
p
olyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Ver
d
oolaege
g
e
n_fun:
a
dd
c
onstructor for g
e
ne
r
at
i
ng function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n
Verdoolaege
barvino
k
.
cc: remove_mor
e
_equalities: handle equ
a
l
i
ties
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_f
u
n::coefficie
n
t: reset
t
h
e
numb
e
r
of rows
i
n t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doo
l
aege
l
exmin
.
cc: use remove_equalities c
o
n
sist
e
n
tl
y
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
Ver
d
o
o
l
ae
g
e
util
.
c
: c
o
mpress_
v
ariab
l
es: extracted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
o
o
laeg
e
lexmin:
don't chec
k
an
y
thing if given
r
an
g
e
l
ies outs
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Ve
r
doolaege
l
e
xmin
.
cc: remove_equ
a
li
t
ies; take preimage with retur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
do
o
laege
lexm
i
n
.
cc: remove_equa
l
i
t
ies: exten
d
retu
r
ned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
ool
a
ege
lexmin
.
c
c
:
in_doma
i
n: fi
x
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
e
rdoo
l
a
e
ge
l
exmin
.
cc: rem
o
ve some de
b
ugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
r
e
duce_domain:
c
ompute
convex
union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min
.
c
c
: in
_
domain: also che
c
k other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
l
exm
i
n: in_domai
n
: set value
s
if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
le
x
m
i
n
:
plug some
m
emory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoolaege
l
e
xmin: an exper
i
mental t
o
o
l
fo
r
co
m
putin
g
the pa
r
a
metric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
e
rdoolaege
a
dd fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c: flo
o
r2frac_r: p
l
ug memo
r
y
leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven V
e
rdoolaeg
e
b
a
rvinok
.
cc: unfring
e
:
wor
k
i
n
c
rem
e
ntal
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sven
V
e
rdoolaege
e
value_fra
c
2
f
l
oo
r
_in_domain: plu
g
me
m
ory lea
k
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaeg
e
Polyhed
r
on_Sample: allow equalit
i
es in input poly
h
edr
a
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
Verdoolaege
P
o
lyhedr
o
n_Sample: make su
r
e vertices are ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolae
g
e
Polyh
e
dron_Sa
m
pl
e
:
si
m
plify
const
r
a
i
nts after c
h
oosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Poly
h
edron_
S
ample:
han
d
l
e empty and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
Verdo
o
laege
sam
p
le
.
c: al
t
erna
t
iv
e
implementa
t
ion
o
f remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
sample
.
c: Polyh
e
dron_Re
m
o
v
eFixed
C
olumns:
h
a
ndle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
ba
r
vinok_count_f: ch
e
ck whether polyhedron i
s
u
nbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
erdool
a
ege
b
a
rvinok_count:
simplify constraint
s
after rem
o
ving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
reduced_basis:
support 1
D
polytopes
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
r
e
duced_basis: ensure all LP solutions are
n
o
n
-
n
e
gative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ: pr
i
nt param
e
tric vertices of set
u
sing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ:
add interfa
c
e t
o
barvinok_lexsmal
l
er_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdo
o
laege
u
t
i
l
.
c:
pro
v
ide dum
m
y
b
ar
v
in
o
k
_lexsmaller_ev wh
e
n L
e
xSmal
l
er
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verdoolaege
4
c
o
i
n
s: co
m
pu
t
es g
e
nerating function for 4
c
oin F
r
oben
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Ver
d
oolaege
gen_fun:
:
Hadamard_product: apply parame
t
er compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolae
g
e
g
e
n_fun::su
b
stitut
e
: only
p
ass in transformation
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
s
carf
.
cc: support
m
ore
c
a
ses o
f
3
(
in
d
ep
e
n
d
ent) constra
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scarf
.
cc: s
u
pport mo
r
e cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaege
gen
f
un
.
cc:
add gen_fun::d
i
vide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doo
l
ae
g
e
g
enf
u
n
.
cc
:
another gen_fun::s
u
mmate me
t
h
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdo
o
l
a
ege
infinite_i
c
ounter:
a
n increm
e
ntal
c
ounter for possibl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
icou
n
t
e
r: move from bar
v
inok
.
cc to reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erd
o
olaege
bfenume
r
ator::se
t
_
facto
r
: plu
g
small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
oolaege
barv
i
n
o
k_enumerate_un
i
on_serie
s
: use
g
en_fun
:
:summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfun
.
cc: add gen
_
fun
:
:summ
a
te
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
gen_f
u
n::Hadamard_product: optimize c
o
mputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoolaeg
e
gen_fun:
:
Hadamard_
p
ro
d
uc
t
:
mak
e
first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
polar_
d
ecomposer::decompose: make
sure vertice
s
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ve
r
doolaege
np_
b
ase:
add do_vertex_cone met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
g
en_f
u
n::print: allow prin
t
i
ng to str
e
ams other
t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Ver
d
o
olaege
bfcoun
t
er
.
cc: move some more code from
b
a
r
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
en
_
fun
.
h: short_
r
a
t: use QQ instead
of
p
ai
r
of Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_
Q
Q
.
cc: a rational
NT
L
type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
verify_main
.
cc:
small memory c
l
e
a
n-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
olaege
barv
i
nok_series:
m
ove choice of
which gf_
b
ase subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
b
a
r
v
inok
.
cc: move some functionality into
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
b
a
rvinok
.
c
c: mo
v
e Poly
h
edron a
r
gu
m
e
n
t
t
o
s
t
art met
h
od
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: mo
v
e sta
r
t and handle_po
l
ar into np
_
ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
ge
n
_fun: add shift met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
doolaege
gen_fun: a
d
d c
o
py
co
n
structor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
zz2values:
m
ake fi
r
st argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
e
g
e
zz2val
u
e: m
a
ke first ar
g
um
e
nt const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
aege
Polyhedron_
i
s_infinite: use Polyhedron_Sample if availabl
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
polyhedron_sampl
e
:
comput
e
s an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verd
o
olaege
configure
.
in
:
chec
k
f
o
r glpk
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
s
c
a
r
f
.
c
c
: simpl
e
x
::sh
r
u
nk_polyhedro
n
: only
p
ro
c
ess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
r
doolaege
gen_fun::
a
d
d: perf
o
r
m
t
r
iv
i
al reduction s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
c
c
: re
o
r
der terms in num
e
r
a
tor
commit
|
commitdiff
|
tree
next