函数元素

right zero morphism

右零射

right zero element 右零元素 | right zero morphism 右零射 | rightanalytic function 右解析函数

spicy

香料

任何你要传递的参数作为值. 表单数据结构中该元素分支的一份完全拷贝,将被作为验证函数的第一个参数. 下面是一个专门用来说明这一点的示例,在这里我们强制用户只能向文本输入框中输入香料(spicy)和糖果(sweet):

wave number calibration

波数校准

波函数|wave function | 波数校准|wave number calibration | 铂系元素|platinum group

well-formed

良构的

如果指定的切分(slice)落在向量的索引(index)范围之外,那么vector_slice 就不是一个良构的(well formed)向量表达式. 也就是说,访问向量的索引范围之外的元素是未定义的(undefined). 自由函数project 支持构造向量切分( vector slices ).

Gaussian

高斯

对小矩阵直接计算,对大矩阵用 高斯(GAUSSIAN)消去法. 对于对称正定(positive-determined)矩阵也可以用 SVD 函数来求,U=V=NULL ,然后用 w 的对角线元素的乘积来计算行列式.

pointwise

逐点

dcpos 有时分类为 sup-完全偏序集合,或混淆为"cpo". 带有最小元素的 dcpo 有时叫做尖角(pointed) dcpo 或尖角 cpo. 在两个 dcpos P 和 Q 之间的所有连续函数的集合被指示为 . 配备了逐点(pointwise)次序,这是 dcpo,并是 cpo 只要 Q 是 cpo.

functional catches：活动把手生耳

回零针 fly-back hand | 混合表 combo watch | 活动把手生耳 functional catches

parametric linear programming：参数线性规划

参数模型|parameter model | 参数线性规划|parametric linear programming | 参数最优化|parameter optimization