1994-08-19 09:40:01 +00:00
|
|
|
.\" Copyright (c) 1985, 1991 Regents of the University of California.
|
|
|
|
.\" All rights reserved.
|
|
|
|
.\"
|
|
|
|
.\" Redistribution and use in source and binary forms, with or without
|
|
|
|
.\" modification, are permitted provided that the following conditions
|
|
|
|
.\" are met:
|
|
|
|
.\" 1. Redistributions of source code must retain the above copyright
|
|
|
|
.\" notice, this list of conditions and the following disclaimer.
|
|
|
|
.\" 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
.\" notice, this list of conditions and the following disclaimer in the
|
|
|
|
.\" documentation and/or other materials provided with the distribution.
|
2017-02-28 23:42:47 +00:00
|
|
|
.\" 3. Neither the name of the University nor the names of its contributors
|
1994-08-19 09:40:01 +00:00
|
|
|
.\" may be used to endorse or promote products derived from this software
|
|
|
|
.\" without specific prior written permission.
|
|
|
|
.\"
|
|
|
|
.\" THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
.\" ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
.\" IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
.\" ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
|
|
|
|
.\" FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
.\" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
.\" OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
.\" HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
.\" LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
.\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
.\" SUCH DAMAGE.
|
|
|
|
.\"
|
|
|
|
.\" from: @(#)exp.3 6.12 (Berkeley) 7/31/91
|
1999-08-28 00:22:10 +00:00
|
|
|
.\" $FreeBSD$
|
1994-08-19 09:40:01 +00:00
|
|
|
.\"
|
2020-04-01 22:50:41 +00:00
|
|
|
.Dd April 1, 2020
|
1994-08-19 09:40:01 +00:00
|
|
|
.Dt EXP 3
|
2001-07-10 13:41:46 +00:00
|
|
|
.Os
|
1994-08-19 09:40:01 +00:00
|
|
|
.Sh NAME
|
|
|
|
.Nm exp ,
|
1995-03-01 05:06:48 +00:00
|
|
|
.Nm expf ,
|
2012-07-23 19:13:55 +00:00
|
|
|
.Nm expl ,
|
|
|
|
.\" The sorting error is intentional. exp, expf, and expl should be adjacent.
|
2005-04-05 02:57:28 +00:00
|
|
|
.Nm exp2 ,
|
|
|
|
.Nm exp2f ,
|
2008-01-18 21:43:00 +00:00
|
|
|
.Nm exp2l ,
|
1994-08-19 09:40:01 +00:00
|
|
|
.Nm expm1 ,
|
1995-03-01 05:06:48 +00:00
|
|
|
.Nm expm1f ,
|
2013-06-03 19:51:32 +00:00
|
|
|
.Nm expm1l ,
|
1995-03-01 05:06:48 +00:00
|
|
|
.Nm pow ,
|
2015-11-09 10:40:16 +00:00
|
|
|
.Nm powf ,
|
|
|
|
.Nm powl
|
2008-01-18 21:43:00 +00:00
|
|
|
.Nd exponential and power functions
|
2001-10-13 12:23:23 +00:00
|
|
|
.Sh LIBRARY
|
|
|
|
.Lb libm
|
1994-08-19 09:40:01 +00:00
|
|
|
.Sh SYNOPSIS
|
2001-10-01 16:09:29 +00:00
|
|
|
.In math.h
|
1994-08-19 09:40:01 +00:00
|
|
|
.Ft double
|
|
|
|
.Fn exp "double x"
|
1995-03-01 05:06:48 +00:00
|
|
|
.Ft float
|
|
|
|
.Fn expf "float x"
|
2012-07-23 19:13:55 +00:00
|
|
|
.Ft long double
|
|
|
|
.Fn expl "long double x"
|
1994-08-19 09:40:01 +00:00
|
|
|
.Ft double
|
2005-04-05 02:57:28 +00:00
|
|
|
.Fn exp2 "double x"
|
|
|
|
.Ft float
|
|
|
|
.Fn exp2f "float x"
|
2008-01-18 21:43:00 +00:00
|
|
|
.Ft long double
|
|
|
|
.Fn exp2l "long double x"
|
2005-04-05 02:57:28 +00:00
|
|
|
.Ft double
|
1994-08-19 09:40:01 +00:00
|
|
|
.Fn expm1 "double x"
|
1995-03-01 05:06:48 +00:00
|
|
|
.Ft float
|
|
|
|
.Fn expm1f "float x"
|
2013-06-03 19:51:32 +00:00
|
|
|
.Ft long double
|
|
|
|
.Fn expm1l "long double x"
|
1994-08-19 09:40:01 +00:00
|
|
|
.Ft double
|
|
|
|
.Fn pow "double x" "double y"
|
1995-03-01 05:06:48 +00:00
|
|
|
.Ft float
|
|
|
|
.Fn powf "float x" "float y"
|
2015-11-09 10:40:16 +00:00
|
|
|
.Ft long double
|
|
|
|
.Fn powl "long double x" "long double y"
|
1994-08-19 09:40:01 +00:00
|
|
|
.Sh DESCRIPTION
|
|
|
|
The
|
2012-07-23 19:13:55 +00:00
|
|
|
.Fn exp ,
|
|
|
|
.Fn expf ,
|
|
|
|
and
|
|
|
|
.Fn expl
|
2005-04-05 02:57:28 +00:00
|
|
|
functions compute the base
|
|
|
|
.Ms e
|
|
|
|
exponential value of the given argument
|
|
|
|
.Fa x .
|
|
|
|
.Pp
|
|
|
|
The
|
2008-01-18 21:43:00 +00:00
|
|
|
.Fn exp2 ,
|
|
|
|
.Fn exp2f ,
|
|
|
|
and
|
|
|
|
.Fn exp2l
|
2005-04-05 02:57:28 +00:00
|
|
|
functions compute the base 2 exponential of the given argument
|
1994-08-19 09:40:01 +00:00
|
|
|
.Fa x .
|
|
|
|
.Pp
|
|
|
|
The
|
2013-06-03 19:51:32 +00:00
|
|
|
.Fn expm1 ,
|
|
|
|
.Fn expm1f ,
|
2001-07-15 07:53:42 +00:00
|
|
|
and the
|
2013-06-03 19:51:32 +00:00
|
|
|
.Fn expm1l
|
1995-03-01 05:06:48 +00:00
|
|
|
functions compute the value exp(x)\-1 accurately even for tiny argument
|
1994-08-19 09:40:01 +00:00
|
|
|
.Fa x .
|
|
|
|
.Pp
|
|
|
|
The
|
2015-11-09 10:40:16 +00:00
|
|
|
.Fn pow ,
|
|
|
|
.Fn powf ,
|
1995-03-01 05:06:48 +00:00
|
|
|
and the
|
2015-11-09 10:40:16 +00:00
|
|
|
.Fn powl
|
1995-03-01 05:06:48 +00:00
|
|
|
functions compute the value
|
1994-08-19 09:40:01 +00:00
|
|
|
of
|
|
|
|
.Ar x
|
|
|
|
to the exponent
|
|
|
|
.Ar y .
|
|
|
|
.Sh ERROR (due to Roundoff etc.)
|
2005-04-05 02:57:28 +00:00
|
|
|
The values of
|
|
|
|
.Fn exp 0 ,
|
|
|
|
.Fn expm1 0 ,
|
|
|
|
.Fn exp2 integer ,
|
1999-11-09 00:18:22 +00:00
|
|
|
and
|
1994-08-19 09:40:01 +00:00
|
|
|
.Fn pow integer integer
|
2005-04-05 02:57:28 +00:00
|
|
|
are exact provided that they are representable.
|
|
|
|
.\" XXX Is this really true for pow()?
|
|
|
|
Otherwise the error in these functions is generally below one
|
|
|
|
.Em ulp .
|
1994-08-19 09:40:01 +00:00
|
|
|
.Sh RETURN VALUES
|
|
|
|
These functions will return the appropriate computation unless an error
|
|
|
|
occurs or an argument is out of range.
|
|
|
|
The functions
|
2015-11-09 10:40:16 +00:00
|
|
|
.Fn pow x y ,
|
|
|
|
.Fn powf x y ,
|
2005-01-14 23:28:28 +00:00
|
|
|
and
|
2015-11-09 10:40:16 +00:00
|
|
|
.Fn powl x y
|
2005-01-14 23:28:28 +00:00
|
|
|
raise an invalid exception and return an \*(Na if
|
1994-08-19 09:40:01 +00:00
|
|
|
.Fa x
|
|
|
|
< 0 and
|
|
|
|
.Fa y
|
2005-01-14 23:28:28 +00:00
|
|
|
is not an integer.
|
1994-08-19 09:40:01 +00:00
|
|
|
.Sh NOTES
|
|
|
|
The function
|
|
|
|
.Fn pow x 0
|
2005-04-05 02:57:28 +00:00
|
|
|
returns x**0 = 1 for all x including x = 0, \*(If, and \*(Na .
|
2001-02-01 16:38:02 +00:00
|
|
|
Previous implementations of pow may
|
1994-08-19 09:40:01 +00:00
|
|
|
have defined x**0 to be undefined in some or all of these
|
2004-07-02 23:52:20 +00:00
|
|
|
cases.
|
|
|
|
Here are reasons for returning x**0 = 1 always:
|
1994-08-19 09:40:01 +00:00
|
|
|
.Bl -enum -width indent
|
|
|
|
.It
|
|
|
|
Any program that already tests whether x is zero (or
|
|
|
|
infinite or \*(Na) before computing x**0 cannot care
|
2000-03-02 09:14:21 +00:00
|
|
|
whether 0**0 = 1 or not.
|
|
|
|
Any program that depends
|
1994-08-19 09:40:01 +00:00
|
|
|
upon 0**0 to be invalid is dubious anyway since that
|
2001-07-15 07:53:42 +00:00
|
|
|
expression's meaning and, if invalid, its consequences
|
1994-08-19 09:40:01 +00:00
|
|
|
vary from one computer system to another.
|
|
|
|
.It
|
2004-07-02 23:52:20 +00:00
|
|
|
Some Algebra texts (e.g.\& Sigler's) define x**0 = 1 for
|
1994-08-19 09:40:01 +00:00
|
|
|
all x, including x = 0.
|
|
|
|
This is compatible with the convention that accepts a[0]
|
|
|
|
as the value of polynomial
|
|
|
|
.Bd -literal -offset indent
|
|
|
|
p(x) = a[0]\(**x**0 + a[1]\(**x**1 + a[2]\(**x**2 +...+ a[n]\(**x**n
|
|
|
|
.Ed
|
|
|
|
.Pp
|
|
|
|
at x = 0 rather than reject a[0]\(**0**0 as invalid.
|
|
|
|
.It
|
|
|
|
Analysts will accept 0**0 = 1 despite that x**y can
|
|
|
|
approach anything or nothing as x and y approach 0
|
|
|
|
independently.
|
|
|
|
The reason for setting 0**0 = 1 anyway is this:
|
2001-02-07 13:45:30 +00:00
|
|
|
.Bd -ragged -offset indent
|
1994-08-19 09:40:01 +00:00
|
|
|
If x(z) and y(z) are
|
|
|
|
.Em any
|
|
|
|
functions analytic (expandable
|
2001-07-15 07:53:42 +00:00
|
|
|
in power series) in z around z = 0, and if there
|
1994-08-19 09:40:01 +00:00
|
|
|
x(0) = y(0) = 0, then x(z)**y(z) \(-> 1 as z \(-> 0.
|
|
|
|
.Ed
|
|
|
|
.It
|
|
|
|
If 0**0 = 1, then
|
2005-01-16 16:49:10 +00:00
|
|
|
\*(If**0 = 1/0**0 = 1 too; and
|
1994-08-19 09:40:01 +00:00
|
|
|
then \*(Na**0 = 1 too because x**0 = 1 for all finite
|
|
|
|
and infinite x, i.e., independently of x.
|
|
|
|
.El
|
|
|
|
.Sh SEE ALSO
|
2018-07-20 18:27:30 +00:00
|
|
|
.Xr clog 3
|
|
|
|
.Xr cpow 3
|
2005-01-14 23:28:28 +00:00
|
|
|
.Xr fenv 3 ,
|
2008-01-18 21:43:00 +00:00
|
|
|
.Xr ldexp 3 ,
|
|
|
|
.Xr log 3 ,
|
1996-02-12 01:20:38 +00:00
|
|
|
.Xr math 3
|
2008-01-18 21:43:00 +00:00
|
|
|
.Sh STANDARDS
|
|
|
|
These functions conform to
|
|
|
|
.St -isoC-99 .
|
2020-04-01 22:50:41 +00:00
|
|
|
.Sh HISTORY
|
|
|
|
The
|
|
|
|
.Fn exp
|
|
|
|
function appeared in
|
|
|
|
.At v1 .
|