X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_matrices.cpp;h=3daee77ea66d7d34c8b3dc7305227b0d0434f1b2;hp=9a88c8c2bc80af55f7f3197ade0828280d8f465f;hb=270969d036bd27a8454442501f8eb241fa66c9b2;hpb=68fdf425abf14d016d5f95ee7b9d06a19a3c5926 diff --git a/check/exam_matrices.cpp b/check/exam_matrices.cpp index 9a88c8c2..3daee77e 100644 --- a/check/exam_matrices.cpp +++ b/check/exam_matrices.cpp @@ -3,7 +3,7 @@ * Here we examine manipulations on GiNaC's symbolic matrices. */ /* - * GiNaC Copyright (C) 1999-2003 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -17,7 +17,7 @@ * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ #include @@ -241,6 +241,46 @@ static unsigned matrix_evalm() return result; } +static unsigned matrix_rank() +{ + unsigned result = 0; + symbol x("x"), y("y"); + matrix m(3,3); + + // the zero matrix always has rank 0 + if (m.rank() != 0) { + clog << "The rank of " << m << " was not computed correctly." << endl; + ++result; + } + + // a trivial rank one example + m = 1, 0, 0, + 2, 0, 0, + 3, 0, 0; + if (m.rank() != 1) { + clog << "The rank of " << m << " was not computed correctly." << endl; + ++result; + } + + // an example from Maple's help with rank two + m = x, 1, 0, + 0, 0, 1, + x*y, y, 1; + if (m.rank() != 2) { + clog << "The rank of " << m << " was not computed correctly." << endl; + ++result; + } + + // the 3x3 unit matrix has rank 3 + m = ex_to(unit_matrix(3,3)); + if (m.rank() != 3) { + clog << "The rank of " << m << " was not computed correctly." << endl; + ++result; + } + + return result; +} + static unsigned matrix_misc() { unsigned result = 0; @@ -305,6 +345,7 @@ unsigned exam_matrices() result += matrix_invert3(); cout << '.' << flush; result += matrix_solve2(); cout << '.' << flush; result += matrix_evalm(); cout << "." << flush; + result += matrix_rank(); cout << "." << flush; result += matrix_misc(); cout << '.' << flush; if (!result) {