Nuprl Definition : extend-approx-ball
extend-approx-ball(n;p;z) ==  λi.if i <z n then p i else z fi 
Definitions occuring in Statement : 
ifthenelse: if b then t else f fi 
, 
lt_int: i <z j
, 
apply: f a
, 
lambda: λx.A[x]
Definitions occuring in definition : 
lambda: λx.A[x]
, 
ifthenelse: if b then t else f fi 
, 
lt_int: i <z j
, 
apply: f a
FDL editor aliases : 
extend-approx-ball
Latex:
extend-approx-ball(n;p;z)  ==    \mlambda{}i.if  i  <z  n  then  p  i  else  z  fi 
Date html generated:
2019_10_30-AM-11_28_10
Last ObjectModification:
2019_06_28-PM-01_56_11
Theory : real!vectors
Home
Index