Nuprl Definition : getLegendreChanges
getLegendreChanges(n;h;L) ==
eval ch = OnlyChanges(L) in
if ||ch||=h then ch else eval L' = LegendreSigns(n;L) in getLegendreChanges(n;h;L')
Definitions occuring in Statement :
OnlyChanges: OnlyChanges(L),
LegendreSigns: LegendreSigns(n;L),
length: ||as||,
callbyvalue: callbyvalue,
int_eq: if a=b then c else d
Definitions occuring in definition :
int_eq: if a=b then c else d,
length: ||as||,
callbyvalue: callbyvalue,
LegendreSigns: LegendreSigns(n;L)
FDL editor aliases :
getLegendreChanges
Latex:
getLegendreChanges(n;h;L) ==
eval ch = OnlyChanges(L) in
if ||ch||=h then ch else eval L' = LegendreSigns(n;L) in getLegendreChanges(n;h;L')
Date html generated:
2019_10_31-AM-06_22_26
Last ObjectModification:
2019_02_18-AM-09_44_21
Theory : reals_2
Home
Index