Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(26)

Side by Side Diff: third_party/libcxx/include/complex

Issue 75213003: Add libc++ and libc++abi to third-party. (Closed) Base URL: https://src.chromium.org/chrome/trunk/src/
Patch Set: Created 7 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
(Empty)
1 // -*- C++ -*-
2 //===--------------------------- complex ----------------------------------===//
3 //
4 // The LLVM Compiler Infrastructure
5 //
6 // This file is dual licensed under the MIT and the University of Illinois Open
7 // Source Licenses. See LICENSE.TXT for details.
8 //
9 //===----------------------------------------------------------------------===//
10
11 #ifndef _LIBCPP_COMPLEX
12 #define _LIBCPP_COMPLEX
13
14 /*
15 complex synopsis
16
17 namespace std
18 {
19
20 template<class T>
21 class complex
22 {
23 public:
24 typedef T value_type;
25
26 complex(const T& re = T(), const T& im = T()); // constexpr in C++14
27 complex(const complex&); // constexpr in C++14
28 template<class X> complex(const complex<X>&); // constexpr in C++14
29
30 T real() const; // constexpr in C++14
31 T imag() const; // constexpr in C++14
32
33 void real(T);
34 void imag(T);
35
36 complex<T>& operator= (const T&);
37 complex<T>& operator+=(const T&);
38 complex<T>& operator-=(const T&);
39 complex<T>& operator*=(const T&);
40 complex<T>& operator/=(const T&);
41
42 complex& operator=(const complex&);
43 template<class X> complex<T>& operator= (const complex<X>&);
44 template<class X> complex<T>& operator+=(const complex<X>&);
45 template<class X> complex<T>& operator-=(const complex<X>&);
46 template<class X> complex<T>& operator*=(const complex<X>&);
47 template<class X> complex<T>& operator/=(const complex<X>&);
48 };
49
50 template<>
51 class complex<float>
52 {
53 public:
54 typedef float value_type;
55
56 constexpr complex(float re = 0.0f, float im = 0.0f);
57 explicit constexpr complex(const complex<double>&);
58 explicit constexpr complex(const complex<long double>&);
59
60 constexpr float real() const;
61 void real(float);
62 constexpr float imag() const;
63 void imag(float);
64
65 complex<float>& operator= (float);
66 complex<float>& operator+=(float);
67 complex<float>& operator-=(float);
68 complex<float>& operator*=(float);
69 complex<float>& operator/=(float);
70
71 complex<float>& operator=(const complex<float>&);
72 template<class X> complex<float>& operator= (const complex<X>&);
73 template<class X> complex<float>& operator+=(const complex<X>&);
74 template<class X> complex<float>& operator-=(const complex<X>&);
75 template<class X> complex<float>& operator*=(const complex<X>&);
76 template<class X> complex<float>& operator/=(const complex<X>&);
77 };
78
79 template<>
80 class complex<double>
81 {
82 public:
83 typedef double value_type;
84
85 constexpr complex(double re = 0.0, double im = 0.0);
86 constexpr complex(const complex<float>&);
87 explicit constexpr complex(const complex<long double>&);
88
89 constexpr double real() const;
90 void real(double);
91 constexpr double imag() const;
92 void imag(double);
93
94 complex<double>& operator= (double);
95 complex<double>& operator+=(double);
96 complex<double>& operator-=(double);
97 complex<double>& operator*=(double);
98 complex<double>& operator/=(double);
99 complex<double>& operator=(const complex<double>&);
100
101 template<class X> complex<double>& operator= (const complex<X>&);
102 template<class X> complex<double>& operator+=(const complex<X>&);
103 template<class X> complex<double>& operator-=(const complex<X>&);
104 template<class X> complex<double>& operator*=(const complex<X>&);
105 template<class X> complex<double>& operator/=(const complex<X>&);
106 };
107
108 template<>
109 class complex<long double>
110 {
111 public:
112 typedef long double value_type;
113
114 constexpr complex(long double re = 0.0L, long double im = 0.0L);
115 constexpr complex(const complex<float>&);
116 constexpr complex(const complex<double>&);
117
118 constexpr long double real() const;
119 void real(long double);
120 constexpr long double imag() const;
121 void imag(long double);
122
123 complex<long double>& operator=(const complex<long double>&);
124 complex<long double>& operator= (long double);
125 complex<long double>& operator+=(long double);
126 complex<long double>& operator-=(long double);
127 complex<long double>& operator*=(long double);
128 complex<long double>& operator/=(long double);
129
130 template<class X> complex<long double>& operator= (const complex<X>&);
131 template<class X> complex<long double>& operator+=(const complex<X>&);
132 template<class X> complex<long double>& operator-=(const complex<X>&);
133 template<class X> complex<long double>& operator*=(const complex<X>&);
134 template<class X> complex<long double>& operator/=(const complex<X>&);
135 };
136
137 // 26.3.6 operators:
138 template<class T> complex<T> operator+(const complex<T>&, const complex<T>&);
139 template<class T> complex<T> operator+(const complex<T>&, const T&);
140 template<class T> complex<T> operator+(const T&, const complex<T>&);
141 template<class T> complex<T> operator-(const complex<T>&, const complex<T>&);
142 template<class T> complex<T> operator-(const complex<T>&, const T&);
143 template<class T> complex<T> operator-(const T&, const complex<T>&);
144 template<class T> complex<T> operator*(const complex<T>&, const complex<T>&);
145 template<class T> complex<T> operator*(const complex<T>&, const T&);
146 template<class T> complex<T> operator*(const T&, const complex<T>&);
147 template<class T> complex<T> operator/(const complex<T>&, const complex<T>&);
148 template<class T> complex<T> operator/(const complex<T>&, const T&);
149 template<class T> complex<T> operator/(const T&, const complex<T>&);
150 template<class T> complex<T> operator+(const complex<T>&);
151 template<class T> complex<T> operator-(const complex<T>&);
152 template<class T> bool operator==(const complex<T>&, const complex<T>&); // cons texpr in C++14
153 template<class T> bool operator==(const complex<T>&, const T&); // constexpr in C++14
154 template<class T> bool operator==(const T&, const complex<T>&); // constexpr in C++14
155 template<class T> bool operator!=(const complex<T>&, const complex<T>&); // cons texpr in C++14
156 template<class T> bool operator!=(const complex<T>&, const T&); // constexpr in C++14
157 template<class T> bool operator!=(const T&, const complex<T>&); // constexpr in C++14
158
159 template<class T, class charT, class traits>
160 basic_istream<charT, traits>&
161 operator>>(basic_istream<charT, traits>&, complex<T>&);
162 template<class T, class charT, class traits>
163 basic_ostream<charT, traits>&
164 operator<<(basic_ostream<charT, traits>&, const complex<T>&);
165
166 // 26.3.7 values:
167
168 template<class T> T real(const complex<T>&); // constexpr in C++14
169 long double real(long double); // constexpr in C++14
170 double real(double); // constexpr in C++14
171 template<Integral T> double real(T); // constexpr in C++14
172 float real(float); // constexpr in C++14
173
174 template<class T> T imag(const complex<T>&); // constexpr in C++14
175 long double imag(long double); // constexpr in C++14
176 double imag(double); // constexpr in C++14
177 template<Integral T> double imag(T); // constexpr in C++14
178 float imag(float); // constexpr in C++14
179
180 template<class T> T abs(const complex<T>&);
181
182 template<class T> T arg(const complex<T>&);
183 long double arg(long double);
184 double arg(double);
185 template<Integral T> double arg(T);
186 float arg(float);
187
188 template<class T> T norm(const complex<T>&);
189 long double norm(long double);
190 double norm(double);
191 template<Integral T> double norm(T);
192 float norm(float);
193
194 template<class T> complex<T> conj(const complex<T>&);
195 complex<long double> conj(long double);
196 complex<double> conj(double);
197 template<Integral T> complex<double> conj(T);
198 complex<float> conj(float);
199
200 template<class T> complex<T> proj(const complex<T>&);
201 complex<long double> proj(long double);
202 complex<double> proj(double);
203 template<Integral T> complex<double> proj(T);
204 complex<float> proj(float);
205
206 template<class T> complex<T> polar(const T&, const T& = 0);
207
208 // 26.3.8 transcendentals:
209 template<class T> complex<T> acos(const complex<T>&);
210 template<class T> complex<T> asin(const complex<T>&);
211 template<class T> complex<T> atan(const complex<T>&);
212 template<class T> complex<T> acosh(const complex<T>&);
213 template<class T> complex<T> asinh(const complex<T>&);
214 template<class T> complex<T> atanh(const complex<T>&);
215 template<class T> complex<T> cos (const complex<T>&);
216 template<class T> complex<T> cosh (const complex<T>&);
217 template<class T> complex<T> exp (const complex<T>&);
218 template<class T> complex<T> log (const complex<T>&);
219 template<class T> complex<T> log10(const complex<T>&);
220
221 template<class T> complex<T> pow(const complex<T>&, const T&);
222 template<class T> complex<T> pow(const complex<T>&, const complex<T>&);
223 template<class T> complex<T> pow(const T&, const complex<T>&);
224
225 template<class T> complex<T> sin (const complex<T>&);
226 template<class T> complex<T> sinh (const complex<T>&);
227 template<class T> complex<T> sqrt (const complex<T>&);
228 template<class T> complex<T> tan (const complex<T>&);
229 template<class T> complex<T> tanh (const complex<T>&);
230
231 template<class T, class charT, class traits>
232 basic_istream<charT, traits>&
233 operator>>(basic_istream<charT, traits>& is, complex<T>& x);
234
235 template<class T, class charT, class traits>
236 basic_ostream<charT, traits>&
237 operator<<(basic_ostream<charT, traits>& o, const complex<T>& x);
238
239 } // std
240
241 */
242
243 #include <__config>
244 #include <type_traits>
245 #include <stdexcept>
246 #include <cmath>
247 #include <sstream>
248 #if defined(_LIBCPP_NO_EXCEPTIONS)
249 #include <cassert>
250 #endif
251
252 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
253 #pragma GCC system_header
254 #endif
255
256 _LIBCPP_BEGIN_NAMESPACE_STD
257
258 template<class _Tp> class _LIBCPP_TYPE_VIS_ONLY complex;
259
260 template<class _Tp> complex<_Tp> operator*(const complex<_Tp>& __z, const comple x<_Tp>& __w);
261 template<class _Tp> complex<_Tp> operator/(const complex<_Tp>& __x, const comple x<_Tp>& __y);
262
263 template<class _Tp>
264 class _LIBCPP_TYPE_VIS_ONLY complex
265 {
266 public:
267 typedef _Tp value_type;
268 private:
269 value_type __re_;
270 value_type __im_;
271 public:
272 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
273 complex(const value_type& __re = value_type(), const value_type& __im = valu e_type())
274 : __re_(__re), __im_(__im) {}
275 template<class _Xp> _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
276 complex(const complex<_Xp>& __c)
277 : __re_(__c.real()), __im_(__c.imag()) {}
278
279 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 value_type real() co nst {return __re_;}
280 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11 value_type imag() co nst {return __im_;}
281
282 _LIBCPP_INLINE_VISIBILITY void real(value_type __re) {__re_ = __re;}
283 _LIBCPP_INLINE_VISIBILITY void imag(value_type __im) {__im_ = __im;}
284
285 _LIBCPP_INLINE_VISIBILITY complex& operator= (const value_type& __re)
286 {__re_ = __re; __im_ = value_type(); return *this;}
287 _LIBCPP_INLINE_VISIBILITY complex& operator+=(const value_type& __re) {__re_ += __re; return *this;}
288 _LIBCPP_INLINE_VISIBILITY complex& operator-=(const value_type& __re) {__re_ -= __re; return *this;}
289 _LIBCPP_INLINE_VISIBILITY complex& operator*=(const value_type& __re) {__re_ *= __re; __im_ *= __re; return *this;}
290 _LIBCPP_INLINE_VISIBILITY complex& operator/=(const value_type& __re) {__re_ /= __re; __im_ /= __re; return *this;}
291
292 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator= (const comp lex<_Xp>& __c)
293 {
294 __re_ = __c.real();
295 __im_ = __c.imag();
296 return *this;
297 }
298 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator+=(const comp lex<_Xp>& __c)
299 {
300 __re_ += __c.real();
301 __im_ += __c.imag();
302 return *this;
303 }
304 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator-=(const comp lex<_Xp>& __c)
305 {
306 __re_ -= __c.real();
307 __im_ -= __c.imag();
308 return *this;
309 }
310 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator*=(const comp lex<_Xp>& __c)
311 {
312 *this = *this * complex(__c.real(), __c.imag());
313 return *this;
314 }
315 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator/=(const comp lex<_Xp>& __c)
316 {
317 *this = *this / complex(__c.real(), __c.imag());
318 return *this;
319 }
320 };
321
322 template<> class _LIBCPP_TYPE_VIS_ONLY complex<double>;
323 template<> class _LIBCPP_TYPE_VIS_ONLY complex<long double>;
324
325 template<>
326 class _LIBCPP_TYPE_VIS_ONLY complex<float>
327 {
328 float __re_;
329 float __im_;
330 public:
331 typedef float value_type;
332
333 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR complex(float __re = 0.0f, float __im = 0.0f)
334 : __re_(__re), __im_(__im) {}
335 explicit _LIBCPP_CONSTEXPR complex(const complex<double>& __c);
336 explicit _LIBCPP_CONSTEXPR complex(const complex<long double>& __c);
337
338 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR float real() const {return __re_ ;}
339 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR float imag() const {return __im_ ;}
340
341 _LIBCPP_INLINE_VISIBILITY void real(value_type __re) {__re_ = __re;}
342 _LIBCPP_INLINE_VISIBILITY void imag(value_type __im) {__im_ = __im;}
343
344 _LIBCPP_INLINE_VISIBILITY complex& operator= (float __re)
345 {__re_ = __re; __im_ = value_type(); return *this;}
346 _LIBCPP_INLINE_VISIBILITY complex& operator+=(float __re) {__re_ += __re; re turn *this;}
347 _LIBCPP_INLINE_VISIBILITY complex& operator-=(float __re) {__re_ -= __re; re turn *this;}
348 _LIBCPP_INLINE_VISIBILITY complex& operator*=(float __re) {__re_ *= __re; __ im_ *= __re; return *this;}
349 _LIBCPP_INLINE_VISIBILITY complex& operator/=(float __re) {__re_ /= __re; __ im_ /= __re; return *this;}
350
351 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator= (const comp lex<_Xp>& __c)
352 {
353 __re_ = __c.real();
354 __im_ = __c.imag();
355 return *this;
356 }
357 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator+=(const comp lex<_Xp>& __c)
358 {
359 __re_ += __c.real();
360 __im_ += __c.imag();
361 return *this;
362 }
363 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator-=(const comp lex<_Xp>& __c)
364 {
365 __re_ -= __c.real();
366 __im_ -= __c.imag();
367 return *this;
368 }
369 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator*=(const comp lex<_Xp>& __c)
370 {
371 *this = *this * complex(__c.real(), __c.imag());
372 return *this;
373 }
374 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator/=(const comp lex<_Xp>& __c)
375 {
376 *this = *this / complex(__c.real(), __c.imag());
377 return *this;
378 }
379 };
380
381 template<>
382 class _LIBCPP_TYPE_VIS_ONLY complex<double>
383 {
384 double __re_;
385 double __im_;
386 public:
387 typedef double value_type;
388
389 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR complex(double __re = 0.0, doubl e __im = 0.0)
390 : __re_(__re), __im_(__im) {}
391 _LIBCPP_CONSTEXPR complex(const complex<float>& __c);
392 explicit _LIBCPP_CONSTEXPR complex(const complex<long double>& __c);
393
394 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR double real() const {return __re _;}
395 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR double imag() const {return __im _;}
396
397 _LIBCPP_INLINE_VISIBILITY void real(value_type __re) {__re_ = __re;}
398 _LIBCPP_INLINE_VISIBILITY void imag(value_type __im) {__im_ = __im;}
399
400 _LIBCPP_INLINE_VISIBILITY complex& operator= (double __re)
401 {__re_ = __re; __im_ = value_type(); return *this;}
402 _LIBCPP_INLINE_VISIBILITY complex& operator+=(double __re) {__re_ += __re; r eturn *this;}
403 _LIBCPP_INLINE_VISIBILITY complex& operator-=(double __re) {__re_ -= __re; r eturn *this;}
404 _LIBCPP_INLINE_VISIBILITY complex& operator*=(double __re) {__re_ *= __re; _ _im_ *= __re; return *this;}
405 _LIBCPP_INLINE_VISIBILITY complex& operator/=(double __re) {__re_ /= __re; _ _im_ /= __re; return *this;}
406
407 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator= (const comp lex<_Xp>& __c)
408 {
409 __re_ = __c.real();
410 __im_ = __c.imag();
411 return *this;
412 }
413 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator+=(const comp lex<_Xp>& __c)
414 {
415 __re_ += __c.real();
416 __im_ += __c.imag();
417 return *this;
418 }
419 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator-=(const comp lex<_Xp>& __c)
420 {
421 __re_ -= __c.real();
422 __im_ -= __c.imag();
423 return *this;
424 }
425 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator*=(const comp lex<_Xp>& __c)
426 {
427 *this = *this * complex(__c.real(), __c.imag());
428 return *this;
429 }
430 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator/=(const comp lex<_Xp>& __c)
431 {
432 *this = *this / complex(__c.real(), __c.imag());
433 return *this;
434 }
435 };
436
437 template<>
438 class _LIBCPP_TYPE_VIS_ONLY complex<long double>
439 {
440 long double __re_;
441 long double __im_;
442 public:
443 typedef long double value_type;
444
445 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR complex(long double __re = 0.0L, long double __im = 0.0L)
446 : __re_(__re), __im_(__im) {}
447 _LIBCPP_CONSTEXPR complex(const complex<float>& __c);
448 _LIBCPP_CONSTEXPR complex(const complex<double>& __c);
449
450 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR long double real() const {return __re_;}
451 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR long double imag() const {return __im_;}
452
453 _LIBCPP_INLINE_VISIBILITY void real(value_type __re) {__re_ = __re;}
454 _LIBCPP_INLINE_VISIBILITY void imag(value_type __im) {__im_ = __im;}
455
456 _LIBCPP_INLINE_VISIBILITY complex& operator= (long double __re)
457 {__re_ = __re; __im_ = value_type(); return *this;}
458 _LIBCPP_INLINE_VISIBILITY complex& operator+=(long double __re) {__re_ += __ re; return *this;}
459 _LIBCPP_INLINE_VISIBILITY complex& operator-=(long double __re) {__re_ -= __ re; return *this;}
460 _LIBCPP_INLINE_VISIBILITY complex& operator*=(long double __re) {__re_ *= __ re; __im_ *= __re; return *this;}
461 _LIBCPP_INLINE_VISIBILITY complex& operator/=(long double __re) {__re_ /= __ re; __im_ /= __re; return *this;}
462
463 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator= (const comp lex<_Xp>& __c)
464 {
465 __re_ = __c.real();
466 __im_ = __c.imag();
467 return *this;
468 }
469 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator+=(const comp lex<_Xp>& __c)
470 {
471 __re_ += __c.real();
472 __im_ += __c.imag();
473 return *this;
474 }
475 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator-=(const comp lex<_Xp>& __c)
476 {
477 __re_ -= __c.real();
478 __im_ -= __c.imag();
479 return *this;
480 }
481 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator*=(const comp lex<_Xp>& __c)
482 {
483 *this = *this * complex(__c.real(), __c.imag());
484 return *this;
485 }
486 template<class _Xp> _LIBCPP_INLINE_VISIBILITY complex& operator/=(const comp lex<_Xp>& __c)
487 {
488 *this = *this / complex(__c.real(), __c.imag());
489 return *this;
490 }
491 };
492
493 inline _LIBCPP_INLINE_VISIBILITY
494 _LIBCPP_CONSTEXPR
495 complex<float>::complex(const complex<double>& __c)
496 : __re_(__c.real()), __im_(__c.imag()) {}
497
498 inline _LIBCPP_INLINE_VISIBILITY
499 _LIBCPP_CONSTEXPR
500 complex<float>::complex(const complex<long double>& __c)
501 : __re_(__c.real()), __im_(__c.imag()) {}
502
503 inline _LIBCPP_INLINE_VISIBILITY
504 _LIBCPP_CONSTEXPR
505 complex<double>::complex(const complex<float>& __c)
506 : __re_(__c.real()), __im_(__c.imag()) {}
507
508 inline _LIBCPP_INLINE_VISIBILITY
509 _LIBCPP_CONSTEXPR
510 complex<double>::complex(const complex<long double>& __c)
511 : __re_(__c.real()), __im_(__c.imag()) {}
512
513 inline _LIBCPP_INLINE_VISIBILITY
514 _LIBCPP_CONSTEXPR
515 complex<long double>::complex(const complex<float>& __c)
516 : __re_(__c.real()), __im_(__c.imag()) {}
517
518 inline _LIBCPP_INLINE_VISIBILITY
519 _LIBCPP_CONSTEXPR
520 complex<long double>::complex(const complex<double>& __c)
521 : __re_(__c.real()), __im_(__c.imag()) {}
522
523 // 26.3.6 operators:
524
525 template<class _Tp>
526 inline _LIBCPP_INLINE_VISIBILITY
527 complex<_Tp>
528 operator+(const complex<_Tp>& __x, const complex<_Tp>& __y)
529 {
530 complex<_Tp> __t(__x);
531 __t += __y;
532 return __t;
533 }
534
535 template<class _Tp>
536 inline _LIBCPP_INLINE_VISIBILITY
537 complex<_Tp>
538 operator+(const complex<_Tp>& __x, const _Tp& __y)
539 {
540 complex<_Tp> __t(__x);
541 __t += __y;
542 return __t;
543 }
544
545 template<class _Tp>
546 inline _LIBCPP_INLINE_VISIBILITY
547 complex<_Tp>
548 operator+(const _Tp& __x, const complex<_Tp>& __y)
549 {
550 complex<_Tp> __t(__y);
551 __t += __x;
552 return __t;
553 }
554
555 template<class _Tp>
556 inline _LIBCPP_INLINE_VISIBILITY
557 complex<_Tp>
558 operator-(const complex<_Tp>& __x, const complex<_Tp>& __y)
559 {
560 complex<_Tp> __t(__x);
561 __t -= __y;
562 return __t;
563 }
564
565 template<class _Tp>
566 inline _LIBCPP_INLINE_VISIBILITY
567 complex<_Tp>
568 operator-(const complex<_Tp>& __x, const _Tp& __y)
569 {
570 complex<_Tp> __t(__x);
571 __t -= __y;
572 return __t;
573 }
574
575 template<class _Tp>
576 inline _LIBCPP_INLINE_VISIBILITY
577 complex<_Tp>
578 operator-(const _Tp& __x, const complex<_Tp>& __y)
579 {
580 complex<_Tp> __t(-__y);
581 __t += __x;
582 return __t;
583 }
584
585 template<class _Tp>
586 complex<_Tp>
587 operator*(const complex<_Tp>& __z, const complex<_Tp>& __w)
588 {
589 _Tp __a = __z.real();
590 _Tp __b = __z.imag();
591 _Tp __c = __w.real();
592 _Tp __d = __w.imag();
593 _Tp __ac = __a * __c;
594 _Tp __bd = __b * __d;
595 _Tp __ad = __a * __d;
596 _Tp __bc = __b * __c;
597 _Tp __x = __ac - __bd;
598 _Tp __y = __ad + __bc;
599 if (isnan(__x) && isnan(__y))
600 {
601 bool __recalc = false;
602 if (isinf(__a) || isinf(__b))
603 {
604 __a = copysign(isinf(__a) ? _Tp(1) : _Tp(0), __a);
605 __b = copysign(isinf(__b) ? _Tp(1) : _Tp(0), __b);
606 if (isnan(__c))
607 __c = copysign(_Tp(0), __c);
608 if (isnan(__d))
609 __d = copysign(_Tp(0), __d);
610 __recalc = true;
611 }
612 if (isinf(__c) || isinf(__d))
613 {
614 __c = copysign(isinf(__c) ? _Tp(1) : _Tp(0), __c);
615 __d = copysign(isinf(__d) ? _Tp(1) : _Tp(0), __d);
616 if (isnan(__a))
617 __a = copysign(_Tp(0), __a);
618 if (isnan(__b))
619 __b = copysign(_Tp(0), __b);
620 __recalc = true;
621 }
622 if (!__recalc && (isinf(__ac) || isinf(__bd) ||
623 isinf(__ad) || isinf(__bc)))
624 {
625 if (isnan(__a))
626 __a = copysign(_Tp(0), __a);
627 if (isnan(__b))
628 __b = copysign(_Tp(0), __b);
629 if (isnan(__c))
630 __c = copysign(_Tp(0), __c);
631 if (isnan(__d))
632 __d = copysign(_Tp(0), __d);
633 __recalc = true;
634 }
635 if (__recalc)
636 {
637 __x = _Tp(INFINITY) * (__a * __c - __b * __d);
638 __y = _Tp(INFINITY) * (__a * __d + __b * __c);
639 }
640 }
641 return complex<_Tp>(__x, __y);
642 }
643
644 template<class _Tp>
645 inline _LIBCPP_INLINE_VISIBILITY
646 complex<_Tp>
647 operator*(const complex<_Tp>& __x, const _Tp& __y)
648 {
649 complex<_Tp> __t(__x);
650 __t *= __y;
651 return __t;
652 }
653
654 template<class _Tp>
655 inline _LIBCPP_INLINE_VISIBILITY
656 complex<_Tp>
657 operator*(const _Tp& __x, const complex<_Tp>& __y)
658 {
659 complex<_Tp> __t(__y);
660 __t *= __x;
661 return __t;
662 }
663
664 template<class _Tp>
665 complex<_Tp>
666 operator/(const complex<_Tp>& __z, const complex<_Tp>& __w)
667 {
668 int __ilogbw = 0;
669 _Tp __a = __z.real();
670 _Tp __b = __z.imag();
671 _Tp __c = __w.real();
672 _Tp __d = __w.imag();
673 _Tp __logbw = logb(fmax(fabs(__c), fabs(__d)));
674 if (isfinite(__logbw))
675 {
676 __ilogbw = static_cast<int>(__logbw);
677 __c = scalbn(__c, -__ilogbw);
678 __d = scalbn(__d, -__ilogbw);
679 }
680 _Tp __denom = __c * __c + __d * __d;
681 _Tp __x = scalbn((__a * __c + __b * __d) / __denom, -__ilogbw);
682 _Tp __y = scalbn((__b * __c - __a * __d) / __denom, -__ilogbw);
683 if (isnan(__x) && isnan(__y))
684 {
685 if ((__denom == _Tp(0)) && (!isnan(__a) || !isnan(__b)))
686 {
687 __x = copysign(_Tp(INFINITY), __c) * __a;
688 __y = copysign(_Tp(INFINITY), __c) * __b;
689 }
690 else if ((isinf(__a) || isinf(__b)) && isfinite(__c) && isfinite(__d))
691 {
692 __a = copysign(isinf(__a) ? _Tp(1) : _Tp(0), __a);
693 __b = copysign(isinf(__b) ? _Tp(1) : _Tp(0), __b);
694 __x = _Tp(INFINITY) * (__a * __c + __b * __d);
695 __y = _Tp(INFINITY) * (__b * __c - __a * __d);
696 }
697 else if (isinf(__logbw) && __logbw > _Tp(0) && isfinite(__a) && isfinite (__b))
698 {
699 __c = copysign(isinf(__c) ? _Tp(1) : _Tp(0), __c);
700 __d = copysign(isinf(__d) ? _Tp(1) : _Tp(0), __d);
701 __x = _Tp(0) * (__a * __c + __b * __d);
702 __y = _Tp(0) * (__b * __c - __a * __d);
703 }
704 }
705 return complex<_Tp>(__x, __y);
706 }
707
708 template<class _Tp>
709 inline _LIBCPP_INLINE_VISIBILITY
710 complex<_Tp>
711 operator/(const complex<_Tp>& __x, const _Tp& __y)
712 {
713 return complex<_Tp>(__x.real() / __y, __x.imag() / __y);
714 }
715
716 template<class _Tp>
717 inline _LIBCPP_INLINE_VISIBILITY
718 complex<_Tp>
719 operator/(const _Tp& __x, const complex<_Tp>& __y)
720 {
721 complex<_Tp> __t(__x);
722 __t /= __y;
723 return __t;
724 }
725
726 template<class _Tp>
727 inline _LIBCPP_INLINE_VISIBILITY
728 complex<_Tp>
729 operator+(const complex<_Tp>& __x)
730 {
731 return __x;
732 }
733
734 template<class _Tp>
735 inline _LIBCPP_INLINE_VISIBILITY
736 complex<_Tp>
737 operator-(const complex<_Tp>& __x)
738 {
739 return complex<_Tp>(-__x.real(), -__x.imag());
740 }
741
742 template<class _Tp>
743 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
744 bool
745 operator==(const complex<_Tp>& __x, const complex<_Tp>& __y)
746 {
747 return __x.real() == __y.real() && __x.imag() == __y.imag();
748 }
749
750 template<class _Tp>
751 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
752 bool
753 operator==(const complex<_Tp>& __x, const _Tp& __y)
754 {
755 return __x.real() == __y && __x.imag() == 0;
756 }
757
758 template<class _Tp>
759 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
760 bool
761 operator==(const _Tp& __x, const complex<_Tp>& __y)
762 {
763 return __x == __y.real() && 0 == __y.imag();
764 }
765
766 template<class _Tp>
767 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
768 bool
769 operator!=(const complex<_Tp>& __x, const complex<_Tp>& __y)
770 {
771 return !(__x == __y);
772 }
773
774 template<class _Tp>
775 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
776 bool
777 operator!=(const complex<_Tp>& __x, const _Tp& __y)
778 {
779 return !(__x == __y);
780 }
781
782 template<class _Tp>
783 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
784 bool
785 operator!=(const _Tp& __x, const complex<_Tp>& __y)
786 {
787 return !(__x == __y);
788 }
789
790 // 26.3.7 values:
791
792 // real
793
794 template<class _Tp>
795 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
796 _Tp
797 real(const complex<_Tp>& __c)
798 {
799 return __c.real();
800 }
801
802 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
803 long double
804 real(long double __re)
805 {
806 return __re;
807 }
808
809 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
810 double
811 real(double __re)
812 {
813 return __re;
814 }
815
816 template<class _Tp>
817 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
818 typename enable_if
819 <
820 is_integral<_Tp>::value,
821 double
822 >::type
823 real(_Tp __re)
824 {
825 return __re;
826 }
827
828 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
829 float
830 real(float __re)
831 {
832 return __re;
833 }
834
835 // imag
836
837 template<class _Tp>
838 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
839 _Tp
840 imag(const complex<_Tp>& __c)
841 {
842 return __c.imag();
843 }
844
845 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
846 long double
847 imag(long double __re)
848 {
849 return 0;
850 }
851
852 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
853 double
854 imag(double __re)
855 {
856 return 0;
857 }
858
859 template<class _Tp>
860 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
861 typename enable_if
862 <
863 is_integral<_Tp>::value,
864 double
865 >::type
866 imag(_Tp __re)
867 {
868 return 0;
869 }
870
871 inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
872 float
873 imag(float __re)
874 {
875 return 0;
876 }
877
878 // abs
879
880 template<class _Tp>
881 inline _LIBCPP_INLINE_VISIBILITY
882 _Tp
883 abs(const complex<_Tp>& __c)
884 {
885 return hypot(__c.real(), __c.imag());
886 }
887
888 // arg
889
890 template<class _Tp>
891 inline _LIBCPP_INLINE_VISIBILITY
892 _Tp
893 arg(const complex<_Tp>& __c)
894 {
895 return atan2(__c.imag(), __c.real());
896 }
897
898 inline _LIBCPP_INLINE_VISIBILITY
899 long double
900 arg(long double __re)
901 {
902 return atan2l(0.L, __re);
903 }
904
905 inline _LIBCPP_INLINE_VISIBILITY
906 double
907 arg(double __re)
908 {
909 return atan2(0., __re);
910 }
911
912 template<class _Tp>
913 inline _LIBCPP_INLINE_VISIBILITY
914 typename enable_if
915 <
916 is_integral<_Tp>::value,
917 double
918 >::type
919 arg(_Tp __re)
920 {
921 return atan2(0., __re);
922 }
923
924 inline _LIBCPP_INLINE_VISIBILITY
925 float
926 arg(float __re)
927 {
928 return atan2f(0.F, __re);
929 }
930
931 // norm
932
933 template<class _Tp>
934 inline _LIBCPP_INLINE_VISIBILITY
935 _Tp
936 norm(const complex<_Tp>& __c)
937 {
938 if (isinf(__c.real()))
939 return abs(__c.real());
940 if (isinf(__c.imag()))
941 return abs(__c.imag());
942 return __c.real() * __c.real() + __c.imag() * __c.imag();
943 }
944
945 inline _LIBCPP_INLINE_VISIBILITY
946 long double
947 norm(long double __re)
948 {
949 return __re * __re;
950 }
951
952 inline _LIBCPP_INLINE_VISIBILITY
953 double
954 norm(double __re)
955 {
956 return __re * __re;
957 }
958
959 template<class _Tp>
960 inline _LIBCPP_INLINE_VISIBILITY
961 typename enable_if
962 <
963 is_integral<_Tp>::value,
964 double
965 >::type
966 norm(_Tp __re)
967 {
968 return (double)__re * __re;
969 }
970
971 inline _LIBCPP_INLINE_VISIBILITY
972 float
973 norm(float __re)
974 {
975 return __re * __re;
976 }
977
978 // conj
979
980 template<class _Tp>
981 inline _LIBCPP_INLINE_VISIBILITY
982 complex<_Tp>
983 conj(const complex<_Tp>& __c)
984 {
985 return complex<_Tp>(__c.real(), -__c.imag());
986 }
987
988 inline _LIBCPP_INLINE_VISIBILITY
989 complex<long double>
990 conj(long double __re)
991 {
992 return complex<long double>(__re);
993 }
994
995 inline _LIBCPP_INLINE_VISIBILITY
996 complex<double>
997 conj(double __re)
998 {
999 return complex<double>(__re);
1000 }
1001
1002 template<class _Tp>
1003 inline _LIBCPP_INLINE_VISIBILITY
1004 typename enable_if
1005 <
1006 is_integral<_Tp>::value,
1007 complex<double>
1008 >::type
1009 conj(_Tp __re)
1010 {
1011 return complex<double>(__re);
1012 }
1013
1014 inline _LIBCPP_INLINE_VISIBILITY
1015 complex<float>
1016 conj(float __re)
1017 {
1018 return complex<float>(__re);
1019 }
1020
1021 // proj
1022
1023 template<class _Tp>
1024 inline _LIBCPP_INLINE_VISIBILITY
1025 complex<_Tp>
1026 proj(const complex<_Tp>& __c)
1027 {
1028 std::complex<_Tp> __r = __c;
1029 if (isinf(__c.real()) || isinf(__c.imag()))
1030 __r = complex<_Tp>(INFINITY, copysign(_Tp(0), __c.imag()));
1031 return __r;
1032 }
1033
1034 inline _LIBCPP_INLINE_VISIBILITY
1035 complex<long double>
1036 proj(long double __re)
1037 {
1038 if (isinf(__re))
1039 __re = abs(__re);
1040 return complex<long double>(__re);
1041 }
1042
1043 inline _LIBCPP_INLINE_VISIBILITY
1044 complex<double>
1045 proj(double __re)
1046 {
1047 if (isinf(__re))
1048 __re = abs(__re);
1049 return complex<double>(__re);
1050 }
1051
1052 template<class _Tp>
1053 inline _LIBCPP_INLINE_VISIBILITY
1054 typename enable_if
1055 <
1056 is_integral<_Tp>::value,
1057 complex<double>
1058 >::type
1059 proj(_Tp __re)
1060 {
1061 return complex<double>(__re);
1062 }
1063
1064 inline _LIBCPP_INLINE_VISIBILITY
1065 complex<float>
1066 proj(float __re)
1067 {
1068 if (isinf(__re))
1069 __re = abs(__re);
1070 return complex<float>(__re);
1071 }
1072
1073 // polar
1074
1075 template<class _Tp>
1076 complex<_Tp>
1077 polar(const _Tp& __rho, const _Tp& __theta = _Tp(0))
1078 {
1079 if (isnan(__rho) || signbit(__rho))
1080 return complex<_Tp>(_Tp(NAN), _Tp(NAN));
1081 if (isnan(__theta))
1082 {
1083 if (isinf(__rho))
1084 return complex<_Tp>(__rho, __theta);
1085 return complex<_Tp>(__theta, __theta);
1086 }
1087 if (isinf(__theta))
1088 {
1089 if (isinf(__rho))
1090 return complex<_Tp>(__rho, _Tp(NAN));
1091 return complex<_Tp>(_Tp(NAN), _Tp(NAN));
1092 }
1093 _Tp __x = __rho * cos(__theta);
1094 if (isnan(__x))
1095 __x = 0;
1096 _Tp __y = __rho * sin(__theta);
1097 if (isnan(__y))
1098 __y = 0;
1099 return complex<_Tp>(__x, __y);
1100 }
1101
1102 // log
1103
1104 template<class _Tp>
1105 inline _LIBCPP_INLINE_VISIBILITY
1106 complex<_Tp>
1107 log(const complex<_Tp>& __x)
1108 {
1109 return complex<_Tp>(log(abs(__x)), arg(__x));
1110 }
1111
1112 // log10
1113
1114 template<class _Tp>
1115 inline _LIBCPP_INLINE_VISIBILITY
1116 complex<_Tp>
1117 log10(const complex<_Tp>& __x)
1118 {
1119 return log(__x) / log(_Tp(10));
1120 }
1121
1122 // sqrt
1123
1124 template<class _Tp>
1125 complex<_Tp>
1126 sqrt(const complex<_Tp>& __x)
1127 {
1128 if (isinf(__x.imag()))
1129 return complex<_Tp>(_Tp(INFINITY), __x.imag());
1130 if (isinf(__x.real()))
1131 {
1132 if (__x.real() > _Tp(0))
1133 return complex<_Tp>(__x.real(), isnan(__x.imag()) ? __x.imag() : cop ysign(_Tp(0), __x.imag()));
1134 return complex<_Tp>(isnan(__x.imag()) ? __x.imag() : _Tp(0), copysign(__ x.real(), __x.imag()));
1135 }
1136 return polar(sqrt(abs(__x)), arg(__x) / _Tp(2));
1137 }
1138
1139 // exp
1140
1141 template<class _Tp>
1142 complex<_Tp>
1143 exp(const complex<_Tp>& __x)
1144 {
1145 _Tp __i = __x.imag();
1146 if (isinf(__x.real()))
1147 {
1148 if (__x.real() < _Tp(0))
1149 {
1150 if (!isfinite(__i))
1151 __i = _Tp(1);
1152 }
1153 else if (__i == 0 || !isfinite(__i))
1154 {
1155 if (isinf(__i))
1156 __i = _Tp(NAN);
1157 return complex<_Tp>(__x.real(), __i);
1158 }
1159 }
1160 else if (isnan(__x.real()) && __x.imag() == 0)
1161 return __x;
1162 _Tp __e = exp(__x.real());
1163 return complex<_Tp>(__e * cos(__i), __e * sin(__i));
1164 }
1165
1166 // pow
1167
1168 template<class _Tp>
1169 inline _LIBCPP_INLINE_VISIBILITY
1170 complex<_Tp>
1171 pow(const complex<_Tp>& __x, const complex<_Tp>& __y)
1172 {
1173 return exp(__y * log(__x));
1174 }
1175
1176 template<class _Tp, class _Up>
1177 inline _LIBCPP_INLINE_VISIBILITY
1178 complex<typename __promote<_Tp, _Up>::type>
1179 pow(const complex<_Tp>& __x, const complex<_Up>& __y)
1180 {
1181 typedef complex<typename __promote<_Tp, _Up>::type> result_type;
1182 return _VSTD::pow(result_type(__x), result_type(__y));
1183 }
1184
1185 template<class _Tp, class _Up>
1186 inline _LIBCPP_INLINE_VISIBILITY
1187 typename enable_if
1188 <
1189 is_arithmetic<_Up>::value,
1190 complex<typename __promote<_Tp, _Up>::type>
1191 >::type
1192 pow(const complex<_Tp>& __x, const _Up& __y)
1193 {
1194 typedef complex<typename __promote<_Tp, _Up>::type> result_type;
1195 return _VSTD::pow(result_type(__x), result_type(__y));
1196 }
1197
1198 template<class _Tp, class _Up>
1199 inline _LIBCPP_INLINE_VISIBILITY
1200 typename enable_if
1201 <
1202 is_arithmetic<_Tp>::value,
1203 complex<typename __promote<_Tp, _Up>::type>
1204 >::type
1205 pow(const _Tp& __x, const complex<_Up>& __y)
1206 {
1207 typedef complex<typename __promote<_Tp, _Up>::type> result_type;
1208 return _VSTD::pow(result_type(__x), result_type(__y));
1209 }
1210
1211 // asinh
1212
1213 template<class _Tp>
1214 complex<_Tp>
1215 asinh(const complex<_Tp>& __x)
1216 {
1217 const _Tp __pi(atan2(+0., -0.));
1218 if (isinf(__x.real()))
1219 {
1220 if (isnan(__x.imag()))
1221 return __x;
1222 if (isinf(__x.imag()))
1223 return complex<_Tp>(__x.real(), copysign(__pi * _Tp(0.25), __x.imag( )));
1224 return complex<_Tp>(__x.real(), copysign(_Tp(0), __x.imag()));
1225 }
1226 if (isnan(__x.real()))
1227 {
1228 if (isinf(__x.imag()))
1229 return complex<_Tp>(__x.imag(), __x.real());
1230 if (__x.imag() == 0)
1231 return __x;
1232 return complex<_Tp>(__x.real(), __x.real());
1233 }
1234 if (isinf(__x.imag()))
1235 return complex<_Tp>(copysign(__x.imag(), __x.real()), copysign(__pi/_Tp( 2), __x.imag()));
1236 complex<_Tp> __z = log(__x + sqrt(pow(__x, _Tp(2)) + _Tp(1)));
1237 return complex<_Tp>(copysign(__z.real(), __x.real()), copysign(__z.imag(), _ _x.imag()));
1238 }
1239
1240 // acosh
1241
1242 template<class _Tp>
1243 complex<_Tp>
1244 acosh(const complex<_Tp>& __x)
1245 {
1246 const _Tp __pi(atan2(+0., -0.));
1247 if (isinf(__x.real()))
1248 {
1249 if (isnan(__x.imag()))
1250 return complex<_Tp>(abs(__x.real()), __x.imag());
1251 if (isinf(__x.imag()))
1252 {
1253 if (__x.real() > 0)
1254 return complex<_Tp>(__x.real(), copysign(__pi * _Tp(0.25), __x.i mag()));
1255 else
1256 return complex<_Tp>(-__x.real(), copysign(__pi * _Tp(0.75), __x. imag()));
1257 }
1258 if (__x.real() < 0)
1259 return complex<_Tp>(-__x.real(), copysign(__pi, __x.imag()));
1260 return complex<_Tp>(__x.real(), copysign(_Tp(0), __x.imag()));
1261 }
1262 if (isnan(__x.real()))
1263 {
1264 if (isinf(__x.imag()))
1265 return complex<_Tp>(abs(__x.imag()), __x.real());
1266 return complex<_Tp>(__x.real(), __x.real());
1267 }
1268 if (isinf(__x.imag()))
1269 return complex<_Tp>(abs(__x.imag()), copysign(__pi/_Tp(2), __x.imag()));
1270 complex<_Tp> __z = log(__x + sqrt(pow(__x, _Tp(2)) - _Tp(1)));
1271 return complex<_Tp>(copysign(__z.real(), _Tp(0)), copysign(__z.imag(), __x.i mag()));
1272 }
1273
1274 // atanh
1275
1276 template<class _Tp>
1277 complex<_Tp>
1278 atanh(const complex<_Tp>& __x)
1279 {
1280 const _Tp __pi(atan2(+0., -0.));
1281 if (isinf(__x.imag()))
1282 {
1283 return complex<_Tp>(copysign(_Tp(0), __x.real()), copysign(__pi/_Tp(2), __x.imag()));
1284 }
1285 if (isnan(__x.imag()))
1286 {
1287 if (isinf(__x.real()) || __x.real() == 0)
1288 return complex<_Tp>(copysign(_Tp(0), __x.real()), __x.imag());
1289 return complex<_Tp>(__x.imag(), __x.imag());
1290 }
1291 if (isnan(__x.real()))
1292 {
1293 return complex<_Tp>(__x.real(), __x.real());
1294 }
1295 if (isinf(__x.real()))
1296 {
1297 return complex<_Tp>(copysign(_Tp(0), __x.real()), copysign(__pi/_Tp(2), __x.imag()));
1298 }
1299 if (abs(__x.real()) == _Tp(1) && __x.imag() == _Tp(0))
1300 {
1301 return complex<_Tp>(copysign(_Tp(INFINITY), __x.real()), copysign(_Tp(0) , __x.imag()));
1302 }
1303 complex<_Tp> __z = log((_Tp(1) + __x) / (_Tp(1) - __x)) / _Tp(2);
1304 return complex<_Tp>(copysign(__z.real(), __x.real()), copysign(__z.imag(), _ _x.imag()));
1305 }
1306
1307 // sinh
1308
1309 template<class _Tp>
1310 complex<_Tp>
1311 sinh(const complex<_Tp>& __x)
1312 {
1313 if (isinf(__x.real()) && !isfinite(__x.imag()))
1314 return complex<_Tp>(__x.real(), _Tp(NAN));
1315 if (__x.real() == 0 && !isfinite(__x.imag()))
1316 return complex<_Tp>(__x.real(), _Tp(NAN));
1317 if (__x.imag() == 0 && !isfinite(__x.real()))
1318 return __x;
1319 return complex<_Tp>(sinh(__x.real()) * cos(__x.imag()), cosh(__x.real()) * s in(__x.imag()));
1320 }
1321
1322 // cosh
1323
1324 template<class _Tp>
1325 complex<_Tp>
1326 cosh(const complex<_Tp>& __x)
1327 {
1328 if (isinf(__x.real()) && !isfinite(__x.imag()))
1329 return complex<_Tp>(abs(__x.real()), _Tp(NAN));
1330 if (__x.real() == 0 && !isfinite(__x.imag()))
1331 return complex<_Tp>(_Tp(NAN), __x.real());
1332 if (__x.real() == 0 && __x.imag() == 0)
1333 return complex<_Tp>(_Tp(1), __x.imag());
1334 if (__x.imag() == 0 && !isfinite(__x.real()))
1335 return complex<_Tp>(abs(__x.real()), __x.imag());
1336 return complex<_Tp>(cosh(__x.real()) * cos(__x.imag()), sinh(__x.real()) * s in(__x.imag()));
1337 }
1338
1339 // tanh
1340
1341 template<class _Tp>
1342 complex<_Tp>
1343 tanh(const complex<_Tp>& __x)
1344 {
1345 if (isinf(__x.real()))
1346 {
1347 if (!isfinite(__x.imag()))
1348 return complex<_Tp>(_Tp(1), _Tp(0));
1349 return complex<_Tp>(_Tp(1), copysign(_Tp(0), sin(_Tp(2) * __x.imag())));
1350 }
1351 if (isnan(__x.real()) && __x.imag() == 0)
1352 return __x;
1353 _Tp __2r(_Tp(2) * __x.real());
1354 _Tp __2i(_Tp(2) * __x.imag());
1355 _Tp __d(cosh(__2r) + cos(__2i));
1356 _Tp __2rsh(sinh(__2r));
1357 if (isinf(__2rsh) && isinf(__d))
1358 return complex<_Tp>(__2rsh > _Tp(0) ? _Tp(1) : _Tp(-1),
1359 __2i > _Tp(0) ? _Tp(0) : _Tp(-0.));
1360 return complex<_Tp>(__2rsh/__d, sin(__2i)/__d);
1361 }
1362
1363 // asin
1364
1365 template<class _Tp>
1366 complex<_Tp>
1367 asin(const complex<_Tp>& __x)
1368 {
1369 complex<_Tp> __z = asinh(complex<_Tp>(-__x.imag(), __x.real()));
1370 return complex<_Tp>(__z.imag(), -__z.real());
1371 }
1372
1373 // acos
1374
1375 template<class _Tp>
1376 complex<_Tp>
1377 acos(const complex<_Tp>& __x)
1378 {
1379 const _Tp __pi(atan2(+0., -0.));
1380 if (isinf(__x.real()))
1381 {
1382 if (isnan(__x.imag()))
1383 return complex<_Tp>(__x.imag(), __x.real());
1384 if (isinf(__x.imag()))
1385 {
1386 if (__x.real() < _Tp(0))
1387 return complex<_Tp>(_Tp(0.75) * __pi, -__x.imag());
1388 return complex<_Tp>(_Tp(0.25) * __pi, -__x.imag());
1389 }
1390 if (__x.real() < _Tp(0))
1391 return complex<_Tp>(__pi, signbit(__x.imag()) ? -__x.real() : __x.re al());
1392 return complex<_Tp>(_Tp(0), signbit(__x.imag()) ? __x.real() : -__x.real ());
1393 }
1394 if (isnan(__x.real()))
1395 {
1396 if (isinf(__x.imag()))
1397 return complex<_Tp>(__x.real(), -__x.imag());
1398 return complex<_Tp>(__x.real(), __x.real());
1399 }
1400 if (isinf(__x.imag()))
1401 return complex<_Tp>(__pi/_Tp(2), -__x.imag());
1402 if (__x.real() == 0)
1403 return complex<_Tp>(__pi/_Tp(2), -__x.imag());
1404 complex<_Tp> __z = log(__x + sqrt(pow(__x, _Tp(2)) - _Tp(1)));
1405 if (signbit(__x.imag()))
1406 return complex<_Tp>(abs(__z.imag()), abs(__z.real()));
1407 return complex<_Tp>(abs(__z.imag()), -abs(__z.real()));
1408 }
1409
1410 // atan
1411
1412 template<class _Tp>
1413 complex<_Tp>
1414 atan(const complex<_Tp>& __x)
1415 {
1416 complex<_Tp> __z = atanh(complex<_Tp>(-__x.imag(), __x.real()));
1417 return complex<_Tp>(__z.imag(), -__z.real());
1418 }
1419
1420 // sin
1421
1422 template<class _Tp>
1423 complex<_Tp>
1424 sin(const complex<_Tp>& __x)
1425 {
1426 complex<_Tp> __z = sinh(complex<_Tp>(-__x.imag(), __x.real()));
1427 return complex<_Tp>(__z.imag(), -__z.real());
1428 }
1429
1430 // cos
1431
1432 template<class _Tp>
1433 inline _LIBCPP_INLINE_VISIBILITY
1434 complex<_Tp>
1435 cos(const complex<_Tp>& __x)
1436 {
1437 return cosh(complex<_Tp>(-__x.imag(), __x.real()));
1438 }
1439
1440 // tan
1441
1442 template<class _Tp>
1443 complex<_Tp>
1444 tan(const complex<_Tp>& __x)
1445 {
1446 complex<_Tp> __z = tanh(complex<_Tp>(-__x.imag(), __x.real()));
1447 return complex<_Tp>(__z.imag(), -__z.real());
1448 }
1449
1450 template<class _Tp, class _CharT, class _Traits>
1451 basic_istream<_CharT, _Traits>&
1452 operator>>(basic_istream<_CharT, _Traits>& __is, complex<_Tp>& __x)
1453 {
1454 if (__is.good())
1455 {
1456 ws(__is);
1457 if (__is.peek() == _CharT('('))
1458 {
1459 __is.get();
1460 _Tp __r;
1461 __is >> __r;
1462 if (!__is.fail())
1463 {
1464 ws(__is);
1465 _CharT __c = __is.peek();
1466 if (__c == _CharT(','))
1467 {
1468 __is.get();
1469 _Tp __i;
1470 __is >> __i;
1471 if (!__is.fail())
1472 {
1473 ws(__is);
1474 __c = __is.peek();
1475 if (__c == _CharT(')'))
1476 {
1477 __is.get();
1478 __x = complex<_Tp>(__r, __i);
1479 }
1480 else
1481 __is.setstate(ios_base::failbit);
1482 }
1483 else
1484 __is.setstate(ios_base::failbit);
1485 }
1486 else if (__c == _CharT(')'))
1487 {
1488 __is.get();
1489 __x = complex<_Tp>(__r, _Tp(0));
1490 }
1491 else
1492 __is.setstate(ios_base::failbit);
1493 }
1494 else
1495 __is.setstate(ios_base::failbit);
1496 }
1497 else
1498 {
1499 _Tp __r;
1500 __is >> __r;
1501 if (!__is.fail())
1502 __x = complex<_Tp>(__r, _Tp(0));
1503 else
1504 __is.setstate(ios_base::failbit);
1505 }
1506 }
1507 else
1508 __is.setstate(ios_base::failbit);
1509 return __is;
1510 }
1511
1512 template<class _Tp, class _CharT, class _Traits>
1513 basic_ostream<_CharT, _Traits>&
1514 operator<<(basic_ostream<_CharT, _Traits>& __os, const complex<_Tp>& __x)
1515 {
1516 basic_ostringstream<_CharT, _Traits> __s;
1517 __s.flags(__os.flags());
1518 __s.imbue(__os.getloc());
1519 __s.precision(__os.precision());
1520 __s << '(' << __x.real() << ',' << __x.imag() << ')';
1521 return __os << __s.str();
1522 }
1523
1524 #if _LIBCPP_STD_VER > 11
1525 // Literal suffix for complex number literals [complex.literals]
1526 inline namespace literals
1527 {
1528 inline namespace complex_literals
1529 {
1530 constexpr complex<long double> operator""il(long double __im)
1531 {
1532 return { 0.0l, __im };
1533 }
1534
1535 constexpr complex<long double> operator""il(unsigned long long __im)
1536 {
1537 return { 0.0l, static_cast<long double>(__im) };
1538 }
1539
1540
1541 constexpr complex<double> operator""i(long double __im)
1542 {
1543 return { 0.0, static_cast<double>(__im) };
1544 }
1545
1546 constexpr complex<double> operator""i(unsigned long long __im)
1547 {
1548 return { 0.0, static_cast<double>(__im) };
1549 }
1550
1551
1552 constexpr complex<float> operator""if(long double __im)
1553 {
1554 return { 0.0f, static_cast<float>(__im) };
1555 }
1556
1557 constexpr complex<float> operator""if(unsigned long long __im)
1558 {
1559 return { 0.0f, static_cast<float>(__im) };
1560 }
1561 }
1562 }
1563 #endif
1564
1565 _LIBCPP_END_NAMESPACE_STD
1566
1567 #endif // _LIBCPP_COMPLEX
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698