From 3a8a000fa4fb3f284dac5eeb5aa5f35332f5e811 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 27 Dec 2011 10:54:18 +0000 Subject: * algebra/matfuns.spad.pamphlet (InnerMatrixLinearAlgebraFunctions) [rank]: Tidy. --- src/ChangeLog | 7 ++++++- src/algebra/matfuns.spad.pamphlet | 4 +++- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index 5a05ae7f..4eee6517 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,7 +1,12 @@ +2011-12-27 Gabriel Dos Reis + + * algebra/matfuns.spad.pamphlet + (InnerMatrixLinearAlgebraFunctions) [rank]: Tidy. + 2011-12-24 Gabriel Dos Reis * interp/g-opt.boot (unnestWhen!): Recurse into more control - structures. + structures. 2011-12-24 Gabriel Dos Reis diff --git a/src/algebra/matfuns.spad.pamphlet b/src/algebra/matfuns.spad.pamphlet index cf739082..2f42249c 100644 --- a/src/algebra/matfuns.spad.pamphlet +++ b/src/algebra/matfuns.spad.pamphlet @@ -108,8 +108,10 @@ InnerMatrixLinearAlgebraFunctions(R,Row,Col,M):_ x rank x == + rk := nrows x y := - (rk := nrows x) > (rh := ncols x) => + rh := ncols x + rk > rh => rk := rh transpose x copy x -- cgit v1.2.3