Nuprl Definition : canonical-bound
canonical-bound(r) == (|r 1| + 4) ÷ 2
Definitions occuring in Statement :
absval: |i|,
apply: f a,
divide: n ÷ m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
divide: n ÷ m,
add: n + m,
absval: |i|,
apply: f a,
natural_number: $n
FDL editor aliases :
canonical-bound
canonical-bound
Latex:
canonical-bound(r) == (|r 1| + 4) \mdiv{} 2
Date html generated:
2016_05_18-AM-06_49_12
Last ObjectModification:
2015_09_23-AM-09_00_43
Theory : reals
Home
Index