focus expression text field at startup -> version 1.2
[LeanCalc.git] / help / select
1 NAME
2     select - form a list by selecting element-values from a given list
3
4 SYNOPSIS
5     select(x, y)
6
7 TYPES
8     x           list
9     y           string
10
11     return      list
12
13 DESCRIPTION
14     If y is to be the name of a user-defined function, select(x, y)
15     returns a list whose members are the values z of elements of x
16     for which the function at z tests as nonzero.
17     The list x is not changed.  The order of the returned list is
18     the same as in x.
19
20
21 EXAMPLE
22     > define f(x) = x > 5
23     > A = list(2,4,6,8,2,7)
24     > print select(A, "f")
25
26     list (3 elements, 3 nonzero):
27           [[0]] = 6
28           [[1]] = 8
29           [[2]] = 7
30
31 LIMITS
32     none
33
34 LINK LIBRARY
35     none
36
37 SEE ALSO
38     XXX - fill in
39