Nuprl Definition : ratLegendre

ratLegendre(n;x) ==  if (n =z 0) then <1, 1> else ratLegendre-aux(n;x;<1, x, 1, 1>) fi 


Definitions occuring in Statement :  ratLegendre-aux: ratLegendre-aux(n;x;tr),  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  pair: <a, b>,  natural_number: $n
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  ratLegendre-aux: ratLegendre-aux(n;x;tr),  pair: <a, b>,  natural_number: $n
FDL editor aliases :  ratLegendre
Latex:
ratLegendre(n;x)  ==    if  (n  =\msubz{}  0)  then  ə,  1>  else  ratLegendre-aux(n;x;ə,  x,  1,  1>)  fi 


Date html generated: 2019_10_30-AM-11_34_10
Last ObjectModification: 2019_01_10-PM-03_12_29

Theory : reals_2


Home Index