xref: /aosp_15_r20/external/eigen/test/boostmultiprec.cpp (revision bf2c37156dfe67e5dfebd6d394bad8b2ab5804d4)
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