Nuprl Definition : ratexp
ratexp(x;n) == if n=0 then <1, 1> else eval n' = n - 1 in eval y = ratexp(x;n') in ratmul(x;y)
Definitions occuring in Statement :
ratmul: ratmul(a;b),
callbyvalue: callbyvalue,
int_eq: if a=b then c else d,
pair: <a, b>,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
int_eq: if a=b then c else d,
pair: <a, b>,
subtract: n - m,
natural_number: $n,
callbyvalue: callbyvalue,
ratmul: ratmul(a;b)
FDL editor aliases :
ratexp
Latex:
ratexp(x;n) == if n=0 then ə, 1> else eval n' = n - 1 in eval y = ratexp(x;n') in ratmul(x;y)
Date html generated:
2019_10_30-AM-09_29_36
Last ObjectModification:
2019_01_11-PM-05_01_11
Theory : reals
Home
Index