[sage-combinat-devel] Re: Symmetric functions --- HopfAlgebras(...) or not?

Hi Anne, On 2015-06-27, Anne Schilling wrote: >> Is it not the case that >> sage: a.parent() >> 5-bounded Symmetric Functions over Fraction Field of Univariate >> Polynomial >> Ring in t over Rational Field in the 5-Schur basis >> forms a ring? Or at least a magma? > > That is correc

Re: [sage-combinat-devel] Symmetric functions --- HopfAlgebras(...) or not?

Hi Simon, > The following is a problem for my work at #18758, which aims at making > arithmetic operations faster that are defined via category > element/parent classes: > > sage: Sym = SymmetricFunctions(FractionField(QQ['t'])) > sage: ks3 = Sym.kschur(3) > sage: ks5 = Sym.kschur(5)

[sage-combinat-devel] Symmetric functions --- HopfAlgebras(...) or not?

Hi! The following is a problem for my work at #18758, which aims at making arithmetic operations faster that are defined via category element/parent classes: sage: Sym = SymmetricFunctions(FractionField(QQ['t'])) sage: ks3 = Sym.kschur(3) sage: ks5 = Sym.kschur(5) sage: a = ks5(ks