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