aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/matfuns.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-20 03:01:22 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-20 03:01:22 +0000
commite9cfc9f192acf6c1a267009d4a74643454eb7665 (patch)
tree36db66ee90c3fdf1cda39a028af1ccaef9cf551e /src/algebra/matfuns.spad.pamphlet
parentbcaeb282a35f0001323941e88daacf90557f8247 (diff)
downloadopen-axiom-e9cfc9f192acf6c1a267009d4a74643454eb7665.tar.gz
Fix up thinkos
Diffstat (limited to 'src/algebra/matfuns.spad.pamphlet')
-rw-r--r--src/algebra/matfuns.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/matfuns.spad.pamphlet b/src/algebra/matfuns.spad.pamphlet
index 21bfb0fe..6fe6db50 100644
--- a/src/algebra/matfuns.spad.pamphlet
+++ b/src/algebra/matfuns.spad.pamphlet
@@ -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 ShallowlyMutableAggregate R then
+ if Col2 has ShallowlyMutableAggregate QF 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 ShallowlyMutableAggregate R then
+ if Col2 has ShallowlyMutableAggregate QF then
nullSpace m ==
[clearDenominator(v)$CDEN for v in nullSpace(qfMat m)$IMATLIN]