Nuprl Definition : linearization
linearization(p;L) == map(λvs.poly-coeff-of(vs;p);L)
Definitions occuring in Statement :
poly-coeff-of: poly-coeff-of(vs;p),
map: map(f;as),
lambda: λx.A[x]
Definitions occuring in definition :
map: map(f;as),
lambda: λx.A[x],
poly-coeff-of: poly-coeff-of(vs;p)
FDL editor aliases :
linearization
Latex:
linearization(p;L) == map(\mlambda{}vs.poly-coeff-of(vs;p);L)
Date html generated:
2016_05_14-AM-07_10_40
Last ObjectModification:
2015_09_22-PM-05_53_09
Theory : omega
Home
Index