aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/matfuns.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-19 21:48:12 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-19 21:48:12 +0000
commitd8b5451ede6ce7a4e6927eda9068f3749e672cf0 (patch)
tree05f56b0d003cb4854d6b67f16aba01e70dc66d64 /src/algebra/matfuns.spad.pamphlet
parentb395e2a91f10c0e2c6d704ada9a5c5448b232866 (diff)
downloadopen-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.pamphlet10
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 ==