1 // Numeric extensions -*- C++ -*-
3 // Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 2, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING. If not, write to the Free
18 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
21 // As a special exception, you may use this file as part of a free software
22 // library without restriction. Specifically, if other files instantiate
23 // templates or use macros or inline functions from this file, or you compile
24 // this file and link it with other files to produce an executable, this
25 // file does not by itself cause the resulting executable to be covered by
26 // the GNU General Public License. This exception does not however
27 // invalidate any other reasons why the executable file might be covered by
28 // the GNU General Public License.
33 * Hewlett-Packard Company
35 * Permission to use, copy, modify, distribute and sell this software
36 * and its documentation for any purpose is hereby granted without fee,
37 * provided that the above copyright notice appear in all copies and
38 * that both that copyright notice and this permission notice appear
39 * in supporting documentation. Hewlett-Packard Company makes no
40 * representations about the suitability of this software for any
41 * purpose. It is provided "as is" without express or implied warranty.
45 * Silicon Graphics Computer Systems, Inc.
47 * Permission to use, copy, modify, distribute and sell this software
48 * and its documentation for any purpose is hereby granted without fee,
49 * provided that the above copyright notice appear in all copies and
50 * that both that copyright notice and this permission notice appear
51 * in supporting documentation. Silicon Graphics makes no
52 * representations about the suitability of this software for any
53 * purpose. It is provided "as is" without express or implied warranty.
57 * This file is a GNU extension to the Standard C++ Library (possibly
58 * containing extensions from the HP/SGI STL subset).
62 #define _EXT_NUMERIC 1
64 #pragma GCC system_header
66 #include <bits/concept_check.h>
69 #include <ext/functional> // For identity_element
71 _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
73 // Returns __x ** __n, where __n >= 0. _Note that "multiplication"
74 // is required to be associative, but not necessarily commutative.
75 template<typename _Tp, typename _Integer, typename _MonoidOperation>
77 __power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
80 return identity_element(__monoid_op);
83 while ((__n & 1) == 0)
86 __x = __monoid_op(__x, __x);
93 __x = __monoid_op(__x, __x);
95 __result = __monoid_op(__result, __x);
102 template<typename _Tp, typename _Integer>
104 __power(_Tp __x, _Integer __n)
105 { return __power(__x, __n, std::multiplies<_Tp>()); }
108 * This is an SGI extension.
109 * @ingroup SGIextensions
112 // Alias for the internal name __power. Note that power is an extension,
113 // not part of the C++ standard.
114 template<typename _Tp, typename _Integer, typename _MonoidOperation>
116 power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
117 { return __power(__x, __n, __monoid_op); }
120 * This is an SGI extension.
121 * @ingroup SGIextensions
124 template<typename _Tp, typename _Integer>
126 power(_Tp __x, _Integer __n)
127 { return __power(__x, __n); }
130 * This is an SGI extension.
131 * @ingroup SGIextensions
134 // iota is not part of the C++ standard. It is an extension.
135 template<typename _ForwardIter, typename _Tp>
137 iota(_ForwardIter __first, _ForwardIter __last, _Tp __value)
139 // concept requirements
140 __glibcxx_function_requires(_Mutable_ForwardIteratorConcept<_ForwardIter>)
141 __glibcxx_function_requires(_ConvertibleConcept<_Tp,
142 typename std::iterator_traits<_ForwardIter>::value_type>)
144 while (__first != __last)
145 *__first++ = __value++;
148 _GLIBCXX_END_NAMESPACE