Revision history [back]

Power series with coeffs in SymmetricFunctions()

The following gives an error:

sym = SymmetricFunctions()
R.<t> = PowerSeriesRing(sym)

saying that base_ring is not a commutative ring. I can check sym.categories(), and indeed it is not, but I think it should be. Is there an easy way to make this work?

Thanks!

Power series with coeffs in SymmetricFunctions()

The following gives an error:

sym = SymmetricFunctions()
SymmetricFunctions(QQ)
R.<t> = PowerSeriesRing(sym)

saying that base_ring is not a commutative ring. I can check sym.categories(), and indeed it is not, but I think it should be. Is there an easy way to make this work?

Thanks!