Nuprl Definition : tuple-sum

tuple-sum(f;L;x) ==
  if null(L) then 0 else let a,as = L in if null(as) then f a x else let u,v = x in (f a u) + tuple-sum(f;as;v) fi  fi 


Definitions occuring in Statement :  null: null(as),  ifthenelse: if b then t else f fi ,  apply: f a,  spread: spread def,  add: n + m,  natural_number: $n
Definitions occuring in definition :  natural_number: $n,  ifthenelse: if b then t else f fi ,  null: null(as),  spread: spread def,  add: n + m,  apply: f a
FDL editor aliases :  tuple-sum
Latex:
tuple-sum(f;L;x)  ==
    if  null(L)
    then  0
    else  let  a,as  =  L 
              in  if  null(as)  then  f  a  x  else  let  u,v  =  x  in  (f  a  u)  +  tuple-sum(f;as;v)  fi 
    fi 


Date html generated: 2019_06_20-PM-02_03_19
Last ObjectModification: 2019_02_22-AM-10_54_03

Theory : tuples


Home Index