Nuprl Definition : Paasche-alg-2

Paasche-alg-2(k) ==  Longs-algorithm(λi.if (i =z 0) then 1 else 0 fi ;λa.((a * (a + 1)) ÷ 2);k;0;(k * (k + 1)) ÷ 2)


Definitions occuring in Statement :  Longs-algorithm: Longs-algorithm(h;n;a;b;c),  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  lambda: λx.A[x],  divide: n ÷ m,  multiply: n * m,  add: n + m,  natural_number: $n
Definitions occuring in definition :  Longs-algorithm: Longs-algorithm(h;n;a;b;c),  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  lambda: λx.A[x],  divide: n ÷ m,  multiply: n * m,  add: n + m,  natural_number: $n
FDL editor aliases :  Paasche-alg-2
Latex:
Paasche-alg-2(k)  ==
    Longs-algorithm(\mlambda{}i.if  (i  =\msubz{}  0)  then  1  else  0  fi  ;\mlambda{}a.((a  *  (a  +  1))  \mdiv{}  2);k;0;(k  *  (k  +  1))  \mdiv{}  2)


Date html generated: 2016_05_15-PM-10_02_59
Last ObjectModification: 2015_09_23-AM-08_21_58

Theory : power!series


Home Index