Nuprl Definition : fps-moebius
fps-moebius(eq;r) == λb.eval z = bag-moebius(eq;b) in int-to-ring(r;z)
Definitions occuring in Statement :
bag-moebius: bag-moebius(eq;b),
callbyvalue: callbyvalue,
lambda: λx.A[x],
int-to-ring: int-to-ring(r;n)
Definitions occuring in definition :
lambda: λx.A[x],
callbyvalue: callbyvalue,
bag-moebius: bag-moebius(eq;b),
int-to-ring: int-to-ring(r;n)
FDL editor aliases :
fps-moebius
Latex:
fps-moebius(eq;r) == \mlambda{}b.eval z = bag-moebius(eq;b) in int-to-ring(r;z)
Date html generated:
2016_05_15-PM-09_48_51
Last ObjectModification:
2015_09_23-AM-08_21_17
Theory : power!series
Home
Index