_^_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _×_
_÷_
_mod_
_+_
_-_
-_
_^_
Argument 2 _×_
_÷_
_mod_
_+_
_-_

Definitions:

type of Euler number, double
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer an approximation of the natural exponential function for the given exponent, i.e., e^{@param x }.
Position Name Type Description
Parameters
1 eulerNumber type of Euler number Euler's number.
2 x double The exponent.
Returns double An approximation of e^{@param x }.
type of Euler number, float
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer an approximation of the natural exponential function for the given exponent, i.e., e^{@param x }.
Position Name Type Description
Parameters
1 eulerNumber type of Euler number Euler's number.
2 x float The exponent.
Returns float An approximation of e^{@param x }.
number, number
Source: /avail/Avail/Foundation/Late Math
Categories: Mathematics, Numbers
Compute and answer the result of exponentiating base by exponent.
Position Name Type Description
Parameters
1 base number
2 exponent number
Returns number The result of raising base to the exponent power.
extended integer's type, whole number's type
Source: /avail/Avail/Foundation/Late Math
Categories: Mathematics, Numbers
Support exponentiation of ranges of integral arguments. This could be useful for semantic restrictions in clients that compose things with exponentiation.
Position Name Type Description
Parameters
1 base extended integer's type
2 power whole number's type
Returns extended integer's type

Semantic restrictions:

extended integer's type, whole number's type
Source: /avail/Avail/Foundation/Late Math
Restrict integral exponentiation, in particular when the power is a whole number.
Type Description
Parameter Types
extended integer's type
whole number's type
number, number
Source: /avail/Avail/Foundation/Late Math
Establish type promotion rules for exponentiation. Also handle instance types.
Type Description
Parameter Types
number
number