Difference between revisions of "Manuals/calci/FACTUNTIL"
Jump to navigation
Jump to search
| (3 intermediate revisions by 2 users not shown) | |||
| Line 14: | Line 14: | ||
#FACTUNTIL(10,7) = 720 | #FACTUNTIL(10,7) = 720 | ||
#FACTUNTIL(54,45) = 1929772710028800 | #FACTUNTIL(54,45) = 1929772710028800 | ||
| − | #FACTUNTIL(9,6.2) = | + | #FACTUNTIL(9,6.2) = 345.49542456875366 |
| + | |||
| + | ==Related Videos== | ||
| + | |||
| + | {{#ev:youtube|v=pxh__ugRKz8|280|center|Factorials}} | ||
==See Also== | ==See Also== | ||
*[[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] | ||
| + | |||
| + | |||
| + | |||
| + | *[[Z_API_Functions | List of Main Z Functions]] | ||
| + | |||
| + | *[[ Z3 | Z3 home ]] | ||
Latest revision as of 05:24, 14 April 2022
FACTUNTIL (Number,NumberTill)
- is the minimum number.
- is the maximum number.
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:
, 
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) = 345.49542456875366
Related Videos
See Also
References