# 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