diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 02:56:09 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 02:56:09 -0800 |
commit | 9213251560073e45e73ae94c46bc382a625a57bb (patch) | |
tree | 97f670bfbfa3f73f1b00912f120c4998a9a04e8d /src/algebra/matrix.spad.pamphlet | |
parent | d0740d0ba443f0f24c78d321e15b41bb6c45cecd (diff) | |
download | open-axiom-9213251560073e45e73ae94c46bc382a625a57bb.tar.gz |
Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.
Diffstat (limited to 'src/algebra/matrix.spad.pamphlet')
-rw-r--r-- | src/algebra/matrix.spad.pamphlet | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/algebra/matrix.spad.pamphlet b/src/algebra/matrix.spad.pamphlet index 6aded198..159f0217 100644 --- a/src/algebra/matrix.spad.pamphlet +++ b/src/algebra/matrix.spad.pamphlet @@ -310,13 +310,6 @@ SquareMatrix(ndim,R): Exports == Implementation where -- if R has commutative("*") then -- minorsVect: -> Vector(Union(R,"uncomputed")) --range: 1..2**n-1 -- ++ \spad{minorsVect(m)} returns a vector of the minors of the matrix m - if R has commutative("*") then central - ++ the elements of the Ring R, viewed as diagonal matrices, commute - ++ with all matrices and, indeed, are the only matrices which commute - ++ with all matrices. - if R has commutative("*") and R has unitsKnown then unitsKnown - ++ the invertible matrices are simply the matrices whose determinants - ++ are units in the Ring R. if R has ConvertibleTo InputForm then ConvertibleTo InputForm Implementation ==> Matrix R add |