Nuprl Definition : residues-mod
residues-mod(n) == filter(λi.(gcd(n;i) =z 1);upto(n))
Definitions occuring in Statement :
upto: upto(n),
filter: filter(P;l),
gcd: gcd(a;b),
eq_int: (i =z j),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
filter: filter(P;l),
lambda: λx.A[x],
eq_int: (i =z j),
gcd: gcd(a;b),
natural_number: $n,
upto: upto(n)
FDL editor aliases :
residues-mod
Latex:
residues-mod(n) == filter(\mlambda{}i.(gcd(n;i) =\msubz{} 1);upto(n))
Date html generated:
2016_05_15-PM-07_30_35
Last ObjectModification:
2015_09_23-AM-08_15_58
Theory : general
Home
Index