Nuprl Definition : LegendreSigns

LegendreSigns(n;L) ==
  interpolate-list(a,b.let x,s = a 
                       in let y,s' = b 
                          in eval m = rat-midpoint(x;y) in
                             eval s'' = ratsign(ratLegendre(n;m)) in
                               <m, s''>;L)


Definitions occuring in Statement :  ratLegendre: ratLegendre(n;x),  ratsign: ratsign(x),  rat-midpoint: rat-midpoint(a;b),  interpolate-list: interpolate-list(x,y.f[x; y];L),  callbyvalue: callbyvalue,  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  interpolate-list: interpolate-list(x,y.f[x; y];L),  spread: spread def,  rat-midpoint: rat-midpoint(a;b),  callbyvalue: callbyvalue,  ratsign: ratsign(x),  ratLegendre: ratLegendre(n;x),  pair: <a, b>
FDL editor aliases :  LegendreSigns
Latex:
LegendreSigns(n;L)  ==
    interpolate-list(a,b.let  x,s  =  a 
                                              in  let  y,s'  =  b 
                                                    in  eval  m  =  rat-midpoint(x;y)  in
                                                          eval  s''  =  ratsign(ratLegendre(n;m))  in
                                                              <m,  s''>L)


Date html generated: 2019_10_31-AM-06_21_44
Last ObjectModification: 2019_02_17-PM-11_47_52

Theory : reals_2


Home Index