blob: c8c6bced0a12a48336a45b325c0d16896ab7d4f2 [file] [log] [blame]
Howard Hinnantc51e1022010-05-11 19:42:16 +00001// -*- C++ -*-
Louis Dionne9bd93882021-11-17 16:25:01 -05002//===----------------------------------------------------------------------===//
Howard Hinnantc51e1022010-05-11 19:42:16 +00003//
Chandler Carruthd2012102019-01-19 10:56:40 +00004// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Howard Hinnantc51e1022010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10#ifndef _LIBCPP_NUMERIC
11#define _LIBCPP_NUMERIC
12
13/*
14 numeric synopsis
15
16namespace std
17{
18
19template <class InputIterator, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +010020 constexpr T // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000021 accumulate(InputIterator first, InputIterator last, T init);
22
23template <class InputIterator, class T, class BinaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +010024 constexpr T // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000025 accumulate(InputIterator first, InputIterator last, T init, BinaryOperation binary_op);
26
Marshall Clow3b7cad22017-06-14 04:48:45 +000027template<class InputIterator>
Mark de Wever17c5af42020-11-28 14:50:53 +010028 constexpr typename iterator_traits<InputIterator>::value_type // constexpr since C++20
Marshall Clow3b7cad22017-06-14 04:48:45 +000029 reduce(InputIterator first, InputIterator last); // C++17
30
31template<class InputIterator, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +010032 constexpr T // constexpr since C++20
Marshall Clow3b7cad22017-06-14 04:48:45 +000033 reduce(InputIterator first, InputIterator last, T init); // C++17
34
35template<class InputIterator, class T, class BinaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +010036 constexpr T // constexpr since C++20
Marshall Clow3b7cad22017-06-14 04:48:45 +000037 reduce(InputIterator first, InputIterator last, T init, BinaryOperation binary_op); // C++17
38
Howard Hinnantc51e1022010-05-11 19:42:16 +000039template <class InputIterator1, class InputIterator2, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +010040 constexpr T // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000041 inner_product(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, T init);
42
43template <class InputIterator1, class InputIterator2, class T, class BinaryOperation1, class BinaryOperation2>
Mark de Wever17c5af42020-11-28 14:50:53 +010044 constexpr T // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000045 inner_product(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2,
46 T init, BinaryOperation1 binary_op1, BinaryOperation2 binary_op2);
47
Marshall Clow3b7cad22017-06-14 04:48:45 +000048
49template<class InputIterator1, class InputIterator2, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +010050 constexpr T // constexpr since C++20
Marshall Clow3b7cad22017-06-14 04:48:45 +000051 transform_reduce(InputIterator1 first1, InputIterator1 last1,
52 InputIterator2 first2, T init); // C++17
Billy Robert O'Neal III876ecf92018-01-05 01:31:55 +000053
Marshall Clow3b7cad22017-06-14 04:48:45 +000054template<class InputIterator1, class InputIterator2, class T, class BinaryOperation1, class BinaryOperation2>
Mark de Wever17c5af42020-11-28 14:50:53 +010055 constexpr T // constexpr since C++20
Marshall Clow3b7cad22017-06-14 04:48:45 +000056 transform_reduce(InputIterator1 first1, InputIterator1 last1,
57 InputIterator2 first2, T init,
58 BinaryOperation1 binary_op1, BinaryOperation2 binary_op2); // C++17
59
60template<class InputIterator, class T, class BinaryOperation, class UnaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +010061 constexpr T // constexpr since C++20
Marshall Clow3b7cad22017-06-14 04:48:45 +000062 transform_reduce(InputIterator first, InputIterator last, T init,
63 BinaryOperation binary_op, UnaryOperation unary_op); // C++17
64
Howard Hinnantc51e1022010-05-11 19:42:16 +000065template <class InputIterator, class OutputIterator>
Mark de Wever17c5af42020-11-28 14:50:53 +010066 constexpr OutputIterator // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000067 partial_sum(InputIterator first, InputIterator last, OutputIterator result);
68
69template <class InputIterator, class OutputIterator, class BinaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +010070 constexpr OutputIterator // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +000071 partial_sum(InputIterator first, InputIterator last, OutputIterator result, BinaryOperation binary_op);
72
Marshall Clow0ce24992017-06-10 02:22:13 +000073template<class InputIterator, class OutputIterator, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +010074 constexpr OutputIterator // constexpr since C++20
Marshall Clow0ce24992017-06-10 02:22:13 +000075 exclusive_scan(InputIterator first, InputIterator last,
76 OutputIterator result, T init); // C++17
Billy Robert O'Neal III876ecf92018-01-05 01:31:55 +000077
Marshall Clow0ce24992017-06-10 02:22:13 +000078template<class InputIterator, class OutputIterator, class T, class BinaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +010079 constexpr OutputIterator // constexpr since C++20
Billy Robert O'Neal III876ecf92018-01-05 01:31:55 +000080 exclusive_scan(InputIterator first, InputIterator last,
Marshall Clow0ce24992017-06-10 02:22:13 +000081 OutputIterator result, T init, BinaryOperation binary_op); // C++17
82
Marshall Clow4c561442017-06-23 05:12:42 +000083template<class InputIterator, class OutputIterator>
Mark de Wever17c5af42020-11-28 14:50:53 +010084 constexpr OutputIterator // constexpr since C++20
Marshall Clow4c561442017-06-23 05:12:42 +000085 inclusive_scan(InputIterator first, InputIterator last, OutputIterator result); // C++17
86
87template<class InputIterator, class OutputIterator, class BinaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +010088 constexpr OutputIterator // constexpr since C++20
Marshall Clow4c561442017-06-23 05:12:42 +000089 inclusive_scan(InputIterator first, InputIterator last,
90 OutputIterator result, BinaryOperation binary_op); // C++17
91
92template<class InputIterator, class OutputIterator, class BinaryOperation, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +010093 constexpr OutputIterator // constexpr since C++20
Marshall Clow4c561442017-06-23 05:12:42 +000094 inclusive_scan(InputIterator first, InputIterator last,
95 OutputIterator result, BinaryOperation binary_op, T init); // C++17
96
Marshall Clow0ce24992017-06-10 02:22:13 +000097template<class InputIterator, class OutputIterator, class T,
98 class BinaryOperation, class UnaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +010099 constexpr OutputIterator // constexpr since C++20
Marshall Clow0ce24992017-06-10 02:22:13 +0000100 transform_exclusive_scan(InputIterator first, InputIterator last,
101 OutputIterator result, T init,
102 BinaryOperation binary_op, UnaryOperation unary_op); // C++17
103
Marshall Clow4c561442017-06-23 05:12:42 +0000104template<class InputIterator, class OutputIterator,
105 class BinaryOperation, class UnaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +0100106 constexpr OutputIterator // constexpr since C++20
Louis Dionne44bcff92018-08-03 22:36:53 +0000107 transform_inclusive_scan(InputIterator first, InputIterator last,
Marshall Clow4c561442017-06-23 05:12:42 +0000108 OutputIterator result,
109 BinaryOperation binary_op, UnaryOperation unary_op); // C++17
Billy Robert O'Neal III876ecf92018-01-05 01:31:55 +0000110
Marshall Clow4c561442017-06-23 05:12:42 +0000111template<class InputIterator, class OutputIterator,
112 class BinaryOperation, class UnaryOperation, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +0100113 constexpr OutputIterator // constexpr since C++20
Louis Dionne44bcff92018-08-03 22:36:53 +0000114 transform_inclusive_scan(InputIterator first, InputIterator last,
Marshall Clow4c561442017-06-23 05:12:42 +0000115 OutputIterator result,
116 BinaryOperation binary_op, UnaryOperation unary_op,
117 T init); // C++17
118
Howard Hinnantc51e1022010-05-11 19:42:16 +0000119template <class InputIterator, class OutputIterator>
Mark de Wever17c5af42020-11-28 14:50:53 +0100120 constexpr OutputIterator // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +0000121 adjacent_difference(InputIterator first, InputIterator last, OutputIterator result);
122
123template <class InputIterator, class OutputIterator, class BinaryOperation>
Mark de Wever17c5af42020-11-28 14:50:53 +0100124 constexpr OutputIterator // constexpr since C++20
Howard Hinnantc51e1022010-05-11 19:42:16 +0000125 adjacent_difference(InputIterator first, InputIterator last, OutputIterator result, BinaryOperation binary_op);
126
Howard Hinnantf45797f2010-05-26 18:53:44 +0000127template <class ForwardIterator, class T>
Mark de Wever17c5af42020-11-28 14:50:53 +0100128 constexpr void // constexpr since C++20
129 iota(ForwardIterator first, ForwardIterator last, T value);
Howard Hinnantf45797f2010-05-26 18:53:44 +0000130
Marshall Clowb8bfc2c2016-07-26 14:29:45 +0000131template <class M, class N>
132 constexpr common_type_t<M,N> gcd(M m, N n); // C++17
133
134template <class M, class N>
135 constexpr common_type_t<M,N> lcm(M m, N n); // C++17
136
Mark de Wever17c5af42020-11-28 14:50:53 +0100137template<class T>
138 constexpr T midpoint(T a, T b) noexcept; // C++20
139
140template<class T>
141 constexpr T* midpoint(T* a, T* b); // C++20
Marshall Clowa5f2c8a2019-03-14 16:25:55 +0000142
Howard Hinnantc51e1022010-05-11 19:42:16 +0000143} // std
144
145*/
146
147#include <__config>
Arthur O'Dwyer597cac42021-05-12 23:04:03 -0400148#include <cmath> // for isnormal
149#include <functional>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000150#include <iterator>
Marshall Clow0a1e7502018-09-12 19:41:40 +0000151#include <version>
Howard Hinnantc51e1022010-05-11 19:42:16 +0000152
Christopher Di Bella0df29b32021-12-01 01:36:32 +0000153#include <__numeric/accumulate.h>
154#include <__numeric/adjacent_difference.h>
155#include <__numeric/exclusive_scan.h>
156#include <__numeric/gcd_lcm.h>
157#include <__numeric/inclusive_scan.h>
158#include <__numeric/inner_product.h>
159#include <__numeric/iota.h>
160#include <__numeric/midpoint.h>
161#include <__numeric/partial_sum.h>
162#include <__numeric/reduce.h>
163#include <__numeric/transform_exclusive_scan.h>
164#include <__numeric/transform_inclusive_scan.h>
165#include <__numeric/transform_reduce.h>
166
Howard Hinnantaaaa52b2011-10-17 20:05:10 +0000167#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Arthur O'Dwyer6eeaa002022-02-01 20:16:40 -0500168# pragma GCC system_header
Howard Hinnantaaaa52b2011-10-17 20:05:10 +0000169#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +0000170
Louis Dionne59d0b3c2019-08-05 18:29:14 +0000171#if defined(_LIBCPP_HAS_PARALLEL_ALGORITHMS) && _LIBCPP_STD_VER >= 17
Louis Dionned53d8c02019-08-06 21:11:24 +0000172# include <__pstl_numeric>
Louis Dionne59d0b3c2019-08-05 18:29:14 +0000173#endif
174
Louis Dionne2b1ceaa2021-04-20 12:03:32 -0400175#endif // _LIBCPP_NUMERIC