Difference between revisions of "Manuals/calci/FACTORIAL"
(6 intermediate revisions by 2 users not shown) | |||
Line 14: | Line 14: | ||
==Examples== | ==Examples== | ||
#FACTORIAL(9) = 362880 | #FACTORIAL(9) = 362880 | ||
− | #FACTORIAL(4.3) = | + | #FACTORIAL(4.3) = 38.0779764499523 |
#FACTORIAL(54) = 2.308436973392414e+71 | #FACTORIAL(54) = 2.308436973392414e+71 | ||
− | #FACTORIAL(-3) = | + | #FACTORIAL(-3) = Infinity |
+ | #a=(5!)! = 6.689502913449128e+198 | ||
+ | |||
+ | ==Related Videos== | ||
+ | |||
+ | {{#ev:youtube|v=pxh__ugRKz8|280|center|Factorials}} | ||
==See Also== | ==See Also== | ||
*[[Manuals/calci/FACTDOUBLE | FACTDOUBLE]] | *[[Manuals/calci/FACTDOUBLE | FACTDOUBLE]] | ||
+ | *[[Manuals/calci/FACTUNTIL | FACTUNTIL ]] | ||
+ | *[[Z_API_Functions | List of Main Z Functions]] | ||
+ | *[[Z3 | Z3 home ]] | ||
==References== | ==References== | ||
*[http://en.wikipedia.org/wiki/Factorial Factorial] | *[http://en.wikipedia.org/wiki/Factorial Factorial] | ||
+ | |||
+ | |||
+ | |||
+ | *[[Z_API_Functions | List of Main Z Functions]] | ||
+ | |||
+ | *[[ Z3 | Z3 home ]] |
Latest revision as of 05:22, 14 April 2022
FACTORIAL (Number)
- is any positive integer.
Description
- This function is showing the result of factorial of a number.
- Factorial means the result of multiplying a sequence of descending natural numbers down to 1.
- In , is any positive integer.
- So the factorial is defined for a positive integer n as:
.
- For example 4!=4*3*2*1 = 24.
- The given number will truncated to integer if the given number is in Decimal.
- This function will returns the result as NaN when the given number is in negative.
Examples
- FACTORIAL(9) = 362880
- FACTORIAL(4.3) = 38.0779764499523
- FACTORIAL(54) = 2.308436973392414e+71
- FACTORIAL(-3) = Infinity
- a=(5!)! = 6.689502913449128e+198
Related Videos
See Also
References