This concept’s semantic web URI is: [
http://sw.opencyc.org/2008/06/10/concept/en/ExpFn
]
<< SEARCH ALL CONCEPTS
VIEW A RANDOM CONCEPT >>
Exp Fn
Unique Tag: [
ExpFn
]
A unary
evaluatable function
that is the
CycL
version of the exponential operator. It takes instances of
complex number
and returns instances of
complex number
. (
Exp Fn
NUM) is e^NUM, i.e. e raised to the power of NUM (where e is
e
). When NUM is a
real number
, (
Exp Fn
NUM) is necessarily a
positive number
. In particular, (
Exp Fn
1) is e. The inverse of this function (cf.
Inverse Quant Functions Nonsymmetric
) is
Log Fn
. Note that although the arg constraint for
Exp Fn
is
complex number
, its
Evaluation Defn
only evaluates to a value when NUM is a
real number
. See also
Exponent Fn
, a binary function which returns the result of raising a specified number to a specified exponent.
Exp Fn
is an Example of:
Arithmetic functions math topic
Function from quantities to quantities
SKSI supported function
Term macro function
Unary function
Unit of measure concept
Click Here to Add a Comment