xref: /dflybsd-src/contrib/gcc-4.7/libstdc++-v3/include/ext/numeric (revision 04febcfb30580676d3e95f58a16c5137ee478b32)
1*e4b17023SJohn Marino// Numeric extensions -*- C++ -*-
2*e4b17023SJohn Marino
3*e4b17023SJohn Marino// Copyright (C) 2002, 2004, 2005, 2009 Free Software Foundation, Inc.
4*e4b17023SJohn Marino//
5*e4b17023SJohn Marino// This file is part of the GNU ISO C++ Library.  This library is free
6*e4b17023SJohn Marino// software; you can redistribute it and/or modify it under the
7*e4b17023SJohn Marino// terms of the GNU General Public License as published by the
8*e4b17023SJohn Marino// Free Software Foundation; either version 3, or (at your option)
9*e4b17023SJohn Marino// any later version.
10*e4b17023SJohn Marino
11*e4b17023SJohn Marino// This library is distributed in the hope that it will be useful,
12*e4b17023SJohn Marino// but WITHOUT ANY WARRANTY; without even the implied warranty of
13*e4b17023SJohn Marino// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14*e4b17023SJohn Marino// GNU General Public License for more details.
15*e4b17023SJohn Marino
16*e4b17023SJohn Marino// Under Section 7 of GPL version 3, you are granted additional
17*e4b17023SJohn Marino// permissions described in the GCC Runtime Library Exception, version
18*e4b17023SJohn Marino// 3.1, as published by the Free Software Foundation.
19*e4b17023SJohn Marino
20*e4b17023SJohn Marino// You should have received a copy of the GNU General Public License and
21*e4b17023SJohn Marino// a copy of the GCC Runtime Library Exception along with this program;
22*e4b17023SJohn Marino// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23*e4b17023SJohn Marino// <http://www.gnu.org/licenses/>.
24*e4b17023SJohn Marino
25*e4b17023SJohn Marino/*
26*e4b17023SJohn Marino *
27*e4b17023SJohn Marino * Copyright (c) 1994
28*e4b17023SJohn Marino * Hewlett-Packard Company
29*e4b17023SJohn Marino *
30*e4b17023SJohn Marino * Permission to use, copy, modify, distribute and sell this software
31*e4b17023SJohn Marino * and its documentation for any purpose is hereby granted without fee,
32*e4b17023SJohn Marino * provided that the above copyright notice appear in all copies and
33*e4b17023SJohn Marino * that both that copyright notice and this permission notice appear
34*e4b17023SJohn Marino * in supporting documentation.  Hewlett-Packard Company makes no
35*e4b17023SJohn Marino * representations about the suitability of this software for any
36*e4b17023SJohn Marino * purpose.  It is provided "as is" without express or implied warranty.
37*e4b17023SJohn Marino *
38*e4b17023SJohn Marino *
39*e4b17023SJohn Marino * Copyright (c) 1996
40*e4b17023SJohn Marino * Silicon Graphics Computer Systems, Inc.
41*e4b17023SJohn Marino *
42*e4b17023SJohn Marino * Permission to use, copy, modify, distribute and sell this software
43*e4b17023SJohn Marino * and its documentation for any purpose is hereby granted without fee,
44*e4b17023SJohn Marino * provided that the above copyright notice appear in all copies and
45*e4b17023SJohn Marino * that both that copyright notice and this permission notice appear
46*e4b17023SJohn Marino * in supporting documentation.  Silicon Graphics makes no
47*e4b17023SJohn Marino * representations about the suitability of this software for any
48*e4b17023SJohn Marino * purpose.  It is provided "as is" without express or implied warranty.
49*e4b17023SJohn Marino */
50*e4b17023SJohn Marino
51*e4b17023SJohn Marino/** @file ext/numeric
52*e4b17023SJohn Marino *  This file is a GNU extension to the Standard C++ Library (possibly
53*e4b17023SJohn Marino *  containing extensions from the HP/SGI STL subset).
54*e4b17023SJohn Marino */
55*e4b17023SJohn Marino
56*e4b17023SJohn Marino#ifndef _EXT_NUMERIC
57*e4b17023SJohn Marino#define _EXT_NUMERIC 1
58*e4b17023SJohn Marino
59*e4b17023SJohn Marino#pragma GCC system_header
60*e4b17023SJohn Marino
61*e4b17023SJohn Marino#include <bits/concept_check.h>
62*e4b17023SJohn Marino#include <numeric>
63*e4b17023SJohn Marino
64*e4b17023SJohn Marino#include <ext/functional> // For identity_element
65*e4b17023SJohn Marino
66*e4b17023SJohn Marinonamespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
67*e4b17023SJohn Marino{
68*e4b17023SJohn Marino_GLIBCXX_BEGIN_NAMESPACE_VERSION
69*e4b17023SJohn Marino
70*e4b17023SJohn Marino  // Returns __x ** __n, where __n >= 0.  _Note that "multiplication"
71*e4b17023SJohn Marino  // is required to be associative, but not necessarily commutative.
72*e4b17023SJohn Marino  template<typename _Tp, typename _Integer, typename _MonoidOperation>
73*e4b17023SJohn Marino    _Tp
74*e4b17023SJohn Marino    __power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
75*e4b17023SJohn Marino    {
76*e4b17023SJohn Marino      if (__n == 0)
77*e4b17023SJohn Marino	return identity_element(__monoid_op);
78*e4b17023SJohn Marino      else
79*e4b17023SJohn Marino	{
80*e4b17023SJohn Marino	  while ((__n & 1) == 0)
81*e4b17023SJohn Marino	    {
82*e4b17023SJohn Marino	      __n >>= 1;
83*e4b17023SJohn Marino	      __x = __monoid_op(__x, __x);
84*e4b17023SJohn Marino	    }
85*e4b17023SJohn Marino
86*e4b17023SJohn Marino	  _Tp __result = __x;
87*e4b17023SJohn Marino	  __n >>= 1;
88*e4b17023SJohn Marino	  while (__n != 0)
89*e4b17023SJohn Marino	    {
90*e4b17023SJohn Marino	      __x = __monoid_op(__x, __x);
91*e4b17023SJohn Marino	      if ((__n & 1) != 0)
92*e4b17023SJohn Marino		__result = __monoid_op(__result, __x);
93*e4b17023SJohn Marino	      __n >>= 1;
94*e4b17023SJohn Marino	    }
95*e4b17023SJohn Marino	  return __result;
96*e4b17023SJohn Marino	}
97*e4b17023SJohn Marino    }
98*e4b17023SJohn Marino
99*e4b17023SJohn Marino  template<typename _Tp, typename _Integer>
100*e4b17023SJohn Marino    inline _Tp
101*e4b17023SJohn Marino    __power(_Tp __x, _Integer __n)
102*e4b17023SJohn Marino    { return __power(__x, __n, std::multiplies<_Tp>()); }
103*e4b17023SJohn Marino
104*e4b17023SJohn Marino  /**
105*e4b17023SJohn Marino   *  This is an SGI extension.
106*e4b17023SJohn Marino   *  @ingroup SGIextensions
107*e4b17023SJohn Marino   *  @doctodo
108*e4b17023SJohn Marino  */
109*e4b17023SJohn Marino  // Alias for the internal name __power.  Note that power is an extension,
110*e4b17023SJohn Marino  // not part of the C++ standard.
111*e4b17023SJohn Marino  template<typename _Tp, typename _Integer, typename _MonoidOperation>
112*e4b17023SJohn Marino    inline _Tp
113*e4b17023SJohn Marino    power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
114*e4b17023SJohn Marino    { return __power(__x, __n, __monoid_op); }
115*e4b17023SJohn Marino
116*e4b17023SJohn Marino  /**
117*e4b17023SJohn Marino   *  This is an SGI extension.
118*e4b17023SJohn Marino   *  @ingroup SGIextensions
119*e4b17023SJohn Marino   *  @doctodo
120*e4b17023SJohn Marino  */
121*e4b17023SJohn Marino  template<typename _Tp, typename _Integer>
122*e4b17023SJohn Marino    inline _Tp
123*e4b17023SJohn Marino    power(_Tp __x, _Integer __n)
124*e4b17023SJohn Marino    { return __power(__x, __n); }
125*e4b17023SJohn Marino
126*e4b17023SJohn Marino#ifdef __GXX_EXPERIMENTAL_CXX0X__
127*e4b17023SJohn Marino  using std::iota;
128*e4b17023SJohn Marino#else
129*e4b17023SJohn Marino  /**
130*e4b17023SJohn Marino   *  This is an SGI extension.
131*e4b17023SJohn Marino   *  @ingroup SGIextensions
132*e4b17023SJohn Marino   *  @doctodo
133*e4b17023SJohn Marino  */
134*e4b17023SJohn Marino  // iota is not part of the C++ standard.  It is an extension.
135*e4b17023SJohn Marino  template<typename _ForwardIter, typename _Tp>
136*e4b17023SJohn Marino    void
137*e4b17023SJohn Marino    iota(_ForwardIter __first, _ForwardIter __last, _Tp __value)
138*e4b17023SJohn Marino    {
139*e4b17023SJohn Marino      // concept requirements
140*e4b17023SJohn Marino      __glibcxx_function_requires(_Mutable_ForwardIteratorConcept<_ForwardIter>)
141*e4b17023SJohn Marino      __glibcxx_function_requires(_ConvertibleConcept<_Tp,
142*e4b17023SJohn Marino	    typename std::iterator_traits<_ForwardIter>::value_type>)
143*e4b17023SJohn Marino
144*e4b17023SJohn Marino      while (__first != __last)
145*e4b17023SJohn Marino	*__first++ = __value++;
146*e4b17023SJohn Marino    }
147*e4b17023SJohn Marino#endif  // __GXX_EXPERIMENTAL_CXX0X__
148*e4b17023SJohn Marino
149*e4b17023SJohn Marino_GLIBCXX_END_NAMESPACE_VERSION
150*e4b17023SJohn Marino} // namespace
151*e4b17023SJohn Marino
152*e4b17023SJohn Marino#endif
153