100db7afdSDavid E. O'Brien// Numeric extensions -*- C++ -*-
200db7afdSDavid E. O'Brien
3*f8a1b7d9SAlexander Kabaev// Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc.
400db7afdSDavid E. O'Brien//
500db7afdSDavid E. O'Brien// This file is part of the GNU ISO C++ Library.  This library is free
600db7afdSDavid E. O'Brien// software; you can redistribute it and/or modify it under the
700db7afdSDavid E. O'Brien// terms of the GNU General Public License as published by the
800db7afdSDavid E. O'Brien// Free Software Foundation; either version 2, or (at your option)
900db7afdSDavid E. O'Brien// any later version.
1000db7afdSDavid E. O'Brien
1100db7afdSDavid E. O'Brien// This library is distributed in the hope that it will be useful,
1200db7afdSDavid E. O'Brien// but WITHOUT ANY WARRANTY; without even the implied warranty of
1300db7afdSDavid E. O'Brien// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
1400db7afdSDavid E. O'Brien// GNU General Public License for more details.
1500db7afdSDavid E. O'Brien
1600db7afdSDavid E. O'Brien// You should have received a copy of the GNU General Public License along
1700db7afdSDavid E. O'Brien// with this library; see the file COPYING.  If not, write to the Free
18*f8a1b7d9SAlexander Kabaev// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
1900db7afdSDavid E. O'Brien// USA.
2000db7afdSDavid E. O'Brien
2100db7afdSDavid E. O'Brien// As a special exception, you may use this file as part of a free software
2200db7afdSDavid E. O'Brien// library without restriction.  Specifically, if other files instantiate
2300db7afdSDavid E. O'Brien// templates or use macros or inline functions from this file, or you compile
2400db7afdSDavid E. O'Brien// this file and link it with other files to produce an executable, this
2500db7afdSDavid E. O'Brien// file does not by itself cause the resulting executable to be covered by
2600db7afdSDavid E. O'Brien// the GNU General Public License.  This exception does not however
2700db7afdSDavid E. O'Brien// invalidate any other reasons why the executable file might be covered by
2800db7afdSDavid E. O'Brien// the GNU General Public License.
2900db7afdSDavid E. O'Brien
3000db7afdSDavid E. O'Brien/*
3100db7afdSDavid E. O'Brien *
3200db7afdSDavid E. O'Brien * Copyright (c) 1994
3300db7afdSDavid E. O'Brien * Hewlett-Packard Company
3400db7afdSDavid E. O'Brien *
3500db7afdSDavid E. O'Brien * Permission to use, copy, modify, distribute and sell this software
3600db7afdSDavid E. O'Brien * and its documentation for any purpose is hereby granted without fee,
3700db7afdSDavid E. O'Brien * provided that the above copyright notice appear in all copies and
3800db7afdSDavid E. O'Brien * that both that copyright notice and this permission notice appear
3900db7afdSDavid E. O'Brien * in supporting documentation.  Hewlett-Packard Company makes no
4000db7afdSDavid E. O'Brien * representations about the suitability of this software for any
4100db7afdSDavid E. O'Brien * purpose.  It is provided "as is" without express or implied warranty.
4200db7afdSDavid E. O'Brien *
4300db7afdSDavid E. O'Brien *
4400db7afdSDavid E. O'Brien * Copyright (c) 1996
4500db7afdSDavid E. O'Brien * Silicon Graphics Computer Systems, Inc.
4600db7afdSDavid E. O'Brien *
4700db7afdSDavid E. O'Brien * Permission to use, copy, modify, distribute and sell this software
4800db7afdSDavid E. O'Brien * and its documentation for any purpose is hereby granted without fee,
4900db7afdSDavid E. O'Brien * provided that the above copyright notice appear in all copies and
5000db7afdSDavid E. O'Brien * that both that copyright notice and this permission notice appear
5100db7afdSDavid E. O'Brien * in supporting documentation.  Silicon Graphics makes no
5200db7afdSDavid E. O'Brien * representations about the suitability of this software for any
5300db7afdSDavid E. O'Brien * purpose.  It is provided "as is" without express or implied warranty.
5400db7afdSDavid E. O'Brien */
5500db7afdSDavid E. O'Brien
5600db7afdSDavid E. O'Brien/** @file ext/numeric
5700db7afdSDavid E. O'Brien *  This file is a GNU extension to the Standard C++ Library (possibly
58*f8a1b7d9SAlexander Kabaev *  containing extensions from the HP/SGI STL subset).
5900db7afdSDavid E. O'Brien */
6000db7afdSDavid E. O'Brien
6100db7afdSDavid E. O'Brien#ifndef _EXT_NUMERIC
62ffeaf689SAlexander Kabaev#define _EXT_NUMERIC 1
6300db7afdSDavid E. O'Brien
6400db7afdSDavid E. O'Brien#pragma GCC system_header
65ffeaf689SAlexander Kabaev
6600db7afdSDavid E. O'Brien#include <bits/concept_check.h>
6700db7afdSDavid E. O'Brien#include <numeric>
6800db7afdSDavid E. O'Brien
6900db7afdSDavid E. O'Brien#include <ext/functional> // For identity_element
7000db7afdSDavid E. O'Brien
71*f8a1b7d9SAlexander Kabaev_GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
72*f8a1b7d9SAlexander Kabaev
7300db7afdSDavid E. O'Brien  // Returns __x ** __n, where __n >= 0.  _Note that "multiplication"
7400db7afdSDavid E. O'Brien  // is required to be associative, but not necessarily commutative.
7500db7afdSDavid E. O'Brien  template<typename _Tp, typename _Integer, typename _MonoidOperation>
7600db7afdSDavid E. O'Brien    _Tp
7700db7afdSDavid E. O'Brien    __power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
7800db7afdSDavid E. O'Brien    {
7900db7afdSDavid E. O'Brien      if (__n == 0)
8000db7afdSDavid E. O'Brien	return identity_element(__monoid_op);
81*f8a1b7d9SAlexander Kabaev      else
82*f8a1b7d9SAlexander Kabaev	{
83*f8a1b7d9SAlexander Kabaev	  while ((__n & 1) == 0)
84*f8a1b7d9SAlexander Kabaev	    {
8500db7afdSDavid E. O'Brien	      __n >>= 1;
8600db7afdSDavid E. O'Brien	      __x = __monoid_op(__x, __x);
8700db7afdSDavid E. O'Brien	    }
8800db7afdSDavid E. O'Brien
8900db7afdSDavid E. O'Brien	  _Tp __result = __x;
9000db7afdSDavid E. O'Brien	  __n >>= 1;
91*f8a1b7d9SAlexander Kabaev	  while (__n != 0)
92*f8a1b7d9SAlexander Kabaev	    {
9300db7afdSDavid E. O'Brien	      __x = __monoid_op(__x, __x);
9400db7afdSDavid E. O'Brien	      if ((__n & 1) != 0)
9500db7afdSDavid E. O'Brien		__result = __monoid_op(__result, __x);
9600db7afdSDavid E. O'Brien	      __n >>= 1;
9700db7afdSDavid E. O'Brien	    }
9800db7afdSDavid E. O'Brien	  return __result;
9900db7afdSDavid E. O'Brien	}
10000db7afdSDavid E. O'Brien    }
10100db7afdSDavid E. O'Brien
10200db7afdSDavid E. O'Brien  template<typename _Tp, typename _Integer>
10300db7afdSDavid E. O'Brien    inline _Tp
10400db7afdSDavid E. O'Brien    __power(_Tp __x, _Integer __n)
10500db7afdSDavid E. O'Brien    { return __power(__x, __n, std::multiplies<_Tp>()); }
10600db7afdSDavid E. O'Brien
107ca6500fcSAlexander Kabaev  /**
108ca6500fcSAlexander Kabaev   *  This is an SGI extension.
109ca6500fcSAlexander Kabaev   *  @ingroup SGIextensions
110ca6500fcSAlexander Kabaev   *  @doctodo
111ca6500fcSAlexander Kabaev  */
112ffeaf689SAlexander Kabaev  // Alias for the internal name __power.  Note that power is an extension,
113ffeaf689SAlexander Kabaev  // not part of the C++ standard.
11400db7afdSDavid E. O'Brien  template<typename _Tp, typename _Integer, typename _MonoidOperation>
11500db7afdSDavid E. O'Brien    inline _Tp
11600db7afdSDavid E. O'Brien    power(_Tp __x, _Integer __n, _MonoidOperation __monoid_op)
11700db7afdSDavid E. O'Brien    { return __power(__x, __n, __monoid_op); }
11800db7afdSDavid E. O'Brien
119ca6500fcSAlexander Kabaev  /**
120ca6500fcSAlexander Kabaev   *  This is an SGI extension.
121ca6500fcSAlexander Kabaev   *  @ingroup SGIextensions
122ca6500fcSAlexander Kabaev   *  @doctodo
123ca6500fcSAlexander Kabaev  */
12400db7afdSDavid E. O'Brien  template<typename _Tp, typename _Integer>
12500db7afdSDavid E. O'Brien    inline _Tp
12600db7afdSDavid E. O'Brien    power(_Tp __x, _Integer __n)
12700db7afdSDavid E. O'Brien    { return __power(__x, __n); }
12800db7afdSDavid E. O'Brien
129ca6500fcSAlexander Kabaev  /**
130ca6500fcSAlexander Kabaev   *  This is an SGI extension.
131ca6500fcSAlexander Kabaev   *  @ingroup SGIextensions
132ca6500fcSAlexander Kabaev   *  @doctodo
133ca6500fcSAlexander Kabaev  */
134ffeaf689SAlexander Kabaev  // iota is not part of the C++ standard.  It is an extension.
13500db7afdSDavid E. O'Brien  template<typename _ForwardIter, typename _Tp>
13600db7afdSDavid E. O'Brien    void
13700db7afdSDavid E. O'Brien    iota(_ForwardIter __first, _ForwardIter __last, _Tp __value)
13800db7afdSDavid E. O'Brien    {
13900db7afdSDavid E. O'Brien      // concept requirements
140ffeaf689SAlexander Kabaev      __glibcxx_function_requires(_Mutable_ForwardIteratorConcept<_ForwardIter>)
141ffeaf689SAlexander Kabaev      __glibcxx_function_requires(_ConvertibleConcept<_Tp,
14200db7afdSDavid E. O'Brien	    typename std::iterator_traits<_ForwardIter>::value_type>)
14300db7afdSDavid E. O'Brien
14400db7afdSDavid E. O'Brien      while (__first != __last)
14500db7afdSDavid E. O'Brien	*__first++ = __value++;
14600db7afdSDavid E. O'Brien    }
147*f8a1b7d9SAlexander Kabaev
148*f8a1b7d9SAlexander Kabaev_GLIBCXX_END_NAMESPACE
14900db7afdSDavid E. O'Brien
150ffeaf689SAlexander Kabaev#endif
15100db7afdSDavid E. O'Brien
152