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
README: add a warning on (not) using shared libraries
2006-09-06
S
ve
n
Verdoolaege
README: add a warning on (n
o
t) using
s
hared
libraries
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n
Verdool
a
ege
ev
a
l
u
e
.
h: chang
e
nam
e
of header defin
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
dool
a
ege
evalue
.
h
:
m
ake more self-conta
i
ned
commit
|
commitdiff
|
tree
2006-08-26
Sven Ve
r
doo
l
aege
bfc
o
u
nter
.
h:
un
d
efine
d
ivide from polyli
b
's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
V
erdoo
l
aege
configure
.
in: no longer comp
i
l
e
s
h
ared libraries
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
R
EADME: reflect th
a
t --ena
b
le-fractiona
l
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdo
o
laege
lexmin:
r
e
m
ove
d
u
p
licate unf
r
inge
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaege
polytope_scan: opt
i
o
n
a
l
ly skip basis redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
S
ven V
e
rdoolaeg
e
pol
y
tope_
s
c
a
n: scan in reduced
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdool
a
e
g
e
polytop
e
_scan: s
c
ans the
integer points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven
V
erdool
a
ege
install NTL_QQ
.
h heade
r
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
b
asis_reductio
n
.
c: cle
a
n up
G
L
PK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
lexmin
.
cc: d
o
n't
bother tr
a
nsforming if com
p
ress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: f
i
x use
o
f compress_p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdo
o
la
e
ge
sam
p
le
.
c: fix re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
barvinok_count: c
l
ea
n
up
memory after si
m
plifyin
g
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erd
o
olaege
README
:
u
p
date
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perform lexmin tests when l
e
xmin has
been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
s
ome
m
ore tests wit
h
unbounded polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
add
some s
m
all tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
lexmin: barf when
p
olyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
lexm
i
n: don
'
t print
solution
w
hen v
e
rifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolae
g
e
verif
y
_
m
ain
.
cc: clean
up m
e
mory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
_
seri
e
s: handle fixed polytope
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
gen_
f
un: ad
d
construc
t
or
for gene
r
ating f
u
nction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaeg
e
barvinok
.
cc: remove_more_equalities
:
handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdool
a
ege
g
en_fun::co
e
ffici
e
nt: res
e
t the number of r
o
ws in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lexmin
.
cc: use remov
e
_equalities
consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
u
t
i
l
.
c
:
compr
e
ss_vari
a
bles: extracte
d
fr
o
m lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don't chec
k
anyt
h
ing if give
n
range lies outs
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
c
c
:
r
emove_equalities; take preimage with return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
le
x
min
.
cc: remove_equ
a
lities: ex
t
end retur
n
e
d m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoola
e
g
e
l
exmin
.
cc: in_domain: fix ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin
.
cc
:
r
emove some de
b
uggi
n
g r
e
si
d
ues
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolae
g
e
red
u
ce_domain: compute convex union of
d
omain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
cc: in_doma
i
n: also check other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lex
m
in: in_domain:
set values if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoola
e
ge
lexmin: plug some me
m
ory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaege
lexmi
n
: an experi
m
ental
t
o
ol for co
m
puting t
h
e para
m
etric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdoolae
g
e
add fdstre
a
m
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoo
l
aege
evalue
.
c:
f
l
o
o
r2frac_r:
plug
m
emor
y
leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdool
a
ege
barvinok
.
cc: u
n
fringe: w
o
rk inc
r
e
mentally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
eva
l
ue
_
frac2flo
o
r_in_domain:
p
lu
g
memory
le
a
k
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
olyhedron_S
a
mple: allow equ
a
lities in
i
n
p
ut polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
g
e
Po
l
yhedron_Sample: make
su
r
e
vertices a
r
e av
a
ilabl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Ve
r
doolae
g
e
Pol
y
hedron_Sa
m
ple: simplify constraints a
f
t
er
c
ho
o
sing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
la
e
ge
Po
l
yhed
r
on_Sam
p
le: handle em
p
ty and 0D polyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
V
e
rdo
o
laeg
e
sample
.
c: alternative imple
m
en
t
ation of remove
_
ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
sample
.
c: Polyhedron_RemoveFixedColum
n
s: handle
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvi
n
o
k_count_f: ch
e
ck w
h
e
t
her pol
y
hedron is u
n
bounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaeg
e
b
a
rv
i
nok_
c
ount: simplify constraints
a
f
ter
remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
re
d
uced_basis: suppo
r
t 1D
p
olytopes
commit
|
commitdiff
|
tree
2006-08-03
S
ven V
e
r
d
oolaege
reduced
_
basis
:
en
s
u
re all LP solutio
n
s are non-negative
commit
|
commitdiff
|
tree
2006-08-02
S
ven Verdoolaege
oc
c
: print
parame
t
r
ic
v
ertic
e
s of
se
t
usi
n
g PolyL
i
b
commit
|
commitdiff
|
tree
2006-08-01
S
v
e
n Verd
o
olaege
o
cc: ad
d
inte
r
f
a
c
e to barvino
k
_l
e
xsma
l
ler_e
v
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolaege
u
til
.
c: provide dummy
b
arvinok_lexsmalle
r
_
e
v
when Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolae
g
e
4coins: comp
u
t
e
s
gener
a
tin
g
function fo
r
4 co
i
n Frob
e
n
ius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolaeg
e
g
e
n_fun::Hadamard_product: apply pa
r
ameter compres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
o
olaege
gen_
f
u
n
::
s
u
b
stitute: only pass in transformatio
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
scarf
.
cc
:
support m
o
r
e
case
s
of 3
(
in
d
e
pendent)
c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oo
l
ae
g
e
scarf
.
cc: support more cases
of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genf
u
n
.
cc: ad
d
g
e
n_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rd
o
ola
e
ge
ge
n
f
u
n
.
cc: another gen_fun::sum
m
ate
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
i
nfinite_icounter
:
an incr
e
mental coun
t
er for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
icounter: mov
e
from barvi
n
ok
.
c
c
to reduce
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
b
f
e
nu
m
era
t
or:
:
set
_
f
a
ctor:
plu
g
sma
l
l
memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
e
g
e
b
a
rvinok
_
enumera
t
e_union_series: use gen
_
f
un
:
:sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
genfu
n
.
c
c
: add gen_
f
un::summate meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
dool
a
ege
gen_fun::Hadamard_product: opt
i
mize computation o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
dool
a
ege
gen_fun::Ha
d
ama
r
d_pr
o
duct: make first ar
g
u
m
en
t
con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_decomposer::decompose: ma
k
e sure vertic
e
s
h
ave
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaeg
e
np_base: a
d
d do_vertex_con
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
gen
_
fun::p
r
int: allow printing to streams o
t
her than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
oolaege
b
f
counter
.
cc: move some mor
e
code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_
f
un
.
h: short_rat: use
Q
Q i
n
stead of
p
a
ir
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laeg
e
NTL_QQ
.
cc: a ratio
n
al
NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verd
o
ola
e
g
e
verify
_
main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
ege
barv
i
nok_series: move
choice of which
g
f_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Ve
r
doolaege
barvinok
.
cc: m
o
ve some f
u
nctionality into
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolae
g
e
b
a
rvinok
.
cc:
m
ove Polyhedro
n
argu
m
ent to
start met
h
od
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olaege
b
arvinok
.
cc: m
o
ve start and handle_polar into
n
p
_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
ge
n
_fun
:
add s
h
if
t
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laeg
e
gen_f
u
n: add
c
o
py c
o
nstr
u
ctor
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
oolaege
z
z
2value
s
:
m
a
k
e first argum
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
zz2value: make first ar
g
u
me
n
t co
n
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Ver
d
oolaege
Polyh
e
dron_is_inf
i
nite
:
use Polyhedron_
S
ample i
f
available
.
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Verdoolaege
polyhedron_sample: computes an integer v
e
ctor in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolae
g
e
con
f
igure
.
in:
check
for glpk
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n
Verdool
a
ege
scarf
.
cc:
simplex::shrun
k
_polyh
e
dr
o
n: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
Verdoolaege
gen_f
u
n::add: per
f
orm trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
g
e
n
f
u
n
.
cc: re
o
rder
ter
m
s in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
car
f
.
c
c
: normalize
_
matrix: sim
p
li
f
y n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verd
o
o
laege
scarf
.
cc: support so
m
e case
s
o
f 4 co
n
s
traints
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdo
o
laege
bar
v
ino
k
_
e
numerat
e
_e:
--print-all f
o
r print
i
ng
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oola
e
g
e
scarf
.
cc
:
normaliz
e
_m
a
t
rix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
s
ca
r
f
.
c
c: pr
o
ject ou
t
2 v
a
riables u
s
ing Scarf
c
omp
l
ex
commit
|
commitdiff
|
tree
2006-07-08
S
v
en Verdo
o
l
aeg
e
uti
l
.
c
:
exp
o
rt
E
x
ten
d
e
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
configure
.
in: make --enabl
e
-fract
i
onal the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
b
a
r
vinok_count
:
check w
h
ether unbounded
p
o
lyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdool
a
ege
poly
m
ake/confi
g
ure
.
i
n
: all
o
w speci
f
icat
i
on of l
o
c
ation
.
.
.
commit
|
commitdiff
|
tree
next