Manuals/calci/GENERATEPOSITIVE

GENERATEPOSITIVE (Range,HowMany)

• $Range$ is the range between which numbers are displayed.
• $HowMany$ is the count as how many numbers are to be displayed.

Description

• This function shows the positive values with in the given range of values.
• In $GENERATEPOSITIVE(Range,HowMany)$,$Range$ is the range between which numbers are displayed.
• $HowMany$ is the count as how many numbers are to be displayed.
• A positive number is a real number which is greater than zero.
• Positive numbers are usually written without any sign or a plus sign in front.Every real number other than zero is either positive or negative.
• Here it is showing all the positive values in decimals with in the specified range.
• For example GENERATEPOSITIVE(4,2)=3.6928006200804546 2.6342404147630454

Examples

1. GENERATEPOSITIVE(5,2) = 4.593055502601008 3.8801138987342174
2. GENERATEPOSITIVE(654,6.2) = 356.434508567822 139.65836737275245 281.23647465253674 613.2879254939877 400.2802017512413 640.4026259944553 601.4962463418055
3. GENERATEPOSITIVE(-5432,5) = 1.0723797709248828 4653.385729516522 4520.44841269371 3274.2862406399345 543.1773514877133

See Also

• GENERATENEGATIVENONZEROINTEGER
• GENERATEINTEGER
• GENERATENATURAL

References

• Integers

• List of Main Z Functions

• Z3 home