Nuprl Definition : Legendre

Legendre(n;x) ==
  if (n =z 0) then r1
  if (n =z 1) then x
  else ((2 * n) - 1 * x * Legendre(n - 1;x) - n - 1 * Legendre(n - 2;x))/n
  fi 


Definitions occuring in Statement :  int-rdiv: (a)/k1,  int-rmul: k1 * a,  rsub: x - y,  rmul: a * b,  int-to-real: r(n),  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  multiply: n * m,  subtract: n - m,  natural_number: $n
Definitions occuring in definition :  int-to-real: r(n),  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  int-rdiv: (a)/k1,  rsub: x - y,  multiply: n * m,  rmul: a * b,  int-rmul: k1 * a,  subtract: n - m,  natural_number: $n
FDL editor aliases :  Legendre
Latex:
Legendre(n;x)  ==
    if  (n  =\msubz{}  0)  then  r1
    if  (n  =\msubz{}  1)  then  x
    else  ((2  *  n)  -  1  *  x  *  Legendre(n  -  1;x)  -  n  -  1  *  Legendre(n  -  2;x))/n
    fi 


Date html generated: 2019_10_30-AM-11_32_41
Last ObjectModification: 2019_01_01-PM-03_16_15

Theory : reals_2


Home Index