Nuprl Definition : ratLegendreSign

ratLegendreSign(n;k;m) ==  ratsign(ratLegendre(n;<k, m>))


Definitions occuring in Statement :  ratLegendre: ratLegendre(n;x),  ratsign: ratsign(x),  pair: <a, b>
Definitions occuring in definition :  ratsign: ratsign(x),  ratLegendre: ratLegendre(n;x),  pair: <a, b>
FDL editor aliases :  ratLegendreSign
Latex:
ratLegendreSign(n;k;m)  ==    ratsign(ratLegendre(n;<k,  m>))


Date html generated: 2019_10_31-AM-06_21_28
Last ObjectModification: 2019_02_17-PM-00_54_40

Theory : reals_2


Home Index