Nuprl Definition : radd
a + b == accelerate(2;reg-seq-list-add([a; b]))
Definitions occuring in Statement :
reg-seq-list-add: reg-seq-list-add(L),
accelerate: accelerate(k;f),
cons: [a / b],
nil: [],
natural_number: $n
Definitions occuring in definition :
accelerate: accelerate(k;f),
natural_number: $n,
reg-seq-list-add: reg-seq-list-add(L),
cons: [a / b],
nil: []
FDL editor aliases :
radd
Latex:
a + b == accelerate(2;reg-seq-list-add([a; b]))
Date html generated:
2016_05_18-AM-06_48_36
Last ObjectModification:
2015_09_23-AM-09_00_40
Theory : reals
Home
Index