From f0238cfb6997c4acfc2bd200de7295f3fa36968f Mon Sep 17 00:00:00 2001 From: Stanislaw Halik Date: Sun, 3 Mar 2019 21:09:10 +0100 Subject: don't index Eigen --- eigen/test/triangular.cpp | 246 ---------------------------------------------- 1 file changed, 246 deletions(-) delete mode 100644 eigen/test/triangular.cpp (limited to 'eigen/test/triangular.cpp') diff --git a/eigen/test/triangular.cpp b/eigen/test/triangular.cpp deleted file mode 100644 index 328eef4..0000000 --- a/eigen/test/triangular.cpp +++ /dev/null @@ -1,246 +0,0 @@ -// This file is triangularView of Eigen, a lightweight C++ template library -// for linear algebra. -// -// Copyright (C) 2008-2009 Gael Guennebaud -// -// This Source Code Form is subject to the terms of the Mozilla -// Public License v. 2.0. If a copy of the MPL was not distributed -// with this file, You can obtain one at http://mozilla.org/MPL/2.0/. - -#include "main.h" - - - -template void triangular_square(const MatrixType& m) -{ - typedef typename MatrixType::Scalar Scalar; - typedef typename NumTraits::Real RealScalar; - typedef Matrix VectorType; - - RealScalar largerEps = 10*test_precision(); - - typename MatrixType::Index rows = m.rows(); - typename MatrixType::Index cols = m.cols(); - - MatrixType m1 = MatrixType::Random(rows, cols), - m2 = MatrixType::Random(rows, cols), - m3(rows, cols), - m4(rows, cols), - r1(rows, cols), - r2(rows, cols); - VectorType v2 = VectorType::Random(rows); - - MatrixType m1up = m1.template triangularView(); - MatrixType m2up = m2.template triangularView(); - - if (rows*cols>1) - { - VERIFY(m1up.isUpperTriangular()); - VERIFY(m2up.transpose().isLowerTriangular()); - VERIFY(!m2.isLowerTriangular()); - } - -// VERIFY_IS_APPROX(m1up.transpose() * m2, m1.upper().transpose().lower() * m2); - - // test overloaded operator+= - r1.setZero(); - r2.setZero(); - r1.template triangularView() += m1; - r2 += m1up; - VERIFY_IS_APPROX(r1,r2); - - // test overloaded operator= - m1.setZero(); - m1.template triangularView() = m2.transpose() + m2; - m3 = m2.transpose() + m2; - VERIFY_IS_APPROX(m3.template triangularView().transpose().toDenseMatrix(), m1); - - // test overloaded operator= - m1.setZero(); - m1.template triangularView() = m2.transpose() + m2; - VERIFY_IS_APPROX(m3.template triangularView().toDenseMatrix(), m1); - - VERIFY_IS_APPROX(m3.template triangularView().conjugate().toDenseMatrix(), - m3.conjugate().template triangularView().toDenseMatrix()); - - m1 = MatrixType::Random(rows, cols); - for (int i=0; i(); - - Transpose trm4(m4); - // test back and forward subsitution with a vector as the rhs - m3 = m1.template triangularView(); - VERIFY(v2.isApprox(m3.adjoint() * (m1.adjoint().template triangularView().solve(v2)), largerEps)); - m3 = m1.template triangularView(); - VERIFY(v2.isApprox(m3.transpose() * (m1.transpose().template triangularView().solve(v2)), largerEps)); - m3 = m1.template triangularView(); - VERIFY(v2.isApprox(m3 * (m1.template triangularView().solve(v2)), largerEps)); - m3 = m1.template triangularView(); - VERIFY(v2.isApprox(m3.conjugate() * (m1.conjugate().template triangularView().solve(v2)), largerEps)); - - // test back and forward substitution with a matrix as the rhs - m3 = m1.template triangularView(); - VERIFY(m2.isApprox(m3.adjoint() * (m1.adjoint().template triangularView().solve(m2)), largerEps)); - m3 = m1.template triangularView(); - VERIFY(m2.isApprox(m3.transpose() * (m1.transpose().template triangularView().solve(m2)), largerEps)); - m3 = m1.template triangularView(); - VERIFY(m2.isApprox(m3 * (m1.template triangularView().solve(m2)), largerEps)); - m3 = m1.template triangularView(); - VERIFY(m2.isApprox(m3.conjugate() * (m1.conjugate().template triangularView().solve(m2)), largerEps)); - - // check M * inv(L) using in place API - m4 = m3; - m1.transpose().template triangularView().solveInPlace(trm4); - VERIFY_IS_APPROX(m4 * m1.template triangularView(), m3); - - // check M * inv(U) using in place API - m3 = m1.template triangularView(); - m4 = m3; - m3.transpose().template triangularView().solveInPlace(trm4); - VERIFY_IS_APPROX(m4 * m1.template triangularView(), m3); - - // check solve with unit diagonal - m3 = m1.template triangularView(); - VERIFY(m2.isApprox(m3 * (m1.template triangularView().solve(m2)), largerEps)); - -// VERIFY(( m1.template triangularView() -// * m2.template triangularView()).isUpperTriangular()); - - // test swap - m1.setOnes(); - m2.setZero(); - m2.template triangularView().swap(m1); - m3.setZero(); - m3.template triangularView().setOnes(); - VERIFY_IS_APPROX(m2,m3); - - m1.setRandom(); - m3 = m1.template triangularView(); - Matrix m5(cols, internal::random(1,20)); m5.setRandom(); - Matrix m6(internal::random(1,20), rows); m6.setRandom(); - VERIFY_IS_APPROX(m1.template triangularView() * m5, m3*m5); - VERIFY_IS_APPROX(m6*m1.template triangularView(), m6*m3); - - m1up = m1.template triangularView(); - VERIFY_IS_APPROX(m1.template selfadjointView().template triangularView().toDenseMatrix(), m1up); - VERIFY_IS_APPROX(m1up.template selfadjointView().template triangularView().toDenseMatrix(), m1up); - VERIFY_IS_APPROX(m1.template selfadjointView().template triangularView().toDenseMatrix(), m1up.adjoint()); - VERIFY_IS_APPROX(m1up.template selfadjointView().template triangularView().toDenseMatrix(), m1up.adjoint()); - - VERIFY_IS_APPROX(m1.template selfadjointView().diagonal(), m1.diagonal()); - -} - - -template void triangular_rect(const MatrixType& m) -{ - typedef typename MatrixType::Scalar Scalar; - typedef typename NumTraits::Real RealScalar; - enum { Rows = MatrixType::RowsAtCompileTime, Cols = MatrixType::ColsAtCompileTime }; - - Index rows = m.rows(); - Index cols = m.cols(); - - MatrixType m1 = MatrixType::Random(rows, cols), - m2 = MatrixType::Random(rows, cols), - m3(rows, cols), - m4(rows, cols), - r1(rows, cols), - r2(rows, cols); - - MatrixType m1up = m1.template triangularView(); - MatrixType m2up = m2.template triangularView(); - - if (rows>1 && cols>1) - { - VERIFY(m1up.isUpperTriangular()); - VERIFY(m2up.transpose().isLowerTriangular()); - VERIFY(!m2.isLowerTriangular()); - } - - // test overloaded operator+= - r1.setZero(); - r2.setZero(); - r1.template triangularView() += m1; - r2 += m1up; - VERIFY_IS_APPROX(r1,r2); - - // test overloaded operator= - m1.setZero(); - m1.template triangularView() = 3 * m2; - m3 = 3 * m2; - VERIFY_IS_APPROX(m3.template triangularView().toDenseMatrix(), m1); - - - m1.setZero(); - m1.template triangularView() = 3 * m2; - VERIFY_IS_APPROX(m3.template triangularView().toDenseMatrix(), m1); - - m1.setZero(); - m1.template triangularView() = 3 * m2; - VERIFY_IS_APPROX(m3.template triangularView().toDenseMatrix(), m1); - - - m1.setZero(); - m1.template triangularView() = 3 * m2; - VERIFY_IS_APPROX(m3.template triangularView().toDenseMatrix(), m1); - m1.setRandom(); - m2 = m1.template triangularView(); - VERIFY(m2.isUpperTriangular()); - VERIFY(!m2.isLowerTriangular()); - m2 = m1.template triangularView(); - VERIFY(m2.isUpperTriangular()); - VERIFY(m2.diagonal().isMuchSmallerThan(RealScalar(1))); - m2 = m1.template triangularView(); - VERIFY(m2.isUpperTriangular()); - m2.diagonal().array() -= Scalar(1); - VERIFY(m2.diagonal().isMuchSmallerThan(RealScalar(1))); - m2 = m1.template triangularView(); - VERIFY(m2.isLowerTriangular()); - VERIFY(!m2.isUpperTriangular()); - m2 = m1.template triangularView(); - VERIFY(m2.isLowerTriangular()); - VERIFY(m2.diagonal().isMuchSmallerThan(RealScalar(1))); - m2 = m1.template triangularView(); - VERIFY(m2.isLowerTriangular()); - m2.diagonal().array() -= Scalar(1); - VERIFY(m2.diagonal().isMuchSmallerThan(RealScalar(1))); - // test swap - m1.setOnes(); - m2.setZero(); - m2.template triangularView().swap(m1); - m3.setZero(); - m3.template triangularView().setOnes(); - VERIFY_IS_APPROX(m2,m3); -} - -void bug_159() -{ - Matrix3d m = Matrix3d::Random().triangularView(); - EIGEN_UNUSED_VARIABLE(m) -} - -void test_triangular() -{ - int maxsize = (std::min)(EIGEN_TEST_MAX_SIZE,20); - for(int i = 0; i < g_repeat ; i++) - { - int r = internal::random(2,maxsize); TEST_SET_BUT_UNUSED_VARIABLE(r) - int c = internal::random(2,maxsize); TEST_SET_BUT_UNUSED_VARIABLE(c) - - CALL_SUBTEST_1( triangular_square(Matrix()) ); - CALL_SUBTEST_2( triangular_square(Matrix()) ); - CALL_SUBTEST_3( triangular_square(Matrix3d()) ); - CALL_SUBTEST_4( triangular_square(Matrix,8, 8>()) ); - CALL_SUBTEST_5( triangular_square(MatrixXcd(r,r)) ); - CALL_SUBTEST_6( triangular_square(Matrix(r, r)) ); - - CALL_SUBTEST_7( triangular_rect(Matrix()) ); - CALL_SUBTEST_8( triangular_rect(Matrix()) ); - CALL_SUBTEST_9( triangular_rect(MatrixXcf(r, c)) ); - CALL_SUBTEST_5( triangular_rect(MatrixXcd(r, c)) ); - CALL_SUBTEST_6( triangular_rect(Matrix(r, c)) ); - } - - CALL_SUBTEST_1( bug_159() ); -} -- cgit v1.2.3