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 Ver
d
oolaege
lexmin
.
cc: define max_
t
erm ov
e
r an
ED
o
m
ain
r
ather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdoola
e
ge
r
e
ducer
.
h:
a
dd virtual destructor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
aege
lexmin
.
cc:
e
x
tract out so
m
e code to eva
l
ue_util a
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
optio
n
s
.
c:
pick up definit
i
on of POL_
I
NTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erdoolaege
opt
i
onc
.
c: move choice of which s
p
e
ci
a
l
ization to u
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verd
o
olaege
om
e
ga/
p
arser
.
l: let
f
lex define
yyline
n
o
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
l
e
xmin
.
cc: optionally s
k
ip check for empty domai
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
evalue
.
c: red
u
ce_evalue_in_dom
a
in: re
d
uce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
l
e
x
min
.
cc:
use
b
arvino
k
_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
i
ntroduce barvino
k
_options structure
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoolaege
l
e
xmi
n
.
cc: compu
t
e generating fun
c
tions of verte
x
cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: move some
c
o
d
e around to p
r
e
pare f
o
r new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
ven Ver
d
o
o
l
a
ege
evalue
:
declare a
r
gument
of ea
d
d and evalue
_
copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmin
.
c
c
:
perfo
r
m substitut
i
o
n
i
m
mediately on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
doolae
g
e
R
EADME:
ad
d
a
warning on
(not) using shared
lib
r
aries
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
eva
l
ue
.
h:
change name of h
e
ader define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: make
m
ore self-c
o
ntained
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
bfcounter
.
h: un
d
efine divide
fro
m
polyl
i
b'
s
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n
Verdo
o
l
a
ege
configure
.
in:
n
o lo
n
g
e
r compile shared
li
b
raries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
Ver
d
oola
e
ge
READ
M
E: ref
l
ect th
a
t --
e
nable-
f
r
a
ctio
n
a
l is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolae
g
e
lexmin: rem
o
ve
duplicate
u
nfringe
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyto
p
e_scan:
optionally
s
kip ba
s
is reduc
t
ion
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Verdoolaege
polytope_scan:
scan in re
d
uced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
o
olaege
polytope_scan
:
sc
a
ns the integer points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
S
v
en V
e
rdoolae
g
e
in
s
ta
l
l NTL_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
basis_reduction
.
c: clean
u
p
GL
P
K memor
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
lexmin
.
cc: don't bother tra
n
sforming if com
p
ress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
lexmin
.
cc: fi
x
use of
c
ompress_parms
commit
|
commitdiff
|
tree
2006-08-13
S
ve
n
Verdoo
l
aeg
e
sample
.
c
:
fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
b
arvinok_count: clean up memory after sim
p
l
i
fying c
o
nst
r
aints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
n
ly perform
l
ex
m
in tests when lexmin h
a
s been c
o
mpiled
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verd
o
olaege
some
m
o
re te
s
ts
w
it
h
unbounded polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Ve
r
doolaege
a
d
d some small test
s
for le
x
min
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
l
exmin:
barf when pol
y
hedron contains
l
ine
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
le
x
min
:
do
n
't print
soluti
o
n when verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sve
n
Verdoolaege
v
erify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
barvi
n
ok_series: handle fix
e
d
polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
g
e
n
_fun: add const
r
uctor fo
r
genera
t
ing
funct
i
on with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdool
a
eg
e
barvinok
.
cc:
r
emov
e
_m
o
r
e
_e
q
ualities: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
o
l
a
e
ge
gen_
f
u
n
:
:
coef
f
i
cient: re
s
et
t
h
e number
o
f rows in
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
e
rdo
o
laege
le
x
min
.
cc:
u
s
e remove_equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
util
.
c:
compress
_
variables: extracted fr
o
m lexm
i
n
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
dool
a
ege
lexmin: do
n
't
c
heck a
n
ything if given rang
e
li
e
s outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdo
o
laege
lexmin
.
cc: remove_equalit
i
e
s
; take preima
g
e wi
t
h
retu
r
n
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoo
l
a
e
ge
lexmin
.
cc: remove_eq
u
alities: extend re
t
urned mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
lexmin
.
c
c
: in_dom
a
in: fix typ
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
lexmin
.
cc: remove some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
reduce_dom
a
in
:
c
o
m
pute c
o
nvex uni
o
n o
f
domain
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ver
d
oolaege
lexmin
.
cc: in_dom
a
in: also check other pa
r
ts of u
n
io
n
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
e
rdoolaeg
e
lexmi
n
:
in
_
domain: set values if co
n
straints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n
V
erdoolaege
l
e
x
min: plug
s
o
me memory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n
Verdoolaege
l
e
xmin:
an e
x
perim
e
ntal tool for computing t
h
e
p
a
r
a
metric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
V
erdoolaege
add fds
t
re
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
eva
l
ue
.
c: f
l
oor2frac
_
r: plu
g
memory l
e
ak
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdoolaege
barvinok
.
cc
:
unfringe: work increment
a
l
ly
commit
|
commitdiff
|
tree
2006-08-06
S
v
e
n Verdoolaege
evalue_frac
2
fl
o
or_in_do
m
ai
n
: plug memory
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
oolaege
Po
l
yhe
d
ron
_
Sample: all
o
w equalities in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
V
e
rdoolaeg
e
Polyhedron_Sample: make sure vertices are availabl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
P
o
lyhedron_Sample: simplify
constraints after
cho
o
sing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Polyhedron_Sampl
e
:
h
andle empty and 0D polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Ver
d
oolae
g
e
samp
l
e
.
c: alternative imple
m
entation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
sample
.
c
: Polyh
e
dro
n
_RemoveFixedColum
n
s: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n Verdoolaege
barvinok_count_f: c
h
eck w
h
ether
p
o
l
yhedron is u
n
bounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdo
o
l
a
ege
barvin
o
k_
c
ount: simp
l
i
f
y constr
a
i
nts after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
erdoolaege
r
educed_basis:
s
u
p
port 1D
polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
re
d
uced_basis: ensure
a
l
l LP solutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven
Verdoolaege
occ: print
pa
r
ametric ve
r
tices
of set
u
sing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ: ad
d
i
n
terface
to barvinok_le
x
s
ma
l
ler_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoola
e
ge
util
.
c: p
r
ovide d
u
mmy barvinok_l
e
xsmaller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
4
coins: co
m
pute
s
generating fun
c
tion
for
4 co
i
n Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n
V
e
rdoolaeg
e
gen_fun
:
:Ha
d
am
a
rd_produ
c
t: apply
param
e
ter com
p
ression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoo
l
aege
gen
_
fun::su
b
stit
u
te: only
p
ass in transforma
t
ion matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
scar
f
.
cc: support more cases of 3
(ind
e
pende
n
t) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verd
o
ol
a
ege
s
c
arf
.
cc: sup
p
ort more cases of 4 co
n
strai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
genf
u
n
.
cc: a
d
d gen_fun::divid
e
m
etho
d
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdoolaege
genfun
.
cc: another gen_fun:
:
summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
i
n
finite_icounte
r
: an
i
ncr
e
mental counter for possi
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
ic
o
unte
r
: move from
barv
i
n
ok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
er
d
o
o
l
a
e
g
e
bfenumerator::set_f
a
ctor
:
plug small
m
emory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
b
a
rvinok_enumerate_union_series: use gen_f
u
n::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
do
o
laege
genfun
.
cc: add
g
en_fun::
s
ummate method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
gen_fun:
:
Hadamard_product: optimize
computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::Hadamard_product: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
polar
_
d
e
comp
o
ser::decompose: make s
u
re vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
np_base: add do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun::print: allow printing to strea
m
s ot
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
bfcounter
.
cc
:
move
some more code from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
a
e
g
e
gen_fun
.
h: short_rat: use QQ
instead of pair
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
N
T
L
_
QQ
.
cc: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
verify_main
.
cc: sm
a
l
l
memory
clean-
u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
b
a
rvinok_series: move
c
ho
i
ce of which gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
barvinok
.
cc: move
so
m
e function
a
lity
i
nto separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdo
o
laege
barvinok
.
cc: move
Po
l
y
h
edro
n
argum
e
nt to
s
t
a
r
t
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
o
laege
barvinok
.
cc:
m
o
v
e start
and handle_pola
r
into np_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun
:
add shift meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
gen_fun: ad
d
copy constructor
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdool
a
e
g
e
zz2values: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
olaege
z
z2value: make first a
r
gument const
commit
|
commitdiff
|
tree
2006-07-20
Sven V
e
rdoolaege
Pol
y
hedron_is_infin
i
te: use Polyhed
r
on_Sample if av
a
ilabl
e
.
commit
|
commitdiff
|
tree
next