This seems to me to be either a bug or a deficiency:
sage: KZ = WeylCharacterRing('A1',base_ring=ZZ,style="coroots")
sage: KS =
WeylCharacterRing('A1',base_ring=SFASchur(ZZ),style="coroots")
sage: a = KZ([1])
sage: KS(a)
produces an error.
More generally I was hoping that given (commutative) rings R and S and
a ring homomorphism
phi : R --> S that the category framework would then provide the
homomorphism from
WeylCharacterRing('A1',base_ring=R) to
WeylCharacterRing('A1',base_ring=S)
but in view of the above I have now lost confidence.
Is there a simple way to achieve this? Here R would probably be
symmetric functions and there are
several definitions of the same homomorphism, depending on the choice
of basis.
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-combinat-devel?hl=en.
