Nuprl Definition : fps-pascal
Δ(x,y) == (1÷(1-(<{x}>+<{y}>)))
Definitions occuring in Statement :
fps-div: (f÷g)
,
fps-sub: (f-g)
,
fps-add: (f+g)
,
fps-single: <c>
,
fps-one: 1
,
single-bag: {x}
,
atom-deq: AtomDeq
,
rng_one: 1
Definitions occuring in definition :
fps-div: (f÷g)
,
fps-sub: (f-g)
,
fps-one: 1
,
fps-add: (f+g)
,
fps-single: <c>
,
atom-deq: AtomDeq
,
single-bag: {x}
,
rng_one: 1
FDL editor aliases :
fps-pascal
Latex:
\mDelta{}(x,y) == (1\mdiv{}(1-(<\{x\}>+<\{y\}>)))
Date html generated:
2016_05_15-PM-09_58_28
Last ObjectModification:
2015_09_23-AM-08_21_34
Theory : power!series
Home
Index