Difference between revisions of "Manuals/calci/UNIFORMDISTRIBUTED"
Jump to navigation
Jump to search
Line 29: | Line 29: | ||
|} | |} | ||
− | + | ==See Also== | |
− | + | *[[Manuals/calci/BERNOULLIDISTRIBUTED | BERNOULLIDISTRIBUTED ]] | |
− | + | *[[Manuals/calci/BINOMIALDISTRIBUTED | BINOMIALDISTRIBUTED ]] | |
− | + | *[[Manuals/calci/NORMALDISTRIBUTED | NORMALDISTRIBUTED ]] | |
− | + | ||
− | + | ==References== | |
− | + | *[http://mathworld.wolfram.com/UniformDistribution.html Uniform Distribution] | |
+ | |||
+ | *[[Z_API_Functions | List of Main Z Functions]] | ||
+ | |||
+ | *[[ Z3 | Z3 home ]] |
Revision as of 13:09, 21 September 2017
UNIFORMDISTRIBUTED (Numbers,Min,Max)
- is the number of variables.
- is the minimum value.
- is the maximum value.
Description
- This function shows the value of the Uniform distribution.
- In , is the number of variables.
- is the minimum value and is the maximum value.
- A uniform distribution, sometimes also known as a rectangular distribution.Uniform distribution has constant probability.
- The probability density function and cumulative distribution function for a continuous uniform distribution on the interval are
Examples
- UNIFORMDISTRIBUTED(3,2,7) = 6.659664455776188 6.990120242068037 2.4882508586819068
- UNIFORMDISTRIBUTED(1..3,-2,0)
Numbers | Min | Max | UNIFORMDISTRIBUTED |
---|---|---|---|
1 | -2 | 0 | -0.38819952844254946 |
2 | -2 | 0 | -1.628112389920573 -1.7184357400573753 |
3 | -2 | 0 | -0.26144691128294006 -0.09738283572669815 -1.0603991883330703 |