| 12 | #include <Eigen/LU> |
| 13 | |
| 14 | template<typename MatrixType> void inverse(const MatrixType& m) |
| 15 | { |
| 16 | using std::abs; |
| 17 | typedef typename MatrixType::Index Index; |
| 18 | /* this test covers the following files: |
| 19 | Inverse.h |
| 20 | */ |
| 21 | Index rows = m.rows(); |
| 22 | Index cols = m.cols(); |
| 23 | |
| 24 | typedef typename MatrixType::Scalar Scalar; |
| 25 | |
| 26 | MatrixType m1(rows, cols), |
| 27 | m2(rows, cols), |
| 28 | identity = MatrixType::Identity(rows, rows); |
| 29 | createRandomPIMatrixOfRank(rows,rows,rows,m1); |
| 30 | m2 = m1.inverse(); |
| 31 | VERIFY_IS_APPROX(m1, m2.inverse() ); |
| 32 | |
| 33 | VERIFY_IS_APPROX((Scalar(2)*m2).inverse(), m2.inverse()*Scalar(0.5)); |
| 34 | |
| 35 | VERIFY_IS_APPROX(identity, m1.inverse() * m1 ); |
| 36 | VERIFY_IS_APPROX(identity, m1 * m1.inverse() ); |
| 37 | |
| 38 | VERIFY_IS_APPROX(m1, m1.inverse().inverse() ); |
| 39 | |
| 40 | // since for the general case we implement separately row-major and col-major, test that |
| 41 | VERIFY_IS_APPROX(MatrixType(m1.transpose().inverse()), MatrixType(m1.inverse().transpose())); |
| 42 | |
| 43 | #if !defined(EIGEN_TEST_PART_5) && !defined(EIGEN_TEST_PART_6) |
| 44 | typedef typename NumTraits<Scalar>::Real RealScalar; |
| 45 | typedef Matrix<Scalar, MatrixType::ColsAtCompileTime, 1> VectorType; |
| 46 | |
| 47 | //computeInverseAndDetWithCheck tests |
| 48 | //First: an invertible matrix |
| 49 | bool invertible; |
| 50 | RealScalar det; |
| 51 | |
| 52 | m2.setZero(); |
| 53 | m1.computeInverseAndDetWithCheck(m2, det, invertible); |
| 54 | VERIFY(invertible); |
| 55 | VERIFY_IS_APPROX(identity, m1*m2); |
| 56 | VERIFY_IS_APPROX(det, m1.determinant()); |
| 57 | |
| 58 | m2.setZero(); |
| 59 | m1.computeInverseWithCheck(m2, invertible); |
| 60 | VERIFY(invertible); |
| 61 | VERIFY_IS_APPROX(identity, m1*m2); |
| 62 | |
| 63 | //Second: a rank one matrix (not invertible, except for 1x1 matrices) |
| 64 | VectorType v3 = VectorType::Random(rows); |
| 65 | MatrixType m3 = v3*v3.transpose(), m4(rows,cols); |
| 66 | m3.computeInverseAndDetWithCheck(m4, det, invertible); |
| 67 | VERIFY( rows==1 ? invertible : !invertible ); |
| 68 | VERIFY_IS_MUCH_SMALLER_THAN(abs(det-m3.determinant()), RealScalar(1)); |
| 69 | m3.computeInverseWithCheck(m4, invertible); |
| 70 | VERIFY( rows==1 ? invertible : !invertible ); |
| 71 | |