1c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// This file is part of Eigen, a lightweight C++ template library 2c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// for linear algebra. 3c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// 4c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// Copyright (C) 2006-2008 Benoit Jacob <jacob.benoit.1@gmail.com> 5c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// Copyright (C) 2008 Gael Guennebaud <gael.guennebaud@inria.fr> 6c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// 7c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// This Source Code Form is subject to the terms of the Mozilla 8c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// Public License v. 2.0. If a copy of the MPL was not distributed 9c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 10c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 11c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <cstdlib> 12c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <cerrno> 13c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <ctime> 14c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <iostream> 15c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <fstream> 16c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <string> 177faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez#include <sstream> 18c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <vector> 19c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <typeinfo> 20615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray 21615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// The following includes of STL headers have to be done _before_ the 22615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// definition of macros min() and max(). The reason is that many STL 23615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// implementations will not work properly as the min and max symbols collide 24615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// with the STL functions std:min() and std::max(). The STL headers may check 25615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// for the macro definition of min/max and issue a warning or undefine the 26615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// macros. 27615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// 28615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// Still, Windows defines min() and max() in windef.h as part of the regular 29615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// Windows system interfaces and many other Windows APIs depend on these 30615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// macros being available. To prevent the macro expansion of min/max and to 31615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// make Eigen compatible with the Windows environment all function calls of 32615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// std::min() and std::max() have to be written with parenthesis around the 33615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// function name. 34615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// 35615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// All STL headers used by Eigen should be included here. Because main.h is 36615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// included before any Eigen header and because the STL headers are guarded 37615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// against multiple inclusions, no STL header will see our own min/max macro 38615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// definitions. 39c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <limits> 40c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <algorithm> 41c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <complex> 42c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <deque> 43c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <queue> 44615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray#include <list> 45c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 46615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// To test that all calls from Eigen code to std::min() and std::max() are 47615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// protected by parenthesis against macro expansion, the min()/max() macros 48615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// are defined here and any not-parenthesized min/max call will cause a 49615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray// compiler error. 50c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define min(A,B) please_protect_your_min_with_parentheses 51c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define max(A,B) please_protect_your_max_with_parentheses 52c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 53c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define FORBIDDEN_IDENTIFIER (this_identifier_is_forbidden_to_avoid_clashes) this_identifier_is_forbidden_to_avoid_clashes 54c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// B0 is defined in POSIX header termios.h 55c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define B0 FORBIDDEN_IDENTIFIER 56c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 577faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez 587faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// shuts down ICC's remark #593: variable "XXX" was set but never used 597faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez#define TEST_SET_BUT_UNUSED_VARIABLE(X) X = X + 0; 607faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez 61c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// the following file is automatically generated by cmake 62c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include "split_test_helper.h" 63c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 64c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#ifdef NDEBUG 65c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#undef NDEBUG 66c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#endif 67c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 687faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// On windows CE, NDEBUG is automatically defined <assert.h> if NDEBUG is not defined. 697faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez#ifndef DEBUG 707faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez#define DEBUG 717faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez#endif 727faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez 73c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// bounds integer values for AltiVec 74c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#ifdef __ALTIVEC__ 75c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define EIGEN_MAKING_DOCS 76c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#endif 77c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 78c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#ifndef EIGEN_TEST_FUNC 79c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#error EIGEN_TEST_FUNC must be defined 80c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#endif 81c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 82c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define DEFAULT_REPEAT 10 83c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 84c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathnamespace Eigen 85c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 86c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static std::vector<std::string> g_test_stack; 87c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static int g_repeat; 88c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static unsigned int g_seed; 89c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static bool g_has_set_repeat, g_has_set_seed; 90c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 91c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 92c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define EI_PP_MAKE_STRING2(S) #S 93c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define EI_PP_MAKE_STRING(S) EI_PP_MAKE_STRING2(S) 94c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 95c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define EIGEN_DEFAULT_IO_FORMAT IOFormat(4, 0, " ", "\n", "", "", "", "") 96c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 97c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#ifndef EIGEN_NO_ASSERTION_CHECKING 98c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 99c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath namespace Eigen 100c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 101c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static const bool should_raise_an_assert = false; 102c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 103c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // Used to avoid to raise two exceptions at a time in which 104c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // case the exception is not properly caught. 105c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // This may happen when a second exceptions is triggered in a destructor. 106c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static bool no_more_assert = false; 107c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static bool report_on_cerr_on_assert_failure = true; 108c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 109c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath struct eigen_assert_exception 110c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 111c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath eigen_assert_exception(void) {} 112c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath ~eigen_assert_exception() { Eigen::no_more_assert = false; } 113c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath }; 114c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 115c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // If EIGEN_DEBUG_ASSERTS is defined and if no assertion is triggered while 116c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // one should have been, then the list of excecuted assertions is printed out. 117c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // 118c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // EIGEN_DEBUG_ASSERTS is not enabled by default as it 119c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // significantly increases the compilation time 120c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // and might even introduce side effects that would hide 121c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // some memory errors. 122c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #ifdef EIGEN_DEBUG_ASSERTS 123c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 124c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath namespace Eigen 125c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 126c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath namespace internal 127c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 128c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static bool push_assert = false; 129c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 130c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath static std::vector<std::string> eigen_assert_list; 131c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 132c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #define eigen_assert(a) \ 133c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if( (!(a)) && (!no_more_assert) ) \ 134c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { \ 135c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(report_on_cerr_on_assert_failure) \ 136c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cerr << #a << " " __FILE__ << "(" << __LINE__ << ")\n"; \ 137c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::no_more_assert = true; \ 138c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath throw Eigen::eigen_assert_exception(); \ 139c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } \ 140c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath else if (Eigen::internal::push_assert) \ 141c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { \ 142c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath eigen_assert_list.push_back(std::string(EI_PP_MAKE_STRING(__FILE__) " (" EI_PP_MAKE_STRING(__LINE__) ") : " #a) ); \ 143c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 144c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 145c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #define VERIFY_RAISES_ASSERT(a) \ 146c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { \ 147c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::no_more_assert = false; \ 148c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::eigen_assert_list.clear(); \ 149c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::internal::push_assert = true; \ 150c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::report_on_cerr_on_assert_failure = false; \ 151c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath try { \ 152c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath a; \ 153c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cerr << "One of the following asserts should have been triggered:\n"; \ 154c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for (uint ai=0 ; ai<eigen_assert_list.size() ; ++ai) \ 155c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cerr << " " << eigen_assert_list[ai] << "\n"; \ 156c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY(Eigen::should_raise_an_assert && # a); \ 157c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } catch (Eigen::eigen_assert_exception) { \ 158c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::internal::push_assert = false; VERIFY(true); \ 159c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } \ 160c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::report_on_cerr_on_assert_failure = true; \ 161c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::internal::push_assert = false; \ 162c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 163c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 164c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #else // EIGEN_DEBUG_ASSERTS 165c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // see bug 89. The copy_bool here is working around a bug in gcc <= 4.3 166c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #define eigen_assert(a) \ 167c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if( (!Eigen::internal::copy_bool(a)) && (!no_more_assert) )\ 168c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { \ 169c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::no_more_assert = true; \ 170c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(report_on_cerr_on_assert_failure) \ 171c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath eigen_plain_assert(a); \ 172c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath else \ 173c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath throw Eigen::eigen_assert_exception(); \ 174c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 175c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #define VERIFY_RAISES_ASSERT(a) { \ 176c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::no_more_assert = false; \ 177c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::report_on_cerr_on_assert_failure = false; \ 178c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath try { \ 179c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath a; \ 180c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY(Eigen::should_raise_an_assert && # a); \ 181c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } \ 182c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath catch (Eigen::eigen_assert_exception&) { VERIFY(true); } \ 183c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Eigen::report_on_cerr_on_assert_failure = true; \ 184c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 185c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 186c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #endif // EIGEN_DEBUG_ASSERTS 187c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 188c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #define EIGEN_USE_CUSTOM_ASSERT 189c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 190c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#else // EIGEN_NO_ASSERTION_CHECKING 191c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 192c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #define VERIFY_RAISES_ASSERT(a) {} 193c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 194c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#endif // EIGEN_NO_ASSERTION_CHECKING 195c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 196c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 197c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define EIGEN_INTERNAL_DEBUGGING 198c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include <Eigen/QR> // required for createRandomPIMatrixOfRank 199c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 2007faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandezinline void verify_impl(bool condition, const char *testname, const char *file, int line, const char *condition_as_string) 201c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 202c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if (!condition) 203c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 2047faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez std::cerr << "Test " << testname << " failed in " << file << " (" << line << ")" 2057faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez << std::endl << " " << condition_as_string << std::endl; 2067faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez std::cerr << "Stack:\n"; 2077faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez const int test_stack_size = static_cast<int>(Eigen::g_test_stack.size()); 2087faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez for(int i=test_stack_size-1; i>=0; --i) 2097faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez std::cerr << " - " << Eigen::g_test_stack[i] << "\n"; 2107faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez std::cerr << "\n"; 211c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath abort(); 212c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 213c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 214c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 215c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY(a) ::verify_impl(a, g_test_stack.back().c_str(), __FILE__, __LINE__, EI_PP_MAKE_STRING(a)) 216c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 217c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_EQUAL(a, b) VERIFY(test_is_equal(a, b)) 218c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_APPROX(a, b) VERIFY(test_isApprox(a, b)) 219c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_NOT_APPROX(a, b) VERIFY(!test_isApprox(a, b)) 220c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_MUCH_SMALLER_THAN(a, b) VERIFY(test_isMuchSmallerThan(a, b)) 221c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_NOT_MUCH_SMALLER_THAN(a, b) VERIFY(!test_isMuchSmallerThan(a, b)) 222c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_APPROX_OR_LESS_THAN(a, b) VERIFY(test_isApproxOrLessThan(a, b)) 223c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_NOT_APPROX_OR_LESS_THAN(a, b) VERIFY(!test_isApproxOrLessThan(a, b)) 224c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 225c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define VERIFY_IS_UNITARY(a) VERIFY(test_isUnitary(a)) 226c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 227c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define CALL_SUBTEST(FUNC) do { \ 228c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath g_test_stack.push_back(EI_PP_MAKE_STRING(FUNC)); \ 229c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath FUNC; \ 230c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath g_test_stack.pop_back(); \ 231c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } while (0) 232c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 233c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 234c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathnamespace Eigen { 235c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 236c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename T> inline typename NumTraits<T>::Real test_precision() { return NumTraits<T>::dummy_precision(); } 237c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> inline float test_precision<float>() { return 1e-3f; } 238c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> inline double test_precision<double>() { return 1e-6; } 239c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> inline float test_precision<std::complex<float> >() { return test_precision<float>(); } 240c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> inline double test_precision<std::complex<double> >() { return test_precision<double>(); } 241c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> inline long double test_precision<long double>() { return 1e-6; } 242c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 243c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApprox(const int& a, const int& b) 244c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApprox(a, b, test_precision<int>()); } 245c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const int& a, const int& b) 246c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isMuchSmallerThan(a, b, test_precision<int>()); } 247c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApproxOrLessThan(const int& a, const int& b) 248c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApproxOrLessThan(a, b, test_precision<int>()); } 249c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 250c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApprox(const float& a, const float& b) 251c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApprox(a, b, test_precision<float>()); } 252c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const float& a, const float& b) 253c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isMuchSmallerThan(a, b, test_precision<float>()); } 254c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApproxOrLessThan(const float& a, const float& b) 255c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApproxOrLessThan(a, b, test_precision<float>()); } 256c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApprox(const double& a, const double& b) 257c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApprox(a, b, test_precision<double>()); } 258c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 259c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const double& a, const double& b) 260c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isMuchSmallerThan(a, b, test_precision<double>()); } 261c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApproxOrLessThan(const double& a, const double& b) 262c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApproxOrLessThan(a, b, test_precision<double>()); } 263c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 264c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApprox(const std::complex<float>& a, const std::complex<float>& b) 265c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApprox(a, b, test_precision<std::complex<float> >()); } 266c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const std::complex<float>& a, const std::complex<float>& b) 267c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isMuchSmallerThan(a, b, test_precision<std::complex<float> >()); } 268c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 269c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApprox(const std::complex<double>& a, const std::complex<double>& b) 270c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApprox(a, b, test_precision<std::complex<double> >()); } 271c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const std::complex<double>& a, const std::complex<double>& b) 272c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isMuchSmallerThan(a, b, test_precision<std::complex<double> >()); } 273c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 274c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApprox(const long double& a, const long double& b) 275c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 276c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath bool ret = internal::isApprox(a, b, test_precision<long double>()); 277c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if (!ret) std::cerr 278c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath << std::endl << " actual = " << a 279c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath << std::endl << " expected = " << b << std::endl << std::endl; 280c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return ret; 281c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 282c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 283c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const long double& a, const long double& b) 284c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isMuchSmallerThan(a, b, test_precision<long double>()); } 285c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApproxOrLessThan(const long double& a, const long double& b) 286c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ return internal::isApproxOrLessThan(a, b, test_precision<long double>()); } 287c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 288c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename Type1, typename Type2> 289c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApprox(const Type1& a, const Type2& b) 290c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 291c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return a.isApprox(b, test_precision<typename Type1::Scalar>()); 292c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 293c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 294c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// The idea behind this function is to compare the two scalars a and b where 295c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// the scalar ref is a hint about the expected order of magnitude of a and b. 2967faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// WARNING: the scalar a and b must be positive 297c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// Therefore, if for some reason a and b are very small compared to ref, 298c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// we won't issue a false negative. 299c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// This test could be: abs(a-b) <= eps * ref 300c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// However, it seems that simply comparing a+ref and b+ref is more sensitive to true error. 301c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename Scalar,typename ScalarRef> 302c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isApproxWithRef(const Scalar& a, const Scalar& b, const ScalarRef& ref) 303c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 304c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return test_isApprox(a+ref, b+ref); 305c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 306c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 307c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename Derived1, typename Derived2> 308c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const MatrixBase<Derived1>& m1, 309c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath const MatrixBase<Derived2>& m2) 310c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 311c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return m1.isMuchSmallerThan(m2, test_precision<typename internal::traits<Derived1>::Scalar>()); 312c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 313c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 314c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename Derived> 315c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isMuchSmallerThan(const MatrixBase<Derived>& m, 316c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath const typename NumTraits<typename internal::traits<Derived>::Scalar>::Real& s) 317c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 318c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return m.isMuchSmallerThan(s, test_precision<typename internal::traits<Derived>::Scalar>()); 319c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 320c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 321c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename Derived> 322c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathinline bool test_isUnitary(const MatrixBase<Derived>& m) 323c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 324c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return m.isUnitary(test_precision<typename internal::traits<Derived>::Scalar>()); 325c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 326c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 3277faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// Forward declaration to avoid ICC warning 3287faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<typename T, typename U> 3297faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandezbool test_is_equal(const T& actual, const U& expected); 3307faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez 331c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename T, typename U> 332c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathbool test_is_equal(const T& actual, const U& expected) 333c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 334c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if (actual==expected) 335c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return true; 336c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // false: 337c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cerr 338c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath << std::endl << " actual = " << actual 339c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath << std::endl << " expected = " << expected << std::endl << std::endl; 340c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return false; 341c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 342c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 343c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath/** Creates a random Partial Isometry matrix of given rank. 344c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath * 345c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath * A partial isometry is a matrix all of whose singular values are either 0 or 1. 346c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath * This is very useful to test rank-revealing algorithms. 347c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath */ 3487faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// Forward declaration to avoid ICC warning 3497faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<typename MatrixType> 3507faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandezvoid createRandomPIMatrixOfRank(typename MatrixType::Index desired_rank, typename MatrixType::Index rows, typename MatrixType::Index cols, MatrixType& m); 351c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename MatrixType> 352c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathvoid createRandomPIMatrixOfRank(typename MatrixType::Index desired_rank, typename MatrixType::Index rows, typename MatrixType::Index cols, MatrixType& m) 353c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 354c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename internal::traits<MatrixType>::Index Index; 355c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename internal::traits<MatrixType>::Scalar Scalar; 356c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath enum { Rows = MatrixType::RowsAtCompileTime, Cols = MatrixType::ColsAtCompileTime }; 357c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 358c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef Matrix<Scalar, Dynamic, 1> VectorType; 359c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef Matrix<Scalar, Rows, Rows> MatrixAType; 360c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef Matrix<Scalar, Cols, Cols> MatrixBType; 361c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 362c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(desired_rank == 0) 363c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 364c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath m.setZero(rows,cols); 365c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return; 366c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 367c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 368c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(desired_rank == 1) 369c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 370c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // here we normalize the vectors to get a partial isometry 371c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath m = VectorType::Random(rows).normalized() * VectorType::Random(cols).normalized().transpose(); 372c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return; 373c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 374c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 375c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath MatrixAType a = MatrixAType::Random(rows,rows); 376c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath MatrixType d = MatrixType::Identity(rows,cols); 377c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath MatrixBType b = MatrixBType::Random(cols,cols); 378c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 379c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // set the diagonal such that only desired_rank non-zero entries reamain 380c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath const Index diag_size = (std::min)(d.rows(),d.cols()); 381c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(diag_size != desired_rank) 382c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath d.diagonal().segment(desired_rank, diag_size-desired_rank) = VectorType::Zero(diag_size-desired_rank); 383c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 384c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath HouseholderQR<MatrixAType> qra(a); 385c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath HouseholderQR<MatrixBType> qrb(b); 386c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath m = qra.householderQ() * d * qrb.householderQ(); 387c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 388c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 3897faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// Forward declaration to avoid ICC warning 3907faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<typename PermutationVectorType> 3917faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandezvoid randomPermutationVector(PermutationVectorType& v, typename PermutationVectorType::Index size); 392c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename PermutationVectorType> 393c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathvoid randomPermutationVector(PermutationVectorType& v, typename PermutationVectorType::Index size) 394c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 395c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename PermutationVectorType::Index Index; 396c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename PermutationVectorType::Scalar Scalar; 397c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath v.resize(size); 398c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for(Index i = 0; i < size; ++i) v(i) = Scalar(i); 399c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(size == 1) return; 400c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for(Index n = 0; n < 3 * size; ++n) 401c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 402c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Index i = internal::random<Index>(0, size-1); 403c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Index j; 404c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath do j = internal::random<Index>(0, size-1); while(j==i); 405c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::swap(v(i), v(j)); 406c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 407c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 408c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 409615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murraytemplate<typename T> bool isNotNaN(const T& x) 410615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray{ 411615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray return x==x; 412615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray} 413615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray 414615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murraytemplate<typename T> bool isNaN(const T& x) 415615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray{ 416615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray return x!=x; 417615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray} 418615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray 419615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murraytemplate<typename T> bool isInf(const T& x) 420615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray{ 421615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray return x > NumTraits<T>::highest(); 422615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray} 423615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray 424615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murraytemplate<typename T> bool isMinusInf(const T& x) 425615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray{ 426615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray return x < NumTraits<T>::lowest(); 427615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray} 428615d816d068b4d0f5e8df601930b5f160bf7eda1Tim Murray 429c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} // end namespace Eigen 430c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 431c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename T> struct GetDifferentType; 432c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 433c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> struct GetDifferentType<float> { typedef double type; }; 434c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> struct GetDifferentType<double> { typedef float type; }; 435c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename T> struct GetDifferentType<std::complex<T> > 436c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ typedef std::complex<typename GetDifferentType<T>::type> type; }; 437c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 4387faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// Forward declaration to avoid ICC warning 4397faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<typename T> std::string type_name(); 4407faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<typename T> std::string type_name() { return "other"; } 4417faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<> std::string type_name<float>() { return "float"; } 4427faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<> std::string type_name<double>() { return "double"; } 4437faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<> std::string type_name<int>() { return "int"; } 4447faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<> std::string type_name<std::complex<float> >() { return "complex<float>"; } 445c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<> std::string type_name<std::complex<double> >() { return "complex<double>"; } 4467faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandeztemplate<> std::string type_name<std::complex<int> >() { return "complex<int>"; } 447c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 448c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// forward declaration of the main test function 449c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathvoid EIGEN_CAT(test_,EIGEN_TEST_FUNC)(); 450c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 451c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathusing namespace Eigen; 452c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 4537faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandezinline void set_repeat_from_string(const char *str) 454c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 455c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath errno = 0; 456c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath g_repeat = int(strtoul(str, 0, 10)); 457c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(errno || g_repeat <= 0) 458c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 459c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "Invalid repeat value " << str << std::endl; 460c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath exit(EXIT_FAILURE); 461c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 462c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath g_has_set_repeat = true; 463c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 464c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 4657faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandezinline void set_seed_from_string(const char *str) 466c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 467c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath errno = 0; 4687faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez g_seed = int(strtoul(str, 0, 10)); 469c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(errno || g_seed == 0) 470c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 471c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "Invalid seed value " << str << std::endl; 472c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath exit(EXIT_FAILURE); 473c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 474c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath g_has_set_seed = true; 475c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 476c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 477c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathint main(int argc, char *argv[]) 478c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 479c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath g_has_set_repeat = false; 480c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath g_has_set_seed = false; 481c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath bool need_help = false; 482c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 483c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for(int i = 1; i < argc; i++) 484c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 485c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(argv[i][0] == 'r') 486c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 487c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(g_has_set_repeat) 488c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 489c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "Argument " << argv[i] << " conflicting with a former argument" << std::endl; 490c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return 1; 491c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 492c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath set_repeat_from_string(argv[i]+1); 493c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 494c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath else if(argv[i][0] == 's') 495c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 496c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(g_has_set_seed) 497c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 498c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "Argument " << argv[i] << " conflicting with a former argument" << std::endl; 499c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return 1; 500c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 501c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath set_seed_from_string(argv[i]+1); 502c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 503c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath else 504c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 505c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath need_help = true; 506c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 507c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 508c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 509c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(need_help) 510c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath { 511c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "This test application takes the following optional arguments:" << std::endl; 512c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << " rN Repeat each test N times (default: " << DEFAULT_REPEAT << ")" << std::endl; 513c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << " sN Use N as seed for random numbers (default: based on current time)" << std::endl; 514c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << std::endl; 515c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "If defined, the environment variables EIGEN_REPEAT and EIGEN_SEED" << std::endl; 516c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "will be used as default values for these parameters." << std::endl; 517c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return 1; 518c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 519c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 520c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath char *env_EIGEN_REPEAT = getenv("EIGEN_REPEAT"); 521c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(!g_has_set_repeat && env_EIGEN_REPEAT) 522c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath set_repeat_from_string(env_EIGEN_REPEAT); 523c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath char *env_EIGEN_SEED = getenv("EIGEN_SEED"); 524c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(!g_has_set_seed && env_EIGEN_SEED) 525c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath set_seed_from_string(env_EIGEN_SEED); 526c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 527c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(!g_has_set_seed) g_seed = (unsigned int) time(NULL); 528c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(!g_has_set_repeat) g_repeat = DEFAULT_REPEAT; 529c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 530c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "Initializing random number generator with seed " << g_seed << std::endl; 5317faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez std::stringstream ss; 5327faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez ss << "Seed: " << g_seed; 5337faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez g_test_stack.push_back(ss.str()); 534c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath srand(g_seed); 535c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath std::cout << "Repeating each test " << g_repeat << " times" << std::endl; 536c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 5377faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez Eigen::g_test_stack.push_back(std::string(EI_PP_MAKE_STRING(EIGEN_TEST_FUNC))); 538c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 539c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath EIGEN_CAT(test_,EIGEN_TEST_FUNC)(); 540c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath return 0; 541c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 5427faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez 5437faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez// These warning are disabled here such that they are still ON when parsing Eigen's header files. 5447faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez#if defined __INTEL_COMPILER 5457faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez // remark #383: value copied to temporary, reference to temporary used 5467faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez // -> this warning is raised even for legal usage as: g_test_stack.push_back("foo"); where g_test_stack is a std::vector<std::string> 5477faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez // remark #1418: external function definition with no prior declaration 5487faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez // -> this warning is raised for all our test functions. Declaring them static would fix the issue. 5497faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez // warning #279: controlling expression is constant 5507faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez // remark #1572: floating-point equality and inequality comparisons are unreliable 5517faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez #pragma warning disable 279 383 1418 1572 5527faaa9f3f0df9d23790277834d426c3d992ac3baCarlos Hernandez#endif 553