Manuals/calci/EVENSET

EVENSET (Array)

• $Array$ is the set of values.

Description

• This function shows even number of values from the given set.
• In $EVENSET(Array)$, $Array$ is the set of values.
• Here it is showing the even number of values.
• That means it is starting from the initial number and 2nd,4th,6th value and so on.
• Here Skip value is automatically adjusted for even set of numbers.

Examples

1. EVENSET([2,3,1,4,9,12,65,23,10,5,17],1) = 2 3 4 12 23 5
2. EVENSET([12,22,32,33,44,43,55.66,67.2,10,-14,-12,-7,13],1) = 12 22 33 43 67.2 -14 -7
3. EVENSET([0,-1,-4,3/2,6/7,10],2) = 0 -1 1.5 10

See Also

• EVERYSET
• INSET
• DISTINCTSET

References

• Sets

• List of Main Z Functions
• Z3 home