Nuprl Definition : simplex-face
simplex-face(v;i) == λj.if j <z i then v j if i <z j then v (j - 1) else r0 fi
Definitions occuring in Statement :
int-to-real: r(n),
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
apply: f a,
lambda: λx.A[x],
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
apply: f a,
subtract: n - m,
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
simplex-face
Latex:
simplex-face(v;i) == \mlambda{}j.if j <z i then v j if i <z j then v (j - 1) else r0 fi
Date html generated:
2019_10_30-AM-11_30_41
Last ObjectModification:
2019_07_31-AM-11_35_25
Theory : real!vectors
Home
Index