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
LLL: use reduction parameter 1 by default
2006-10-10
S
v
en Verdoolaege
L
LL:
use reduction parameter 1 by defaul
t
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
r
doolaege
decompose
r
.
c
c
: shor
t
_vector: al
l
ow speci
f
ication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoo
l
aege
doc: ad
d
s
o
me mo
r
e
pub
l
ications
t
hat refer to
barvino
k
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoolaeg
e
evalue
.
c: evalu
e
_
d
enom:
de
c
lar
e
v
ariable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
oolaeg
e
evalue
.
c
:
ex
p
ort evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n
Verdool
a
ege
scarf
.
cc
:
han
d
le case whe
r
e f
o
u
r
c
o
nst
r
aints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en
V
e
rdoolaege
util
.
c:
c
ompress_variables: declare variable
a
t
s
t
art
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven
V
erdoolaege
evalue
.
c: copy (and adapt)
c
opyright
s
t
atement
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
do
c
: add some references to
p
u
b
lications
commit
|
commitdiff
|
tree
2006-09-26
S
v
en Verdoolaege
l
e
xmin
.
cc: r
e
e
n
abl
e
optimization of checking doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
rdoolae
g
e
evalue
.
c: clean up
i
n_
d
omain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: add EDoma
i
n::c
o
n
tains
commit
|
commitdiff
|
tree
2006-09-24
Sve
n
Verdoolaege
l
e
x
min
.
cc: ma
x
_term::prin
t
: print flo
o
rs ex
p
licitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ven Ver
d
o
olaege
lexmi
n
.
cc: disable possibly o
v
erzealo
u
s optimization
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoola
e
ge
edomain
.
cc: remember
"c
o
nstraint" representat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
ven
Verdo
o
laege
reduce
d
_
ba
s
is:
r
eset "neg
a
tiv
e
w
i
d
t
hs
"
to zero
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verd
o
olaeg
e
lexmin
.
cc: move more co
d
e t
o
edomain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdo
o
laeg
e
edomai
n
.
h: add EDom
a
in_floo
r
abstractio
n
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaeg
e
lexmin
.
cc: define max_term over an EDomain rathe
r
th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reduce
r
.
h: add vi
r
tua
l
destructor
t
o
np
_
b
ase to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdoo
l
a
ege
lex
m
in
.
cc: extract out some code to eval
u
e
_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doola
e
ge
op
t
ions
.
c: pick up defi
n
ition of POL_INTEGER
from barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
opt
i
onc
.
c: mo
v
e
ch
o
ice of which
specialization
t
o use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Verdoola
e
ge
omega
/
par
s
er
.
l: let f
l
ex
d
efine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
er
d
o
o
laege
lexmi
n
.
c
c: op
t
ionally skip check fo
r
em
p
ty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
e
value
.
c:
r
edu
c
e
_
eval
u
e
_in_
d
omain: reduce to zero eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolae
g
e
lex
m
in
.
cc
:
u
se barvin
o
k
_
options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
i
ntroduce barvinok_opt
i
ons struct
u
re
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
l
aege
lexmin
.
c
c
:
compute generating functi
o
n
s
of v
e
rtex c
o
nes
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
o
laege
l
e
x
min
.
cc: move some code around
to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sv
e
n
Verdoo
l
a
e
ge
evalue: decl
a
re
ar
g
um
e
nt of eadd a
n
d evalue
_
copy cons
t
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n Verdoolaeg
e
lexmin
.
cc: perform subs
t
itutio
n
immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaeg
e
README: add a warning on
(no
t
) u
s
ing sh
a
r
e
d l
i
braries
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoola
e
ge
eva
l
ue
.
h: change
name
o
f h
e
ader define
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Verdool
a
ege
evalue
.
h: make more
self-contain
e
d
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdo
o
laege
b
fcounter
.
h: undefine divide from polyl
i
b's arit
h
me
t
i
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdoola
e
ge
configure
.
in:
n
o
lo
n
ger com
p
ile shared libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
README
:
re
f
lect that --e
n
ab
l
e-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
l
e
x
min: remove
d
uplic
a
te unfr
i
nge
commit
|
commitdiff
|
tree
2006-08-16
Sven Verd
o
olae
g
e
polytop
e
_scan: optionall
y
skip ba
s
is red
u
ctio
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytop
e
_scan: scan i
n
re
d
uced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolae
g
e
p
o
l
ytope_scan:
scans
t
he inte
g
er poi
n
ts in a pol
y
t
ope
commit
|
commitdiff
|
tree
2006-08-14
Sven V
e
rdoolaege
insta
l
l NTL_QQ
.
h head
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verd
o
olaege
basis_reduction
.
c: clean
up G
L
PK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
S
ven V
e
rdoolaege
l
exm
i
n
.
cc: don'
t
bot
h
er transforming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven
Verdoolaege
lexmin
.
cc: fi
x
u
s
e o
f
compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Ve
r
doolaege
s
a
mple
.
c: fix
r
emove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n Verdoolaege
barvi
n
ok_
c
ount:
clean u
p
memory after s
i
m
p
l
ifying cons
t
rain
t
s
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
o
nly perf
o
r
m lexmin
tests when lexmi
n
has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
some mor
e
te
s
t
s
w
ith
u
nbounded polyhed
r
a
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
add s
o
me small
t
ests for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdo
o
la
e
g
e
lexmin: b
a
rf when po
l
yhedro
n
c
ontains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: don't print s
o
l
u
ti
o
n when v
e
rifyin
g
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
rdoolaege
verify_main
.
c
c
: clean up memor
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
barvinok_series:
h
a
n
dle fixed polytop
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaeg
e
gen_fun:
add constructor f
o
r generati
n
g function
w
ith
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
bar
v
i
n
ok
.
c
c: remove_more_equalitie
s
: hand
l
e
e
quali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verd
o
o
l
aege
g
e
n_fun::
c
oe
f
ficien
t
: reset the number of row
s
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n
V
erdoola
e
ge
lexm
i
n
.
c
c: use re
m
o
v
e
_equalities consistently
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Ver
d
oolaege
util
.
c: compress_variables: extracted
f
r
o
m
lexmi
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don't check anything if given range li
e
s outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmin
.
cc: remove_equalities; take preima
g
e wit
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
le
x
min
.
cc
:
remove_equalities:
extend
r
e
t
urned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erdoolaege
lexmin
.
cc: in_doma
i
n: f
i
x typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n
.
cc: remove some debuggi
n
g residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
reduce_d
o
main: co
m
pute conv
e
x union of
d
o
m
ain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_d
o
m
ain
:
als
o
c
hec
k
ot
h
er pa
r
t
s of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmin: i
n
_
do
m
ain
:
set values if constraints
d
o
n
't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmin:
p
lug some
memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaeg
e
lexmin: an experimental tool for
computing the parametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n Verdo
o
laege
e
v
alue
.
c: floor2frac_r: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven Ver
d
oolaege
barvinok
.
cc: unfringe: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sve
n
Verdool
a
e
g
e
evalue_
f
rac2f
l
oor_in_domain: pl
u
g memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verd
o
olaege
Pol
y
hedron_Sampl
e
: allow e
q
ualitie
s
in input p
o
l
yhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
Po
l
yhedron_Sample
:
m
a
ke
sure
ve
r
tic
e
s
are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaeg
e
Po
l
y
hedron_Sample: simplify constraint
s
after
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedr
o
n_Sample: handle
empty and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
dool
a
ege
sample
.
c
:
alte
r
native
i
mplementation of re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
sample
.
c
:
Polyhedr
o
n
_
R
emoveFixedC
o
lumns: hand
l
e p
r
esence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdo
o
lae
g
e
barvin
o
k
_count
_
f: check whethe
r
p
o
lyhedr
o
n
i
s
unbounde
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
barvinok
_
c
ou
n
t
: simp
l
if
y
constraints after
removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
reduced_basis:
s
u
pport 1D polytope
s
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
e
rdoolaege
reduced_b
a
sis: ensure all LP solutio
n
s are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n Verdoola
e
ge
occ: p
r
int parametr
i
c vertices o
f
set
using
P
olyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ: add in
t
erface to barvinok_lexsm
a
l
l
er_ev
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Ve
r
d
o
olae
g
e
u
t
il
.
c:
provide
d
ummy barvin
o
k_
l
exsm
a
ller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Ve
r
doolaege
4coins: c
o
mputes generat
i
ng f
u
nction
f
o
r 4 c
o
in Fro
b
en
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Ver
d
o
o
l
aege
gen_fun::Hadamard_product: apply parameter compressio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun
:
:s
u
b
s
titute: only pas
s
in transformation matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
sc
a
rf
.
cc:
s
u
pport more cases of 3
(
independent)
constraint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
d
oo
l
aege
s
carf
.
cc: s
u
pport
more ca
s
es of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaeg
e
g
enfun
.
cc: ad
d
gen_fun
:
:divide metho
d
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdo
o
laege
genf
u
n
.
cc: a
n
o
t
her gen_fun::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
ool
a
ege
i
nfinite_icounter: an
increm
e
ntal c
o
unte
r
for p
o
ssibl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
icounter: mov
e
from bar
v
in
o
k
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
bfenumerator::se
t
_fac
t
or:
p
lug sma
l
l mem
o
ry le
a
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvin
o
k_enum
e
rate_unio
n
_ser
i
es: use gen_fun::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
genf
u
n
.
cc
:
add
g
e
n_fun::summate met
h
od
commit
|
commitdiff
|
tree
next