Nuprl Definition : rotate-by
rotate-by(n;i) == λx.(x + i rem n)
Definitions occuring in Statement :
lambda: λx.A[x],
remainder: n rem m,
add: n + m
Definitions occuring in definition :
lambda: λx.A[x],
remainder: n rem m,
add: n + m
FDL editor aliases :
rotate-by
Latex:
rotate-by(n;i) == \mlambda{}x.(x + i rem n)
Date html generated:
2016_05_15-PM-06_13_32
Last ObjectModification:
2015_09_23-AM-08_02_20
Theory : general
Home
Index