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