Difference between revisions of "Manuals/calci/FACTORIAL"
Jump to navigation
Jump to search
Line 21: | Line 21: | ||
*[[Manuals/calci/FACTDOUBLE | FACTDOUBLE]] | *[[Manuals/calci/FACTDOUBLE | FACTDOUBLE]] | ||
*[[Manuals/calci/FACTUNTIL | FACTUNTIL ]] | *[[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] |
Revision as of 15:46, 9 March 2017
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) = 24
- FACTORIAL(54) = 2.308436973392414e+71
- FACTORIAL(-3) = NaN