select(ZZ,Set,Function) -- select a part of a set

Synopsis

• Function: select

• Usage:

  select(x, f)

  select(n, x, f)

• Inputs:
  • n, an integer,
  • x, a set,
  • f, a function,
• Outputs:
  • a set, containing all (or n, if it is given) elements of x that evaluate to true when passed to f

Description

i1 : x = set(1..10)

o1 = set {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

o1 : Set

i2 : select(x, odd)

o2 = set {9, 1, 3, 5, 7}

o2 : Set

i3 : select(2, x, odd)

o3 = set {1, 3}

o3 : Set