Nuprl Definition : mv-polynomial
mv-polynomial(r) == s:bag(Atom) × {f:PowerSeries(r)| fps-support(r;f;s)}
Definitions occuring in Statement :
fps-support: fps-support(r;f;s),
power-series: PowerSeries(X;r),
bag: bag(T),
set: {x:A| B[x]} ,
product: x:A × B[x],
atom: Atom
Definitions occuring in definition :
product: x:A × B[x],
bag: bag(T),
set: {x:A| B[x]} ,
power-series: PowerSeries(X;r),
atom: Atom,
fps-support: fps-support(r;f;s)
FDL editor aliases :
mv-polynomial
Latex:
mv-polynomial(r) == s:bag(Atom) \mtimes{} \{f:PowerSeries(r)| fps-support(r;f;s)\}
Date html generated:
2016_05_15-PM-10_03_22
Last ObjectModification:
2015_09_23-AM-08_22_03
Theory : power!series
Home
Index