Nuprl Definition : is-simplex
is-simplex(k;L) == real-vec-free(k;map(λv.v - hd(L);tl(L)))
Definitions occuring in Statement :
real-vec-free: real-vec-free(k;L),
real-vec-sub: X - Y,
map: map(f;as),
tl: tl(l),
hd: hd(l),
lambda: λx.A[x]
Definitions occuring in definition :
real-vec-free: real-vec-free(k;L),
map: map(f;as),
lambda: λx.A[x],
real-vec-sub: X - Y,
hd: hd(l),
tl: tl(l)
FDL editor aliases :
is-simplex
Latex:
is-simplex(k;L) == real-vec-free(k;map(\mlambda{}v.v - hd(L);tl(L)))
Date html generated:
2019_10_30-AM-08_46_05
Last ObjectModification:
2019_09_18-PM-02_00_46
Theory : reals
Home
Index