Nuprl Definition : remove-singularity-max-seq

remove-singularity-max-seq(k;p;f;z) ==  λn.if (realvec-max-ibs(k;p) n =z 1) then f p else z fi 


Definitions occuring in Statement :  realvec-max-ibs: realvec-max-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-max-ibs: realvec-max-ibs(n;p),  natural_number: $n,  apply: f a
FDL editor aliases :  remove-singularity-max-seq
Latex:
remove-singularity-max-seq(k;p;f;z)  ==    \mlambda{}n.if  (realvec-max-ibs(k;p)  n  =\msubz{}  1)  then  f  p  else  z  fi 


Date html generated: 2019_10_30-AM-10_16_26
Last ObjectModification: 2019_07_03-PM-04_23_37

Theory : real!vectors


Home Index