Manuals/calci/GENERATENEGATIVENONZEROINTEGER

GENERATENEGATIVENONZEROINTEGER(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 negative values with in the given range of values.
• In $GENERATENEGATIVENONZEROINTEGER(Range,HowMany)$,$Range$ is the range between which numbers are displayed.
• $HowMany$ is the count as how many numbers are to be displayed.
• A negative number is a real number which is less than zero.
• Negative numbers are usually written with a minus 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.
• Here it is showing all the negative values in Integer with in the specified range.

Examples

1. GENERATENEGATIVENONZEROINTEGER(34,4) = -24 -4 -33 -32
2. GENERATENEGATIVENONZEROINTEGER(890,5.6) = -160 -662 -818 -434 -836 -532
3. GENERATENEGATIVENONZEROINTEGER(-9876,3) = -9360 -6455 -6049
4. GENERATENEGATIVENONZEROINTEGER(4/5,5) = -1 -1 -1 -1 -1

See Also

• GENERATENUMBER
• GENERATEINTEGER
• GENERATENATURAL

References

• Integer

• List of Main Z Functions

• Z3 home