Nuprl Definition : findLegendreChanges
findLegendreChanges(n) ==
eval h = n ÷ 2 in
eval m = 2 * n in
eval L = eager-map(λk.eval s = ratLegendreSign(n;k;m) in
<<k, m>, s>;upto(m + 1)) in
getLegendreChanges(n;h;L)
Definitions occuring in Statement :
getLegendreChanges: getLegendreChanges(n;h;L),
ratLegendreSign: ratLegendreSign(n;k;m),
upto: upto(n),
eager-map: eager-map(f;as),
callbyvalue: callbyvalue,
lambda: λx.A[x],
pair: <a, b>,
divide: n ÷ m,
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
divide: n ÷ m,
multiply: n * m,
eager-map: eager-map(f;as),
lambda: λx.A[x],
callbyvalue: callbyvalue,
ratLegendreSign: ratLegendreSign(n;k;m),
pair: <a, b>,
upto: upto(n),
add: n + m,
natural_number: $n,
getLegendreChanges: getLegendreChanges(n;h;L)
FDL editor aliases :
findLegendreChanges
Latex:
findLegendreChanges(n) ==
eval h = n \mdiv{} 2 in
eval m = 2 * n in
eval L = eager-map(\mlambda{}k.eval s = ratLegendreSign(n;k;m) in
<<k, m>, s>upto(m + 1)) in
getLegendreChanges(n;h;L)
Date html generated:
2019_10_31-AM-06_22_42
Last ObjectModification:
2019_02_18-AM-10_31_38
Theory : reals_2
Home
Index