Nuprl Definition : fps-deriv
df/dx == λb.(int-to-ring(r;(#x in b) + 1) * (f x.b))
Definitions occuring in Statement :
bag-count: (#x in bs),
cons-bag: x.b,
infix_ap: x f y,
apply: f a,
lambda: λx.A[x],
add: n + m,
natural_number: $n,
int-to-ring: int-to-ring(r;n),
rng_times: *
Definitions occuring in definition :
lambda: λx.A[x],
infix_ap: x f y,
rng_times: *,
int-to-ring: int-to-ring(r;n),
add: n + m,
bag-count: (#x in bs),
natural_number: $n,
apply: f a,
cons-bag: x.b
FDL editor aliases :
fps-deriv
Latex:
df/dx == \mlambda{}b.(int-to-ring(r;(\#x in b) + 1) * (f x.b))
Date html generated:
2018_05_21-PM-10_15_58
Last ObjectModification:
2018_02_16-PM-00_26_35
Theory : power!series
Home
Index