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: don't bother transforming if compress_parms returns a translation
2006-08-13
Sven Verdoolaege
lexmin
.
cc: d
o
n't bother tra
n
sfo
r
min
g
if com
p
re
s
s
_
p
a
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
l
exmin
.
cc:
f
ix use of compress_
p
arms
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdool
a
e
g
e
samp
l
e
.
c
: fi
x
r
emo
v
e_ray
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
barv
i
n
ok_
c
ount
:
clean
u
p me
m
ory
a
fter sim
p
li
f
ying cons
t
raints
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
r
doolaege
RE
A
DM
E
: upda
t
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doo
l
a
e
ge
only perf
o
rm lexmin tests when l
e
xmin has be
e
n c
o
mpiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
d
oolaege
some more tests with unbounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoola
e
ge
add
s
o
me
sm
a
ll
t
ests f
o
r lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven
Ver
d
oolaege
lexmin:
b
arf
wh
e
n po
l
yh
e
dr
o
n contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
lex
m
i
n
: don't pri
n
t so
l
ution w
h
en ve
r
ifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaeg
e
v
e
rify_mai
n
.
cc: clea
n
up memo
r
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
ege
barvinok
_
s
e
r
ies: handle fixed p
o
lytop
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fu
n
: a
d
d constructor for gen
e
r
a
ting
f
unction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ver
d
oolaege
barvinok
.
cc:
remove
_
more_equali
t
ies: handle
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
gen_fun::coefficien
t
: res
e
t the num
b
er of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdool
a
ege
l
e
x
min
.
cc: use
remove_equaliti
e
s con
s
is
t
ently
commit
|
commitdiff
|
tree
2006-08-10
S
ven Ver
d
oolaege
uti
l
.
c: compres
s
_variables: ext
r
acted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdool
a
ege
l
e
x
min:
d
on't check a
n
ything if given range lies outs
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
e
rdoolaege
lexmin
.
cc: remove_equ
a
l
ities; ta
k
e preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erd
o
o
l
ae
g
e
le
x
min
.
cc: re
m
ove_equalities: extend retur
n
ed matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ver
d
ool
a
ege
le
x
min
.
cc: re
m
ove some
debug
g
ing
resid
u
es
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
r
e
duce_domain: compute convex
union
o
f
domai
n
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolae
g
e
lexmin
.
cc: in_domain:
als
o
chec
k
o
t
her parts of union
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdo
o
laege
lexmin: in_
d
omain: set
v
alue
s
i
f
constraints
d
on'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: pl
u
g som
e
memory lea
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin: a
n
experimental tool
for c
o
mputing
t
he para
m
e
t
ric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add f
d
stre
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
V
e
rdoolaege
evalue
.
c: floor2frac
_
r: p
l
ug memor
y
leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
ge
b
ar
v
inok
.
cc:
unf
r
i
nge: work
increment
a
l
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sven
V
erdoolaege
e
v
alue_frac2f
l
oor_in_do
m
ain: plug
m
emory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sa
m
pl
e
: allow
equalities in input p
o
lyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyh
e
dron_Sam
p
le
:
make sure ve
r
tices are avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sa
m
ple
:
s
implif
y
constrain
t
s after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doola
e
g
e
Polyhedron_Sampl
e
:
handle
e
mpty and 0
D
p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
ven
Verdoolae
g
e
sample
.
c
:
alter
n
ative im
p
lementation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
sampl
e
.
c: Polyhedron_RemoveFixedColumns: h
a
ndle presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
barvino
k
_c
o
unt_f:
check whe
t
her po
l
y
hedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
ool
a
ege
barvin
o
k_count: simplify constraints after re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
r
ed
u
ced
_
basis: support 1D polytop
e
s
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n Verdoolaege
reduce
d
_
basis: ensure
a
ll LP solutions are non-negativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoola
e
ge
occ:
p
rint
parametric
v
ertice
s
o
f set using
P
olyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
o
c
c: add in
t
erface to barvinok_lexsmalle
r
_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verd
o
olaege
util
.
c
:
provide
dummy b
a
r
v
inok_lexsmal
l
er_e
v
whe
n
L
e
xSm
a
ller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Ve
r
doolaege
4
c
oins: com
p
ute
s
generat
i
ng fun
c
tion for 4
coin Froben
i
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n
Verdoolaeg
e
gen_fun::H
a
damard
_
pr
o
duct: apply param
e
ter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoo
l
a
e
ge
gen_fun::sub
s
t
i
tute
:
only pass i
n
transformation
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdo
o
laege
scarf
.
c
c
: support
m
o
r
e cases of 3 (ind
e
pende
n
t)
c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaeg
e
sc
a
rf
.
cc
:
support more cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Ve
r
d
ool
a
ege
ge
n
fu
n
.
cc: add gen_
f
un::
d
i
vide method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdool
a
ege
gen
f
un
.
cc: an
o
ther gen_fun::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaeg
e
infinite_icounter: a
n
i
nc
r
emental
c
o
unter fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
g
e
icoun
t
er: mov
e
from barvinok
.
cc to r
e
ducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
bfen
u
m
e
rator::set_factor: plug small mem
o
ry leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
o
laege
bar
v
inok_enumerate_union_series
:
use gen_fun::su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdo
o
laege
gen
f
un
.
cc: add gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doo
l
aege
gen_fun::Ha
d
am
a
rd_prod
u
c
t
: opt
i
mize
c
omputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
gen_fun::Hadamard_product: make fi
r
s
t
argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdo
o
laege
polar_de
c
omposer::decompose: make su
r
e vert
i
ces h
a
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_bas
e
: a
d
d
d
o_ve
r
tex_cone meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_
f
un::print: allow printing
t
o streams oth
e
r than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcou
n
t
er
.
c
c
: mov
e
some m
o
re
c
ode from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oola
e
ge
gen_fun
.
h: short_rat
:
use QQ instead
o
f pai
r
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
NTL
_
QQ
.
cc: a r
a
tional NTL
typ
e
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
veri
f
y_main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
ba
r
v
i
n
ok_serie
s
: move c
h
oice
of which gf_base subcla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
b
ar
v
i
nok
.
cc:
mo
v
e
some functionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
ola
e
ge
barvinok
.
cc:
m
ove Polyhe
d
ron argument to
s
tart method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
barvinok
.
cc: move star
t
and handle_
p
ol
a
r into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
g
e
n_fun: add
s
hift m
e
t
ho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun:
a
dd co
p
y constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2
v
a
lues: m
a
k
e
first argument const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
r
d
oolaege
zz2val
u
e
: make fi
r
st argum
e
nt const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhed
r
on_is
_
infinit
e
: use Polyhedron
_
Sample
if
a
vailable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdo
o
laege
po
l
y
h
edron_sam
p
le:
c
omput
e
s
an
i
n
teger
vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sv
e
n Ver
d
oo
l
aege
configure
.
in: che
c
k for
g
lpk
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
V
erdool
a
ege
scarf
.
cc:
s
implex::shrunk_
p
olyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fu
n
:
:
add:
perform trivial reduction
s
tep
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verd
o
olaege
g
enfun
.
cc: r
e
orde
r
ter
m
s i
n
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
s
car
f
.
cc: no
r
malize_matrix: s
i
mplify n==3 case s
o
me
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
scarf
.
cc:
s
upport
some case
s
of 4
c
onstraint
s
commit
|
commitdiff
|
tree
2006-07-13
S
ve
n
Ver
d
oolaeg
e
barvino
k
_
e
numerate_e: --print-all for
p
rinting
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdool
a
e
ge
sc
a
rf
.
cc: normalize_
m
at
r
ix:
s
implify n==
3
c
a
se
commit
|
commitdiff
|
tree
2006-07-10
Sven
Verdoolaege
scarf
.
cc: project out 2 variable
s
using S
c
arf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdo
o
la
e
ge
util
.
c: e
x
port Extend
e
d_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven
V
erdoola
e
ge
configure
.
in:
m
a
k
e --enab
l
e-fra
c
tional th
e
default
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdoolaege
ba
r
vino
k
_cou
n
t: check whether
unbounded polyhedra act
u
ally
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoolaege
p
o
l
yma
k
e/conf
i
gure
.
in: allo
w
s
p
ecification of l
o
cation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
r
e
duce_doma
i
n: declare
variable at start of co
d
e block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaege
r
e
move
_
equalitie
s
:
s
top removinf
e
qualities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
er
d
o
olaege
barvino
k
_count: stop c
o
unt
i
ng
i
f fir
s
t fac
t
or
is
empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolae
g
e
b
arvinok_
c
o
u
nt_
f
:
check for em
p
ti
n
e
s
s of P
(
aga
i
n
)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok
_
count: t
e
ll PolyLib we ar
e
only
int
e
rest
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
R
E
ADME: document op
t
io
n
al insta
l
lation of O
m
e
g
a
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoo
l
aege
d
oc: doc
u
ment Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: (
m
inim
a
l
l
y) do
c
u
ment poly
m
ake
client
s
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
olaege
doc: further do
c
ument ba
r
v
i
nok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolae
g
e
d
o
c
u
ment ba
r
v
inok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
l
ae
g
e
d
o
c: d
o
cume
n
t barvinok_
e
hrhart
commit
|
commitdiff
|
tree
next