1 // Numeric extensions -*- C++ -*-
3 // Copyright (C) 2002 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, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
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.
59 #pragma GCC system_header
60 #include <bits/concept_check.h>
63 #include <ext/functional> // For identity_element
67 // Returns __x ** __n, where __n >= 0. _Note that "multiplication"
68 // is required to be associative, but not necessarily commutative.
70 template<typename _Tp, typename _Integer, typename _MonoidOperation>
72 __power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
75 return identity_element(__monoid_op);
77 while ((__n & 1) == 0) {
79 __x = __monoid_op(__x, __x);
85 __x = __monoid_op(__x, __x);
87 __result = __monoid_op(__result, __x);
94 template<typename _Tp, typename _Integer>
96 __power(_Tp __x, _Integer __n)
97 { return __power(__x, __n, std::multiplies<_Tp>()); }
99 // Alias for the internal name __power. Note that power is an extension,
100 // not part of the C++ standard.
102 template<typename _Tp, typename _Integer, typename _MonoidOperation>
104 power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
105 { return __power(__x, __n, __monoid_op); }
107 template<typename _Tp, typename _Integer>
109 power(_Tp __x, _Integer __n)
110 { return __power(__x, __n); }
112 // iota is not part of the C++ standard. It is an extension.
114 template<typename _ForwardIter, typename _Tp>
116 iota(_ForwardIter __first, _ForwardIter __last, _Tp __value)
118 // concept requirements
119 __glibcpp_function_requires(_Mutable_ForwardIteratorConcept<_ForwardIter>)
120 __glibcpp_function_requires(_ConvertibleConcept<_Tp,
121 typename std::iterator_traits<_ForwardIter>::value_type>)
123 while (__first != __last)
124 *__first++ = __value++;
127 } // namespace __gnu_cxx
129 #endif /* _EXT_NUMERIC */