diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-20 03:01:22 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 03:01:22 +0000 |
| commit | e9cfc9f192acf6c1a267009d4a74643454eb7665 (patch) | |
| tree | 36db66ee90c3fdf1cda39a028af1ccaef9cf551e /src/algebra | |
| parent | bcaeb282a35f0001323941e88daacf90557f8247 (diff) | |
| download | open-axiom-e9cfc9f192acf6c1a267009d4a74643454eb7665.tar.gz | |
Fix up thinkos
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 1 | ||||
| -rw-r--r-- | src/algebra/matfuns.spad.pamphlet | 4 |
2 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 26375731..3ff73675 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -189,7 +189,6 @@ FiniteAggregate(S: Type): Category == Exports where ++ shapes. ShallowlyMutableAggregate(S: Type): Category == Exports where Exports == HomogeneousAggregate S with - shallowlyMutable map!: (S->S,%) -> % ++ \spad{map!(f,u)} destructively replaces each element ++ \spad{x} of \spad{u} by \spad{f(x)} 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] |