MathTop

statistics_select 函数

从列表中选出使谓词为真的元素。

语法

  • Statistics:-Select(x -> condition, list)
  • Statistics:-Select(condition, x, list)
  • statistics_select(condition, x, list)

参数与选项

predicate布尔条件，可写成箭头函数或带变量的表达式。
list形如 [1, 2, 3] 的列表字面量。

示例

  1. 按谓词选择Statistics:-Select(x -> x > 2, [1, 2, 3, 4])返回 [3, 4]。