Nuprl Definition : sub-cube

sub-cube(up;c) ==
  let l,u = c 
  in <λi.if up i then ravg(l i;u i) else l i fi , λi.if up i then u i else ravg(l i;u i) fi >


Definitions occuring in Statement :  ravg: ravg(x;y),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: λx.A[x],  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  spread: spread def,  pair: <a, b>,  lambda: λx.A[x],  ifthenelse: if b then t else f fi ,  ravg: ravg(x;y),  apply: f a
FDL editor aliases :  sub-cube
Latex:
sub-cube(up;c)  ==
    let  l,u  =  c 
    in  <\mlambda{}i.if  up  i  then  ravg(l  i;u  i)  else  l  i  fi  ,  \mlambda{}i.if  up  i  then  u  i  else  ravg(l  i;u  i)  fi  >


Date html generated: 2019_10_30-AM-11_32_05
Last ObjectModification: 2019_09_27-PM-01_55_27

Theory : real!vectors


Home Index