permutationmatrices.cpp 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167
  1. // This file is part of Eigen, a lightweight C++ template library
  2. // for linear algebra.
  3. //
  4. // Copyright (C) 2009 Benoit Jacob <jacob.benoit.1@gmail.com>
  5. //
  6. // This Source Code Form is subject to the terms of the Mozilla
  7. // Public License v. 2.0. If a copy of the MPL was not distributed
  8. // with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
  9. #define TEST_ENABLE_TEMPORARY_TRACKING
  10. #include "main.h"
  11. using namespace std;
  12. template<typename MatrixType> void permutationmatrices(const MatrixType& m)
  13. {
  14. typedef typename MatrixType::Scalar Scalar;
  15. enum { Rows = MatrixType::RowsAtCompileTime, Cols = MatrixType::ColsAtCompileTime,
  16. Options = MatrixType::Options };
  17. typedef PermutationMatrix<Rows> LeftPermutationType;
  18. typedef Transpositions<Rows> LeftTranspositionsType;
  19. typedef Matrix<int, Rows, 1> LeftPermutationVectorType;
  20. typedef Map<LeftPermutationType> MapLeftPerm;
  21. typedef PermutationMatrix<Cols> RightPermutationType;
  22. typedef Transpositions<Cols> RightTranspositionsType;
  23. typedef Matrix<int, Cols, 1> RightPermutationVectorType;
  24. typedef Map<RightPermutationType> MapRightPerm;
  25. Index rows = m.rows();
  26. Index cols = m.cols();
  27. MatrixType m_original = MatrixType::Random(rows,cols);
  28. LeftPermutationVectorType lv;
  29. randomPermutationVector(lv, rows);
  30. LeftPermutationType lp(lv);
  31. RightPermutationVectorType rv;
  32. randomPermutationVector(rv, cols);
  33. RightPermutationType rp(rv);
  34. LeftTranspositionsType lt(lv);
  35. RightTranspositionsType rt(rv);
  36. MatrixType m_permuted = MatrixType::Random(rows,cols);
  37. VERIFY_EVALUATION_COUNT(m_permuted = lp * m_original * rp, 1); // 1 temp for sub expression "lp * m_original"
  38. for (int i=0; i<rows; i++)
  39. for (int j=0; j<cols; j++)
  40. VERIFY_IS_APPROX(m_permuted(lv(i),j), m_original(i,rv(j)));
  41. Matrix<Scalar,Rows,Rows> lm(lp);
  42. Matrix<Scalar,Cols,Cols> rm(rp);
  43. VERIFY_IS_APPROX(m_permuted, lm*m_original*rm);
  44. m_permuted = m_original;
  45. VERIFY_EVALUATION_COUNT(m_permuted = lp * m_permuted * rp, 1);
  46. VERIFY_IS_APPROX(m_permuted, lm*m_original*rm);
  47. VERIFY_IS_APPROX(lp.inverse()*m_permuted*rp.inverse(), m_original);
  48. VERIFY_IS_APPROX(lv.asPermutation().inverse()*m_permuted*rv.asPermutation().inverse(), m_original);
  49. VERIFY_IS_APPROX(MapLeftPerm(lv.data(),lv.size()).inverse()*m_permuted*MapRightPerm(rv.data(),rv.size()).inverse(), m_original);
  50. VERIFY((lp*lp.inverse()).toDenseMatrix().isIdentity());
  51. VERIFY((lv.asPermutation()*lv.asPermutation().inverse()).toDenseMatrix().isIdentity());
  52. VERIFY((MapLeftPerm(lv.data(),lv.size())*MapLeftPerm(lv.data(),lv.size()).inverse()).toDenseMatrix().isIdentity());
  53. LeftPermutationVectorType lv2;
  54. randomPermutationVector(lv2, rows);
  55. LeftPermutationType lp2(lv2);
  56. Matrix<Scalar,Rows,Rows> lm2(lp2);
  57. VERIFY_IS_APPROX((lp*lp2).toDenseMatrix().template cast<Scalar>(), lm*lm2);
  58. VERIFY_IS_APPROX((lv.asPermutation()*lv2.asPermutation()).toDenseMatrix().template cast<Scalar>(), lm*lm2);
  59. VERIFY_IS_APPROX((MapLeftPerm(lv.data(),lv.size())*MapLeftPerm(lv2.data(),lv2.size())).toDenseMatrix().template cast<Scalar>(), lm*lm2);
  60. LeftPermutationType identityp;
  61. identityp.setIdentity(rows);
  62. VERIFY_IS_APPROX(m_original, identityp*m_original);
  63. // check inplace permutations
  64. m_permuted = m_original;
  65. VERIFY_EVALUATION_COUNT(m_permuted.noalias()= lp.inverse() * m_permuted, 1); // 1 temp to allocate the mask
  66. VERIFY_IS_APPROX(m_permuted, lp.inverse()*m_original);
  67. m_permuted = m_original;
  68. VERIFY_EVALUATION_COUNT(m_permuted.noalias() = m_permuted * rp.inverse(), 1); // 1 temp to allocate the mask
  69. VERIFY_IS_APPROX(m_permuted, m_original*rp.inverse());
  70. m_permuted = m_original;
  71. VERIFY_EVALUATION_COUNT(m_permuted.noalias() = lp * m_permuted, 1); // 1 temp to allocate the mask
  72. VERIFY_IS_APPROX(m_permuted, lp*m_original);
  73. m_permuted = m_original;
  74. VERIFY_EVALUATION_COUNT(m_permuted.noalias() = m_permuted * rp, 1); // 1 temp to allocate the mask
  75. VERIFY_IS_APPROX(m_permuted, m_original*rp);
  76. if(rows>1 && cols>1)
  77. {
  78. lp2 = lp;
  79. Index i = internal::random<Index>(0, rows-1);
  80. Index j;
  81. do j = internal::random<Index>(0, rows-1); while(j==i);
  82. lp2.applyTranspositionOnTheLeft(i, j);
  83. lm = lp;
  84. lm.row(i).swap(lm.row(j));
  85. VERIFY_IS_APPROX(lm, lp2.toDenseMatrix().template cast<Scalar>());
  86. RightPermutationType rp2 = rp;
  87. i = internal::random<Index>(0, cols-1);
  88. do j = internal::random<Index>(0, cols-1); while(j==i);
  89. rp2.applyTranspositionOnTheRight(i, j);
  90. rm = rp;
  91. rm.col(i).swap(rm.col(j));
  92. VERIFY_IS_APPROX(rm, rp2.toDenseMatrix().template cast<Scalar>());
  93. }
  94. {
  95. // simple compilation check
  96. Matrix<Scalar, Cols, Cols> A = rp;
  97. Matrix<Scalar, Cols, Cols> B = rp.transpose();
  98. VERIFY_IS_APPROX(A, B.transpose());
  99. }
  100. m_permuted = m_original;
  101. lp = lt;
  102. rp = rt;
  103. VERIFY_EVALUATION_COUNT(m_permuted = lt * m_permuted * rt, 1);
  104. VERIFY_IS_APPROX(m_permuted, lp*m_original*rp.transpose());
  105. VERIFY_IS_APPROX(lt.inverse()*m_permuted*rt.inverse(), m_original);
  106. }
  107. template<typename T>
  108. void bug890()
  109. {
  110. typedef Matrix<T, Dynamic, Dynamic> MatrixType;
  111. typedef Matrix<T, Dynamic, 1> VectorType;
  112. typedef Stride<Dynamic,Dynamic> S;
  113. typedef Map<MatrixType, Aligned, S> MapType;
  114. typedef PermutationMatrix<Dynamic> Perm;
  115. VectorType v1(2), v2(2), op(4), rhs(2);
  116. v1 << 666,667;
  117. op << 1,0,0,1;
  118. rhs << 42,42;
  119. Perm P(2);
  120. P.indices() << 1, 0;
  121. MapType(v1.data(),2,1,S(1,1)) = P * MapType(rhs.data(),2,1,S(1,1));
  122. VERIFY_IS_APPROX(v1, (P * rhs).eval());
  123. MapType(v1.data(),2,1,S(1,1)) = P.inverse() * MapType(rhs.data(),2,1,S(1,1));
  124. VERIFY_IS_APPROX(v1, (P.inverse() * rhs).eval());
  125. }
  126. void test_permutationmatrices()
  127. {
  128. for(int i = 0; i < g_repeat; i++) {
  129. CALL_SUBTEST_1( permutationmatrices(Matrix<float, 1, 1>()) );
  130. CALL_SUBTEST_2( permutationmatrices(Matrix3f()) );
  131. CALL_SUBTEST_3( permutationmatrices(Matrix<double,3,3,RowMajor>()) );
  132. CALL_SUBTEST_4( permutationmatrices(Matrix4d()) );
  133. CALL_SUBTEST_5( permutationmatrices(Matrix<double,40,60>()) );
  134. CALL_SUBTEST_6( permutationmatrices(Matrix<double,Dynamic,Dynamic,RowMajor>(20, 30)) );
  135. CALL_SUBTEST_7( permutationmatrices(MatrixXcf(15, 10)) );
  136. }
  137. CALL_SUBTEST_5( bug890<double>() );
  138. }