Re: [sage-combinat-devel] A small hint in Symmetric Functions

[Nicolas M. Thiery]

Salut Nicolas!

On Thu, Nov 20, 2014 at 12:19:15PM +0100, Nicolas Borie wrote:
> 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()

+1

While you are at it, you might as well want to go for:

  HopfAlgebras(R).Graded().Connected().Commutative().WithRealizations()

> 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

This sounds like a perfect ticket for a come back. The extra time
you'll spend there is a long term investment anyway.

Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" 
http://Nicolas.Thiery.name/

-- 
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.

[sage-combinat-devel] A small hint in Symmetric Functions

[Nicolas Borie]

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.