[sage-combinat-devel] Re: [sage-algebra] Re: (free) algebras

2011-03-28 Thread Nicolas M. Thiery
On Sat, Mar 26, 2011 at 03:28:49AM -0700, Simon King wrote: > I guess that F.basis() should have some index set. Here, it seems > natural to me to choose M=FreeMonoid(3,['x','y','z']): If m is in M > then F.basis()[m] returns the corresponding element of F. > > Is that the only requirement to F.ba

[sage-combinat-devel] Re: [sage-algebra] Re: (free) algebras

2011-03-28 Thread Nicolas M. Thiery
Hi Simon! On Sun, Mar 27, 2011 at 10:50:50PM -0700, Simon King wrote: > On 28 Mrz., 07:42, Simon King wrote: > > On 27 Mrz., 23:12, "Nicolas M. Thiery" > > wrote: > > > > >  - The ticket contains two fairly distinct sets of features: > > >     - (1) The categorification of quotient rings

[sage-combinat-devel] Re: [sage-algebra] Re: (free) algebras

2011-03-28 Thread Nicolas M. Thiery
On Sun, Mar 27, 2011 at 10:42:07PM -0700, Simon King wrote: > On 27 Mrz., 23:12, "Nicolas M. Thiery" > wrote: > >  - The ticket contains two fairly distinct sets of features: > >     - (1) The categorification of quotient rings and the like > >     - (2) The letterplace free algebra > >    What ab