Hello all,
As I was constructing some Free Modules over the symmetric functions, I
fall on this (sage 6.4.beta2 for my version (yes, that's probably old)):
sage: SymmetricFunctions(QQ) in CommutativeRings()
False
sage: SymmetricFunctions(QQ).a_realization() in CommutativeRings()
True
I would have loved that the two lines return True. If I say no mistakes,
the symmetric functions should be an abstract parent with severals
realizations. The category is *probably* initialized in sf.py with the line:
Parent.__init__(self, category = GradedHopfAlgebras(R).WithRealizations())
Is this enought to change this category for the following one (with QQ
replaced by R in the source code naturally) ?
sage: GradedHopfAlgebras(QQ).Commutative().WithRealizations()
Join of Category of hopf algebras over Rational Field and Category of
graded algebras over Rational Field and Category of commutative algebras
over Rational Field and Category of monoids with realizations and
Category of coalgebras over Rational Field with realizations
Perhaps this question is relatively empty but I didn't contribute to
Sage for something like a year. I just reviewed 2 tickets the last 6
month and I am still scared of using git (don't laugh please!). So I
asked before since a such one line patch cost 10 minutes for git lovers
but probably 2 hours with the cheat-sheet of Volker for me. Ok, I just
heard someone saying that it will need one than one line since it could
be nice to add the proper test in the documentation... Rhoo....
Cheers,
Nicolas B.
--
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.
