Manuals/calci/GENERATEPOSITIVENONZEROINTEGER

GENERATEPOSITIVENONZEROINTEGER(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 generates the positive integer values with in the given range.
• In $GENERATEPOSITIVENONZEROINTEGER(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.
• An integer is a number that can be written without a fractional component.
• The set of integers consists of zero, the positive natural numbers and negative natural numbers.
• But this function only generates positive integer numbers only which means it won't include zero , any other negative values and decimal values.
• For example GENERATEPOSITIVENONZEROINTEGER(5,3),which generates 3 positive integer numbers with in the limit 5.

Examples

1. GENERATEPOSITIVENONZEROINTEGER(10,3) = 4 7 2
2. GENERATEPOSITIVENONZEROINTEGER(2786,5.7) = 1617 1705 296 1223 970 1471
3. GENERATEPOSITIVENONZEROINTEGER(-5000,7) = 293 3785 3641 4024 3327 75 4672

See Also

• GENERATENEGATIVENONZEROINTEGER
• GENERATEINTEGER
• GENERATENATURAL

References

• Integers

• List of Main Z Functions

• Z3 home