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
reducer.h: add virtual destructor to np_base to avoid memory leaks
2006-09-22
S
v
en
V
erdoo
l
a
e
ge
red
u
c
er
.
h
:
add virtua
l
d
e
stru
c
to
r
to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
a
e
ge
lex
m
in
.
cc: extrac
t
out some code to
evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdoolaege
options
.
c: pick up def
i
nition
o
f
PO
L
_INTEGER from
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optionc
.
c: move c
h
oice of wh
i
c
h s
p
ec
i
alization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdool
a
ege
omega/parser
.
l: let
f
l
ex define
yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
l
exmin
.
cc: optionally sk
i
p check for emp
t
y
d
omains
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n V
e
rdoo
l
aege
evalue
.
c: reduce_evalue_in_d
o
mai
n
: re
d
uce to zer
o
evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n
Verdoolae
g
e
lexmin
.
cc: use barvinok_optio
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
i
n
t
rodu
c
e barvinok_opti
o
n
s s
t
ruc
t
ure
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaege
lexmin
.
cc: com
p
ute ge
n
erating fun
c
tions of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lex
m
in
.
cc: mov
e
some
code around to
prep
a
re for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
ev
a
lue: declar
e
argument of eadd and evalue_
c
opy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdoolaege
l
e
x
min
.
c
c
:
perform subst
i
t
u
tion i
m
med
i
ately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoola
e
g
e
RE
A
DME: ad
d
a warning on (n
o
t) using
s
hared li
b
r
aries
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdool
a
ege
evalue
.
h: change name of
header define
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
r
dool
a
ege
evalue
.
h: make more self-contai
n
ed
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoo
l
aege
b
fcoun
t
er
.
h: undefine divide
f
rom
p
o
l
y
lib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
er
d
ool
a
e
g
e
confi
g
ure
.
in: no l
o
ng
e
r com
p
i
le
s
hared
l
ibrari
e
s by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
R
EADME:
r
eflect
t
hat --
e
nable-
f
ractional
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en V
e
rdoola
e
ge
lex
m
in: remove duplica
t
e unfring
e
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
e
r
d
o
olaege
pol
y
tope
_
scan: optional
l
y
s
kip basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Verdoola
e
ge
polytop
e
_scan: scan in reduced b
a
sis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoo
l
aege
p
olytope_scan: scans the inte
g
er points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install NTL_QQ
.
h he
a
de
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
basis_r
e
duction
.
c: clean u
p
GLPK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
lexmin
.
cc
:
don't bother transforming if
c
ompress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
le
x
m
in
.
cc: f
i
x use of co
m
press_p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
sample
.
c: fi
x
re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
ven
V
erdoolaege
barvino
k
_co
u
nt: clea
n
up memory afte
r
s
i
m
plify
i
ng constraints
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdo
o
l
aege
README:
updat
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only
p
erform
lexmin t
e
s
ts when lexm
i
n
has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
s
o
m
e more
t
ests with unbounded polyhedr
a
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
add s
o
me small tests for l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
V
e
rdoolaege
le
x
min: ba
r
f when
p
olyhedron
c
onta
i
ns lin
e
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rd
o
ol
a
e
ge
lexmin:
d
on'
t
pri
n
t solution when
v
erifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
verify_main
.
cc: clean
u
p
memory
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
barvinok_series
:
handle
f
ix
e
d p
o
lytopes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
Verdoola
e
ge
gen_fun:
add con
s
tructor for generating
fun
c
tion with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
bar
v
inok
.
c
c
: r
e
m
o
ve
_
more_equalities: ha
n
d
l
e equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun:
:
co
e
fficient:
r
eset the numbe
r
of ro
w
s in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
le
x
min
.
cc: use
r
emove_equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
util
.
c: compr
e
s
s
_
variables:
extr
a
cted from le
x
min
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Ve
r
doolaege
lexmin: don't
c
heck any
t
h
i
n
g
i
f
gi
v
en ran
g
e lie
s
o
u
tsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remov
e
_
e
qualities
;
take
pr
e
image with returne
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Verdoo
l
a
e
g
e
l
e
x
m
in
.
cc: rem
o
ve_equalities: exten
d
returned m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
ol
a
ege
l
e
xmin
.
cc: in_doma
i
n
:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc
:
remove som
e
debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Ve
r
doo
l
aege
r
e
duc
e
_domain: compute convex u
n
ion of dom
a
in
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin
.
c
c
: in_domain: also chec
k
other parts of union
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verd
o
olae
g
e
lexmin: in_d
o
main: set value
s
if constraints
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
o
olaege
lexmin
:
plug
s
ome memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
lexmin: an
e
xperim
e
n
t
al tool for
c
om
p
ut
i
ng
the p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaege
a
d
d fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
ge
evalue
.
c: floor2
f
r
ac_r: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdoola
e
ge
barvinok
.
cc: unfring
e
: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
S
v
en V
e
rdo
o
laege
evalue_
f
rac2floor_in
_
d
oma
i
n: plu
g
memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
ege
Polyhedron_Sample: allow eq
u
ali
t
ies
in
i
nput
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
Verdoolaege
Polyhedron
_
Sample
:
make su
r
e verti
c
es
are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verd
o
olaege
Polyhedron_Sample:
simpl
i
fy constrai
n
ts aft
e
r
c
hoosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
P
olyhed
r
on
_
Sample: h
a
ndle emp
t
y
and 0
D
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
sample
.
c: a
l
ternativ
e
i
m
plementati
o
n of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
en V
e
r
doolaege
samp
l
e
.
c:
Po
l
yh
e
dron_
R
emo
v
eFixedColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
doolaege
barvin
o
k_c
o
unt_f: check whether p
o
lyhedron is unbou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
ege
barvinok
_
count:
sim
p
lify c
o
nstrain
t
s after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdool
a
ege
reduced_basis: support 1D
polytope
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_
b
a
s
is: ensure all LP solution
s
are n
o
n-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erd
o
olaege
occ: print p
a
ra
m
etric
v
e
rtices of set usin
g
PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdo
o
l
aege
o
cc: add interface to bar
v
inok_lex
s
maller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ven Ve
r
d
oolaeg
e
util
.
c: pr
o
vide dummy barvinok_le
x
smal
l
er_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4
c
oins: compute
s
gen
e
rating f
u
nc
t
ion for 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
gen_fun::Hada
m
ard_product: apply parameter compress
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
er
d
ool
a
ege
gen_
f
un::substitute: o
n
ly p
a
ss in tra
n
sformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdool
a
e
g
e
scarf
.
cc: s
u
pport
more c
a
s
es of 3 (independe
n
t
)
c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
s
carf
.
cc: s
u
pport mo
r
e cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
ol
a
ege
genfun
.
c
c
: add gen_
f
un::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
gen
f
un
.
cc: another gen_fun::summa
t
e method
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdo
o
laege
infinite_icounter: an incremen
t
a
l counter
for poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icounter: move fro
m
barvinok
.
cc t
o
re
d
ucer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
aege
bfenume
r
a
t
or::se
t
_factor: plug
small memo
r
y
l
eak
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdoolaege
ba
r
vinok_enu
m
era
t
e_union_s
e
ries: use gen_f
u
n::s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
g
enfun
.
cc: add gen_fu
n
::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
erdoo
l
aege
gen_fun
:
:Hadamard_product: opt
i
mize
c
omputatio
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
rdo
o
laege
gen
_
fun::H
a
dam
a
rd_pro
d
uct
:
mak
e
first ar
g
ument c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
pola
r
_
d
ecompo
s
e
r::decomp
o
se:
m
ake sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
n
p
_base:
a
dd do_vertex
_
cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
gen_fun
:
:print: a
l
low printing
to s
t
re
a
ms other
t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
olaege
bfcounter
.
c
c: move
s
ome m
o
re code from barv
i
n
o
k
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolae
g
e
gen
_
fun
.
h: short_r
a
t
: use QQ
i
nstead of
p
a
ir of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olae
g
e
NTL_QQ
.
c
c: a
r
at
i
onal NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
v
erify_main
.
cc
:
small memo
r
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verd
o
olae
g
e
bar
v
ino
k
_series: move choice of
which gf
_
ba
s
e subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaege
b
a
rvin
o
k
.
c
c: move
s
om
e
functionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ba
r
vinok
.
cc: move P
o
lyhedron
a
rgu
m
ent to start
m
e
t
hod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
bar
v
inok
.
cc: move start an
d
han
d
le_pol
a
r in
t
o
n
p_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen
_
fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_fun
:
add copy con
s
tructor
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
zz2val
u
e
s
: m
a
ke first a
r
gum
e
n
t
cons
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value:
m
a
k
e
fir
s
t argumen
t
const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhedr
o
n_is_infinite: use Po
l
yhedro
n
_Sample
i
f avai
l
able
.
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Verdoolaege
pol
y
hedron_s
a
m
ple:
comp
u
tes an in
t
eger vector in a
.
.
.
commit
|
commitdiff
|
tree
next