Re: [sage-combinat-devel] Re: [sage-devel] Re: Algebras with several bases, aka abstract parents with several concrete representations

2009-03-15 Thread Nicolas M. Thiery
Hi Carl! On Sun, Mar 15, 2009 at 06:11:52AM -0700, Carl Witty wrote: > > On Sat, Mar 14, 2009 at 11:42 PM, Nicolas M. Thiery > wrote: > > In fact, I'd love to be able to do: > > > >from SymmetricFunctions(QQ).shorthands import * > > > > Furthermore, providing the user with (opti

Re: [sage-combinat-devel] Re: [sage-devel] Re: Algebras with several bases, aka abstract parents with several concrete representations

2009-03-15 Thread Carl Witty
On Sat, Mar 14, 2009 at 11:42 PM, Nicolas M. Thiery wrote: > In fact, I'd love to be able to do: > >from SymmetricFunctions(QQ).shorthands import * > > Furthermore, providing the user with (optional but easy to load) > shorthands promotes their standardization among all users. This makes

[sage-devel] Re: Algebras with several bases, aka abstract parents with several concrete representations

2009-03-15 Thread Nicolas M. Thiery
Dear Andrew, I hope my previous message clarified the discussion. Let me know if there are some unanswered parts to your message. On Fri, Mar 13, 2009 at 07:31:22PM -0700, Andrew Mathas wrote: > another possibility for the syntax for algebras with many > bases: > sage: H = HeckeAlge

[sage-devel] Re: Algebras with several bases, aka abstract parents with several concrete representations

2009-03-14 Thread Nicolas M. Thiery
Dear David, dear Andrew, Sorry, for having introduced confusion here by going straight to the details without explaining the general structure. What you describe is essentially what we want to achieve, though with a different layout. And I am very glad to see that we agree on the fundamen

[sage-devel] Re: Algebras with several bases, aka abstract parents with several concrete representations

2009-03-13 Thread Andrew Mathas
Dear David and Nicolas, On Mar 14, 9:42 am, David Kohel wrote: > I would suggest that the choice of basis (or generators) should > be an intrinsic part of the algebra's representation and interface. > Different representations imply different (but possibly equal, even > canonically equal) algebr

[sage-devel] Re: Algebras with several bases, aka abstract parents with several concrete representations

2009-03-13 Thread Andrew Mathas
Dear David and Nicolas, On Mar 14, 9:42 am, David Kohel wrote: > I would suggest that the choice of basis (or generators) should > be an intrinsic part of the algebra's representation and interface. > Different representations imply different (but possibly equal, even > canonically equal) algebr

[sage-devel] Re: Algebras with several bases, aka abstract parents with several concrete representations

2009-03-13 Thread David Kohel
Hi Nicolas, I would suggest that the choice of basis (or generators) should be an intrinsic part of the algebra's representation and interface. Different representations imply different (but possibly equal, even canonically equal) algebras. Compare free modules and polynomial rings: sage: V = F