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