diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 21:48:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 21:48:12 +0000 |
| commit | d8b5451ede6ce7a4e6927eda9068f3749e672cf0 (patch) | |
| tree | 05f56b0d003cb4854d6b67f16aba01e70dc66d64 /src/algebra/matfuns.spad.pamphlet | |
| parent | b395e2a91f10c0e2c6d704ada9a5c5448b232866 (diff) | |
| download | open-axiom-d8b5451ede6ce7a4e6927eda9068f3749e672cf0.tar.gz | |
* algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.
Diffstat (limited to 'src/algebra/matfuns.spad.pamphlet')
| -rw-r--r-- | src/algebra/matfuns.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/matfuns.spad.pamphlet b/src/algebra/matfuns.spad.pamphlet index cba5b7f5..21bfb0fe 100644 --- a/src/algebra/matfuns.spad.pamphlet +++ b/src/algebra/matfuns.spad.pamphlet @@ -42,7 +42,7 @@ InnerMatrixLinearAlgebraFunctions(R,Row,Col,M):_ nullity: M -> NonNegativeInteger ++ \spad{nullity(m)} returns the mullity of the matrix m. This is the ++ dimension of the null space of the matrix m. - if Col has shallowlyMutable then + if Col has ShallowlyMutableAggregate R then nullSpace: M -> List Col ++ \spad{nullSpace(m)} returns a basis for the null space of the ++ matrix m. @@ -122,7 +122,7 @@ InnerMatrixLinearAlgebraFunctions(R,Row,Col,M):_ nullity x == (ncols x - rank x) :: NonNegativeInteger - if Col has shallowlyMutable then + if Col has ShallowlyMutableAggregate R then nullSpace y == x := rowEchelon y @@ -401,7 +401,7 @@ InnerMatrixQuotientFieldFunctions(R,Row,Col,M,QF,Row2,Col2,M2):_ ++ If the matrix is not invertible, "failed" is returned. ++ Error: if the matrix is not square. ++ Note: the result will have entries in the quotient field. - if Col2 has shallowlyMutable then + if Col2 has ShallowlyMutableAggregate R then nullSpace : M -> List Col ++ \spad{nullSpace(m)} returns a basis for the null space of the ++ matrix m. @@ -415,7 +415,7 @@ InnerMatrixQuotientFieldFunctions(R,Row,Col,M,QF,Row2,Col2,M2):_ (inv := inverse(qfMat m)$IMATLIN) case "failed" => "failed" inv :: M2 - if Col2 has shallowlyMutable then + if Col2 has ShallowlyMutableAggregate R then nullSpace m == [clearDenominator(v)$CDEN for v in nullSpace(qfMat m)$IMATLIN] @@ -651,7 +651,7 @@ MatrixLinearAlgebraFunctions(R,Row,Col,M):Exports == Implementation where nullity y == nullity(y)$IMATLIN determinant y == determinant(y)$IMATLIN inverse y == inverse(y)$IMATLIN - if Col has shallowlyMutable then + if Col has ShallowlyMutableAggregate R then nullSpace y == nullSpace(y)$IMATLIN else nullSpace y == |