1*bf2c3715SXin Li // This file is part of Eigen, a lightweight C++ template library
2*bf2c3715SXin Li // for linear algebra.
3*bf2c3715SXin Li //
4*bf2c3715SXin Li // Copyright (C) 2016 Gael Guennebaud <[email protected]>
5*bf2c3715SXin Li //
6*bf2c3715SXin Li // This Source Code Form is subject to the terms of the Mozilla
7*bf2c3715SXin Li // Public License v. 2.0. If a copy of the MPL was not distributed
8*bf2c3715SXin Li // with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
9*bf2c3715SXin Li
10*bf2c3715SXin Li #include <sstream>
11*bf2c3715SXin Li
12*bf2c3715SXin Li #ifdef EIGEN_TEST_MAX_SIZE
13*bf2c3715SXin Li #undef EIGEN_TEST_MAX_SIZE
14*bf2c3715SXin Li #endif
15*bf2c3715SXin Li
16*bf2c3715SXin Li #define EIGEN_TEST_MAX_SIZE 50
17*bf2c3715SXin Li
18*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_1
19*bf2c3715SXin Li #include "cholesky.cpp"
20*bf2c3715SXin Li #endif
21*bf2c3715SXin Li
22*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_2
23*bf2c3715SXin Li #include "lu.cpp"
24*bf2c3715SXin Li #endif
25*bf2c3715SXin Li
26*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_3
27*bf2c3715SXin Li #include "qr.cpp"
28*bf2c3715SXin Li #endif
29*bf2c3715SXin Li
30*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_4
31*bf2c3715SXin Li #include "qr_colpivoting.cpp"
32*bf2c3715SXin Li #endif
33*bf2c3715SXin Li
34*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_5
35*bf2c3715SXin Li #include "qr_fullpivoting.cpp"
36*bf2c3715SXin Li #endif
37*bf2c3715SXin Li
38*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_6
39*bf2c3715SXin Li #include "eigensolver_selfadjoint.cpp"
40*bf2c3715SXin Li #endif
41*bf2c3715SXin Li
42*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_7
43*bf2c3715SXin Li #include "eigensolver_generic.cpp"
44*bf2c3715SXin Li #endif
45*bf2c3715SXin Li
46*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_8
47*bf2c3715SXin Li #include "eigensolver_generalized_real.cpp"
48*bf2c3715SXin Li #endif
49*bf2c3715SXin Li
50*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_9
51*bf2c3715SXin Li #include "jacobisvd.cpp"
52*bf2c3715SXin Li #endif
53*bf2c3715SXin Li
54*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_10
55*bf2c3715SXin Li #include "bdcsvd.cpp"
56*bf2c3715SXin Li #endif
57*bf2c3715SXin Li
58*bf2c3715SXin Li #ifdef EIGEN_TEST_PART_11
59*bf2c3715SXin Li #include "simplicial_cholesky.cpp"
60*bf2c3715SXin Li #endif
61*bf2c3715SXin Li
62*bf2c3715SXin Li #include <Eigen/Dense>
63*bf2c3715SXin Li
64*bf2c3715SXin Li #undef min
65*bf2c3715SXin Li #undef max
66*bf2c3715SXin Li #undef isnan
67*bf2c3715SXin Li #undef isinf
68*bf2c3715SXin Li #undef isfinite
69*bf2c3715SXin Li #undef I
70*bf2c3715SXin Li
71*bf2c3715SXin Li #include <boost/serialization/nvp.hpp>
72*bf2c3715SXin Li #include <boost/multiprecision/cpp_dec_float.hpp>
73*bf2c3715SXin Li #include <boost/multiprecision/number.hpp>
74*bf2c3715SXin Li #include <boost/math/special_functions.hpp>
75*bf2c3715SXin Li #include <boost/math/complex.hpp>
76*bf2c3715SXin Li
77*bf2c3715SXin Li namespace mp = boost::multiprecision;
78*bf2c3715SXin Li typedef mp::number<mp::cpp_dec_float<100>, mp::et_on> Real;
79*bf2c3715SXin Li
80*bf2c3715SXin Li namespace Eigen {
81*bf2c3715SXin Li template<> struct NumTraits<Real> : GenericNumTraits<Real> {
dummy_precisionEigen::NumTraits82*bf2c3715SXin Li static inline Real dummy_precision() { return 1e-50; }
83*bf2c3715SXin Li };
84*bf2c3715SXin Li
85*bf2c3715SXin Li template<typename T1,typename T2,typename T3,typename T4,typename T5>
86*bf2c3715SXin Li struct NumTraits<boost::multiprecision::detail::expression<T1,T2,T3,T4,T5> > : NumTraits<Real> {};
87*bf2c3715SXin Li
88*bf2c3715SXin Li template<>
test_precision()89*bf2c3715SXin Li Real test_precision<Real>() { return 1e-50; }
90*bf2c3715SXin Li
91*bf2c3715SXin Li // needed in C++93 mode where number does not support explicit cast.
92*bf2c3715SXin Li namespace internal {
93*bf2c3715SXin Li template<typename NewType>
94*bf2c3715SXin Li struct cast_impl<Real,NewType> {
runEigen::internal::cast_impl95*bf2c3715SXin Li static inline NewType run(const Real& x) {
96*bf2c3715SXin Li return x.template convert_to<NewType>();
97*bf2c3715SXin Li }
98*bf2c3715SXin Li };
99*bf2c3715SXin Li
100*bf2c3715SXin Li template<>
101*bf2c3715SXin Li struct cast_impl<Real,std::complex<Real> > {
runEigen::internal::cast_impl102*bf2c3715SXin Li static inline std::complex<Real> run(const Real& x) {
103*bf2c3715SXin Li return std::complex<Real>(x);
104*bf2c3715SXin Li }
105*bf2c3715SXin Li };
106*bf2c3715SXin Li }
107*bf2c3715SXin Li }
108*bf2c3715SXin Li
109*bf2c3715SXin Li namespace boost {
110*bf2c3715SXin Li namespace multiprecision {
111*bf2c3715SXin Li // to make ADL works as expected:
112*bf2c3715SXin Li using boost::math::isfinite;
113*bf2c3715SXin Li using boost::math::isnan;
114*bf2c3715SXin Li using boost::math::isinf;
115*bf2c3715SXin Li using boost::math::copysign;
116*bf2c3715SXin Li using boost::math::hypot;
117*bf2c3715SXin Li
118*bf2c3715SXin Li // The following is needed for std::complex<Real>:
fabs(const Real & a)119*bf2c3715SXin Li Real fabs(const Real& a) { return abs EIGEN_NOT_A_MACRO (a); }
fmax(const Real & a,const Real & b)120*bf2c3715SXin Li Real fmax(const Real& a, const Real& b) { using std::max; return max(a,b); }
121*bf2c3715SXin Li
122*bf2c3715SXin Li // some specialization for the unit tests:
test_isMuchSmallerThan(const Real & a,const Real & b)123*bf2c3715SXin Li inline bool test_isMuchSmallerThan(const Real& a, const Real& b) {
124*bf2c3715SXin Li return internal::isMuchSmallerThan(a, b, test_precision<Real>());
125*bf2c3715SXin Li }
126*bf2c3715SXin Li
test_isApprox(const Real & a,const Real & b)127*bf2c3715SXin Li inline bool test_isApprox(const Real& a, const Real& b) {
128*bf2c3715SXin Li return internal::isApprox(a, b, test_precision<Real>());
129*bf2c3715SXin Li }
130*bf2c3715SXin Li
test_isApproxOrLessThan(const Real & a,const Real & b)131*bf2c3715SXin Li inline bool test_isApproxOrLessThan(const Real& a, const Real& b) {
132*bf2c3715SXin Li return internal::isApproxOrLessThan(a, b, test_precision<Real>());
133*bf2c3715SXin Li }
134*bf2c3715SXin Li
get_test_precision(const Real &)135*bf2c3715SXin Li Real get_test_precision(const Real&) {
136*bf2c3715SXin Li return test_precision<Real>();
137*bf2c3715SXin Li }
138*bf2c3715SXin Li
test_relative_error(const Real & a,const Real & b)139*bf2c3715SXin Li Real test_relative_error(const Real &a, const Real &b) {
140*bf2c3715SXin Li using Eigen::numext::abs2;
141*bf2c3715SXin Li return sqrt(abs2<Real>(a-b)/Eigen::numext::mini<Real>(abs2(a),abs2(b)));
142*bf2c3715SXin Li }
143*bf2c3715SXin Li }
144*bf2c3715SXin Li }
145*bf2c3715SXin Li
146*bf2c3715SXin Li namespace Eigen {
147*bf2c3715SXin Li
148*bf2c3715SXin Li }
149*bf2c3715SXin Li
EIGEN_DECLARE_TEST(boostmultiprec)150*bf2c3715SXin Li EIGEN_DECLARE_TEST(boostmultiprec)
151*bf2c3715SXin Li {
152*bf2c3715SXin Li typedef Matrix<Real,Dynamic,Dynamic> Mat;
153*bf2c3715SXin Li typedef Matrix<std::complex<Real>,Dynamic,Dynamic> MatC;
154*bf2c3715SXin Li
155*bf2c3715SXin Li std::cout << "NumTraits<Real>::epsilon() = " << NumTraits<Real>::epsilon() << std::endl;
156*bf2c3715SXin Li std::cout << "NumTraits<Real>::dummy_precision() = " << NumTraits<Real>::dummy_precision() << std::endl;
157*bf2c3715SXin Li std::cout << "NumTraits<Real>::lowest() = " << NumTraits<Real>::lowest() << std::endl;
158*bf2c3715SXin Li std::cout << "NumTraits<Real>::highest() = " << NumTraits<Real>::highest() << std::endl;
159*bf2c3715SXin Li std::cout << "NumTraits<Real>::digits10() = " << NumTraits<Real>::digits10() << std::endl;
160*bf2c3715SXin Li
161*bf2c3715SXin Li // check stream output
162*bf2c3715SXin Li {
163*bf2c3715SXin Li Mat A(10,10);
164*bf2c3715SXin Li A.setRandom();
165*bf2c3715SXin Li std::stringstream ss;
166*bf2c3715SXin Li ss << A;
167*bf2c3715SXin Li }
168*bf2c3715SXin Li {
169*bf2c3715SXin Li MatC A(10,10);
170*bf2c3715SXin Li A.setRandom();
171*bf2c3715SXin Li std::stringstream ss;
172*bf2c3715SXin Li ss << A;
173*bf2c3715SXin Li }
174*bf2c3715SXin Li
175*bf2c3715SXin Li for(int i = 0; i < g_repeat; i++) {
176*bf2c3715SXin Li int s = internal::random<int>(1,EIGEN_TEST_MAX_SIZE);
177*bf2c3715SXin Li
178*bf2c3715SXin Li CALL_SUBTEST_1( cholesky(Mat(s,s)) );
179*bf2c3715SXin Li
180*bf2c3715SXin Li CALL_SUBTEST_2( lu_non_invertible<Mat>() );
181*bf2c3715SXin Li CALL_SUBTEST_2( lu_invertible<Mat>() );
182*bf2c3715SXin Li CALL_SUBTEST_2( lu_non_invertible<MatC>() );
183*bf2c3715SXin Li CALL_SUBTEST_2( lu_invertible<MatC>() );
184*bf2c3715SXin Li
185*bf2c3715SXin Li CALL_SUBTEST_3( qr(Mat(internal::random<int>(1,EIGEN_TEST_MAX_SIZE),internal::random<int>(1,EIGEN_TEST_MAX_SIZE))) );
186*bf2c3715SXin Li CALL_SUBTEST_3( qr_invertible<Mat>() );
187*bf2c3715SXin Li
188*bf2c3715SXin Li CALL_SUBTEST_4( qr<Mat>() );
189*bf2c3715SXin Li CALL_SUBTEST_4( cod<Mat>() );
190*bf2c3715SXin Li CALL_SUBTEST_4( qr_invertible<Mat>() );
191*bf2c3715SXin Li
192*bf2c3715SXin Li CALL_SUBTEST_5( qr<Mat>() );
193*bf2c3715SXin Li CALL_SUBTEST_5( qr_invertible<Mat>() );
194*bf2c3715SXin Li
195*bf2c3715SXin Li CALL_SUBTEST_6( selfadjointeigensolver(Mat(s,s)) );
196*bf2c3715SXin Li
197*bf2c3715SXin Li CALL_SUBTEST_7( eigensolver(Mat(s,s)) );
198*bf2c3715SXin Li
199*bf2c3715SXin Li CALL_SUBTEST_8( generalized_eigensolver_real(Mat(s,s)) );
200*bf2c3715SXin Li
201*bf2c3715SXin Li TEST_SET_BUT_UNUSED_VARIABLE(s)
202*bf2c3715SXin Li }
203*bf2c3715SXin Li
204*bf2c3715SXin Li CALL_SUBTEST_9(( jacobisvd(Mat(internal::random<int>(EIGEN_TEST_MAX_SIZE/4, EIGEN_TEST_MAX_SIZE), internal::random<int>(EIGEN_TEST_MAX_SIZE/4, EIGEN_TEST_MAX_SIZE/2))) ));
205*bf2c3715SXin Li CALL_SUBTEST_10(( bdcsvd(Mat(internal::random<int>(EIGEN_TEST_MAX_SIZE/4, EIGEN_TEST_MAX_SIZE), internal::random<int>(EIGEN_TEST_MAX_SIZE/4, EIGEN_TEST_MAX_SIZE/2))) ));
206*bf2c3715SXin Li
207*bf2c3715SXin Li CALL_SUBTEST_11(( test_simplicial_cholesky_T<Real,int,ColMajor>() ));
208*bf2c3715SXin Li }
209