Difference between revisions of "Manuals/calci/FACTUNTIL"
Jump to navigation
Jump to search
Line 19: | Line 19: | ||
*[[Manuals/calci/FACTORIAL | FACTORIAL]] | *[[Manuals/calci/FACTORIAL | FACTORIAL]] | ||
*[[Manuals/calci/FACTDOUBLE | FACTDOUBLE]] | *[[Manuals/calci/FACTDOUBLE | FACTDOUBLE]] | ||
+ | *[[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 14:47, 9 March 2017
FACTUNTIL (Number,NumberTill)
- is the minimum number.
- is the maximum number.
Description
- This function shows the factorial value up to the mentioned value.
- In , is the value to start and is the maximum limit value.
- Factorial means the result of multiplying a sequence of descending natural numbers down to 1.
- So the factorial is defined for a positive integer n as:
.
- For example FACTUNTIL(9,4) calculates the value of 9*8*7*6*5.
Examples
- FACTUNTIL(10,7) = 720
- FACTUNTIL(54,45) = 1929772710028800
- FACTUNTIL(9,6.2) = 504