up previous next
in

list element selector in list constructor

Syntax
[X in L | B: BOOL]
[E | X in L]
[E | X in L and B]
  where L: LIST, B: BOOL, E: expression
  returns LIST

Description
See List Constructors for a full description.

Example
/**/  [N in 1..10 | IsPrime(N)];
[2, 3, 5, 7]

/**/  [N^2 | N in 1..10 and IsPrime(N)];
[4, 9, 25, 49]

See Also