diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-26 00:57:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-26 00:57:30 +0000 |
commit | 22cfdf8f4e97d7916f0b0bac666322543caa81a8 (patch) | |
tree | b09b0f4cd04d0af9b4d03e3b6831dab9a8004b24 | |
parent | 0e0de56cc9aae9694b31e3d31407590295d69fd3 (diff) | |
download | open-axiom-22cfdf8f4e97d7916f0b0bac666322543caa81a8.tar.gz |
Fix test for inexistent IMAXTRIX
-rw-r--r-- | src/input/matrix.input.pamphlet | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/input/matrix.input.pamphlet b/src/input/matrix.input.pamphlet index 3b4e50a5..d2038a8b 100644 --- a/src/input/matrix.input.pamphlet +++ b/src/input/matrix.input.pamphlet @@ -27,13 +27,6 @@ mat : MATRIX FRAC INT := matrix [[1/(i + j) for i in 1..5] for j in 1..5] matinv := inverse mat mat * matinv --- same computation, different indexing - -mat1 : IMATRIX(FRAC INT,-3,47) := _ - matrix [[1/(i + j) for i in 1..5] for j in 1..5] -mat1inv := inverse mat1 -mat1 * mat1inv - -- Vandermonde determinant mat2 : MATRIX INT := matrix [[j**i for i in 0..4] for j in 1..5] @@ -41,14 +34,6 @@ rowEchelon mat2 determinant mat2 minordet mat2 --- same computation, different indexing - -mat3 : IMATRIX(INT,13,-7) := _ - matrix [[j**i for i in 0..4] for j in 1..5] -rowEchelon mat3 -determinant mat3 -minordet mat3 - -- same computation, work over the rationals mat4 : MATRIX FRAC INT := matrix [[j**i for i in 0..4] for j in 1..5] @@ -58,24 +43,12 @@ minordet mat4 -- same computation, different indexing -mat5 : IMATRIX(FRAC INT,-113,37) := _ - matrix [[j**i for i in 0..4] for j in 1..5] -rowEchelon mat5 -determinant mat5 -minordet mat5 - mat6 : MATRIX INT := matrix [[1,2,3],[4,5,6],[7,8,9]] rowEchelon mat6 rank mat6 nullity mat6 nullSpace mat6 -mat7 : IMATRIX(FRAC INT,163,61657) := matrix [[1,2,3],[4,5,6],[7,8,9]] -rowEchelon mat7 -rank mat7 -nullity mat7 -nullSpace mat7 - mat8 : MATRIX INT := _ matrix [[1,-2,13,0,5,-47],[-4,15,0,16,-2,1],[-7,0,8,-11,9,0]] rowEchelon mat8 @@ -83,12 +56,6 @@ rank mat8 nullity mat8 nullSpace mat8 -mat9 : IMATRIX(FRAC INT,163,61657) := _ - matrix [[1,-2,13,0,5,-47],[-4,15,0,16,-2,1],[-7,0,8,-11,9,0]] -rowEchelon mat9 -rank mat9 -nullity mat9 -nullSpace mat9 @ \eject \begin{thebibliography}{99} |