Nuprl Definition : Pascal-completion
Pascal-completion(r;f;g;x;y) == (((((1-atom(y))*f)+((1-atom(x))*g))-f(y:=0))*Δ(x,y))
Definitions occuring in Statement :
fps-pascal: Δ(x,y),
fps-elim-x: f(x:=0),
fps-mul: (f*g),
fps-sub: (f-g),
fps-add: (f+g),
fps-atom: atom(x),
fps-one: 1,
atom-deq: AtomDeq
Definitions occuring in definition :
fps-add: (f+g),
fps-mul: (f*g),
fps-sub: (f-g),
fps-one: 1,
fps-atom: atom(x),
fps-elim-x: f(x:=0),
atom-deq: AtomDeq,
fps-pascal: Δ(x,y)
FDL editor aliases :
Pascal-completion
Latex:
Pascal-completion(r;f;g;x;y) == (((((1-atom(y))*f)+((1-atom(x))*g))-f(y:=0))*\mDelta{}(x,y))
Date html generated:
2016_05_15-PM-09_59_07
Last ObjectModification:
2015_09_23-AM-08_21_36
Theory : power!series
Home
Index