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
Sven Verdoo
l
aege
READ
M
E:
a
dd
a
w
a
rning on
(not) using
s
hared l
i
brarie
s
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Ve
r
d
oo
l
a
e
ge
evalue
.
h: c
h
ange name o
f
h
e
ade
r
de
f
in
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
e
v
alue
.
h
:
make more self-co
n
tain
e
d
commit
|
commitdiff
|
tree
2006-08-26
S
ven
Verdool
a
eg
e
b
fcounter
.
h:
u
ndefine d
i
vi
d
e from pol
y
lib's arit
h
metique
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
V
erdool
a
e
ge
configure
.
in: no longer c
o
mpile
s
hared li
b
ra
r
ies
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
V
erd
o
olaege
R
E
ADME: reflect
t
hat --enable-fr
a
ctio
n
al
i
s now
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
lexmin: remove dup
l
icate
unfri
n
ge
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdo
o
laege
gen_fun::
H
adamard_
p
r
o
du
c
t: use unoptimi
z
ed ve
r
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
barvino
k
_s
e
ries: p
e
rform
b
a
c
ksubst
i
t
ution als
o
if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
e
rdoolaege
barvi
n
ok_en
u
merate_union_serie
s
:
call core
o
f barvinok
_
series
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
util
.
c: remove_equal
i
t
i
es_p: correct ch
e
ck for en
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en
Ve
r
dool
a
ege
ge
n
_
f
un: set context in no varia
b
les constructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verd
o
o
l
aeg
e
g
e
n_fun:
:
Hadama
r
d_pr
o
duct: don't ass
u
me
e
qualiti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
S
v
e
n
V
e
r
doolaege
barvi
n
ok_un
i
on:
t
ake cont
e
xt into account
commit
|
commitdiff
|
tree
2006-08-16
Sven Ver
d
oo
l
a
e
g
e
p
o
lytope
_
scan
:
opt
i
o
n
ally skip
b
as
i
s
reduc
t
ion
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erdoolaege
polytope_scan: scan
in reduc
e
d ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdo
o
laege
polytope
_
scan: s
c
ans the integ
e
r po
i
nts
i
n
a
p
olytop
e
commit
|
commitdiff
|
tree
2006-08-14
S
v
e
n Ve
r
doola
e
ge
insta
l
l
NTL_Q
Q
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
olaege
basis_reduction
.
c: cle
a
n up GLP
K
memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: don
'
t bother
t
ran
s
for
m
i
ng if comp
r
ess
_
p
a
rms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
lexmi
n
.
c
c
: fix use of compr
e
ss_
p
arms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ver
d
oolaege
sample
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaeg
e
barvinok_count: clean up memory after simplifyin
g
co
n
straints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
README: u
p
d
ate
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
V
erdoolaege
only p
e
rform lexmin tests when lexmin has been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n
Verdoolaege
some more tests with
u
nbounde
d
po
l
yhedra
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Ve
r
doolaege
add some
sm
a
ll tests for lex
m
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n V
e
rdoolaege
l
exmin:
b
arf when polyhedron co
n
t
a
i
n
s
line
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdool
a
ege
lexmin: don't print solution when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verd
o
olaege
verify_main
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdool
a
ege
barvi
n
o
k
_
series: ha
n
dle fixed polytope
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
o
olaege
gen_fun:
add co
n
structor for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
ba
r
vin
o
k
.
cc:
r
emove_more_equaliti
e
s: ha
n
d
le equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdool
a
ege
gen_fun::coefficient: re
s
et
t
he number of rows i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven
Verdoolaege
lex
m
in
.
cc: use
r
emove_equalities con
s
istently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
l
a
ege
uti
l
.
c
:
compres
s
_
variabl
e
s
:
extracted fr
o
m l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
ae
g
e
lexmin: don
'
t check a
n
y
t
hing if given range l
i
es outsid
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolae
g
e
l
exm
i
n
.
cc: rem
o
ve_eq
u
alities; tak
e
preimage wi
t
h return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
c
c
: remove_
e
q
u
alities:
extend retur
n
ed matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lex
m
in
.
c
c: in_d
o
main
:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ver
d
oolaege
lexmin
.
cc: re
m
o
v
e some
debugging
residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
reduce_
d
omain: compute c
o
nvex
union of domain
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
rdool
a
e
ge
lexmin
.
cc:
in_domain
:
al
s
o
c
heck other p
a
rt
s
o
f union
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Ver
d
o
olaege
lexm
i
n
:
in
_
domain:
set values
i
f constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
m
in: plug
some
m
emory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoola
e
ge
lex
m
in: an expe
r
imen
t
a
l tool for
c
omput
i
ng the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaege
add
f
dstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolaege
eval
u
e
.
c
: flo
o
r
2
frac_r: p
l
ug me
m
ory
l
eak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdo
o
la
e
ge
barvinok
.
cc: unfringe: wo
r
k i
n
cre
m
entally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verd
o
olaege
evalue_fra
c
2floor_in_d
o
main: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
Polyhedron_Sampl
e
:
allow equ
a
l
i
ties in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoola
e
g
e
Poly
h
edr
o
n_
S
a
m
ple:
make su
r
e vertices are
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoola
e
g
e
P
ol
y
hedron_Sample: simplify const
r
aints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ver
d
oolaege
Polyhedron_Sample: han
d
le empt
y
and 0
D
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
sa
m
ple
.
c
:
alternativ
e
implemen
t
a
t
ion of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
sample
.
c:
Polyhedro
n
_R
e
moveFixedC
o
lumns
:
handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
doolaege
barvin
o
k_count_f:
ch
e
c
k
w
het
h
er polyhedr
o
n
i
s unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verd
o
o
l
aege
barvinok_count: simplify
constr
a
i
n
ts a
f
ter r
e
mov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoola
e
g
e
r
e
duced_basi
s
: sup
p
ort 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
re
d
uced_basis: e
n
sure all LP solutions a
r
e n
o
n-negative
commit
|
commitdiff
|
tree
2006-08-02
S
v
en Verdoolaege
o
cc: pri
n
t pa
r
amet
r
ic vertices of s
e
t using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
S
ven
V
e
r
d
oolae
g
e
occ: add
int
e
rface to bar
v
inok_lexsm
a
l
l
er_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoolae
g
e
u
til
.
c: pr
o
vide du
m
my barvin
o
k_
l
exsmal
l
er
_
ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
d
o
ola
e
ge
4
coi
n
s
:
co
m
putes gen
e
rating fun
c
t
ion for 4 co
i
n Frobe
n
ius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoola
e
g
e
g
en_fun::
H
adamard
_
produ
c
t: ap
p
ly paramete
r
c
o
mp
r
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
o
o
la
e
ge
gen_fu
n
::su
b
stitute:
only p
a
ss in transfo
r
matio
n
m
a
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en
V
e
rdoolaege
sca
r
f
.
cc: support m
o
re c
a
ses
of
3
(independent)
co
n
str
a
ints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoo
l
aege
s
c
arf
.
cc: su
p
port
more cases
of 4 constr
a
int
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: add
g
en_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doo
l
aege
genfun
.
cc: another gen_fu
n
::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ver
d
oolae
g
e
i
n
fi
n
i
te_icounter: an incremental count
e
r
fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rd
o
o
l
aege
i
c
ounter: mo
v
e from bar
v
i
n
o
k
.
cc to r
e
d
u
ce
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
d
oolaege
bfenumerat
o
r::set_factor: plug
s
mal
l
memory leak
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
rdool
a
ege
barvinok_enumerate_union_ser
i
e
s:
use gen_fun::sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verd
o
olaege
g
enfun
.
cc: add gen_fun::s
u
mm
a
te method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
doo
l
aege
gen_fun::Hadamard_prod
u
ct:
optimize
c
omputa
t
ion
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
gen_fun::Had
a
m
a
rd_product: m
a
k
e
f
i
r
s
t ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olae
g
e
polar_decomposer::decompose: make sure ve
r
t
ices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
laege
np_bas
e
:
add do
_
v
ertex_cone me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaege
g
e
n_
f
un::print: allo
w
printin
g
to streams othe
r
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
bfcou
n
ter
.
c
c
:
m
ove so
m
e more c
o
de fr
o
m barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun
.
h:
s
hort
_
ra
t
: use QQ instead
of pair of
Z
Zs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_Q
Q
.
cc: a rat
i
onal NTL
t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolae
g
e
verify_main
.
cc: small mem
o
ry clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
arvinok_series: mov
e
choice of
w
hich
gf_
b
ase subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolaege
barv
i
nok
.
cc
:
m
o
ve some functio
n
ality into se
p
ara
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
olaege
barvinok
.
c
c: mo
v
e
P
olyhedr
o
n
a
rgument to start m
e
thod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvi
n
ok
.
cc:
m
o
v
e star
t
a
n
d
h
andle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
gen_fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_fun: add
copy constru
c
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
a
e
ge
z
z2
v
alues:
make first a
r
gument c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
z
z2valu
e
: make first argument co
n
s
t
commit
|
commitdiff
|
tree
2006-07-20
S
v
e
n Verdoolaege
Polyhedron_
i
s
_infin
i
te:
u
se
P
olyhedro
n
_
S
ampl
e
if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaeg
e
polyhe
d
r
o
n_sample:
computes
a
n
in
t
eger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Ver
d
o
o
l
a
e
g
e
c
onfigur
e
.
in:
c
heck
for
g
lpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
c
a
r
f
.
cc: simplex::
s
hrunk_p
o
l
yhe
d
ron: only p
r
ocess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdool
a
ege
gen_fun::add: p
e
rform trivia
l
r
e
duction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genf
u
n
.
cc:
reorder ter
m
s in nume
r
ator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: normal
i
ze_matri
x
: simplify n==3 case
s
o
me
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdo
o
laege
scarf
.
cc: su
p
p
ort s
o
me
cases of 4 constraint
s
commit
|
commitdiff
|
tree
next