This concept’s semantic web URI is: [ http://sw.opencyc.org/2008/06/10/concept/en/ExpFn ]

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.
 Click Here to Add a Comment