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(ks3[2])
sage: a.parent() in Rings()
False
sage: Sym in Rings()
True
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?
Best regards,
Simon
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.
