Manuals/calci/GENERATENEGZEROPOS

GENERATENEGZEROPOS (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 Integer values with in the given range.
• In $GENERATENEGZEROPOS(Range,HowMany)$,$Range$ is the range between which numbers are displayed.
• $HowMany$ is the count as how many numbers are to be displayed.
• 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.
• Here it is showing the 0,1 and -1 with the specified count values.

Examples

1. GENERATENEGZEROPOS(60,7) = 1 -1 -1 1 -1 -1 0
2. GENERATENEGZEROPOS(4532,3) = 0 1 1
3. GENERATENEGZEROPOS(-432,5) = 1 -1 1 -1 -1

See Also

• GENERATENEGATIVENONZEROINTEGER
• GENERATEINTEGER
• GENERATENUMBER

References

• Positive and Negative numbers

• List of Main Z Functions

• Z3 home