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