Nuprl Definition : remove-singularity-seq
remove-singularity-seq(k;p;f;z) == λn.if (realvec-ibs(k;p) n =z 1) then f p else z fi
Definitions occuring in Statement :
realvec-ibs: realvec-ibs(n;p),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
realvec-ibs: realvec-ibs(n;p),
natural_number: $n,
apply: f a
FDL editor aliases :
remove-singularity-seq
Latex:
remove-singularity-seq(k;p;f;z) == \mlambda{}n.if (realvec-ibs(k;p) n =\msubz{} 1) then f p else z fi
Date html generated:
2019_10_30-AM-10_16_15
Last ObjectModification:
2019_06_28-PM-01_55_53
Theory : real!vectors
Home
Index