Re: [sage-combinat-devel] tensor products of free modules; combinatorial algebras

2014-02-14 Thread John H Palmieri
On Friday, February 14, 2014 9:06:35 PM UTC-8, John H Palmieri wrote: > > > > On Friday, February 14, 2014 6:18:42 PM UTC-8, Mark Shimozono wrote: >> >> Nicolas, >> >> > In your case, to implement the smash product, you probably want to >> > implement a subclass of CombinatorialFreeModuleTensor

Re: [sage-combinat-devel] tensor products of free modules; combinatorial algebras

2014-02-14 Thread John H Palmieri
On Friday, February 14, 2014 6:18:42 PM UTC-8, Mark Shimozono wrote: > > Nicolas, > > > In your case, to implement the smash product, you probably want to > > implement a subclass of CombinatorialFreeModuleTensor, set its > > category to the join of ModulesWithBasis(QQ).TensorProducts() and >

Re: [sage-combinat-devel] tensor products of free modules; combinatorial algebras

2014-02-14 Thread Mark Shimozono
Nicolas, > In your case, to implement the smash product, you probably want to > implement a subclass of CombinatorialFreeModuleTensor, set its > category to the join of ModulesWithBasis(QQ).TensorProducts() and > AlgebrasWithBasis(QQ), and implement the product similarly to what's > done for tenso

Re: [sage-combinat-devel] tensor products of free modules; combinatorial algebras

2014-02-14 Thread Travis Scrimshaw
Hey Mark, I believe the standard way to setting the prefix is to use the "prefix" optional argument when constructing / initializing a CFM. > > Is there a way to hijack this capability for input mangling or coercion > for the custom subclass? I would like to say something like > > sage: C([a,b

Re: [sage-combinat-devel] tensor products of free modules; combinatorial algebras

2014-02-14 Thread Nicolas M. Thiery
On Fri, Feb 14, 2014 at 10:54:36AM -0500, Mark Shimozono wrote: > Sorry for the spamming. It's kind of deserved; if the documentation was perfectly up to par, you would not need to spam :-) > I noticed the handy "tensor" constructor for CombinatorialFreeModules, > which is especially handy for co

Re: [sage-combinat-devel] tensor products of free modules; combinatorial algebras

2014-02-14 Thread Mark Shimozono
Nicolas, Sorry for the spamming. I noticed the handy "tensor" constructor for CombinatorialFreeModules, which is especially handy for constructing elements in a tensor product. I'm designing a custom subclass of CombinatorialFreeModule_Tensor which makes an algebra. Is there a way to hijack this c