Re: [sage-combinat-devel] CombinatorialFreeModule relies on implementation details of elements

2015-08-26 Thread Nicolas M. Thiery
Hi Simon! On Wed, Aug 26, 2015 at 08:05:32AM +, Simon King wrote: > Working on path algebras, which inherit from CombinatorialFreeModule, I > found that CombinatorialFreeModule makes specific assumptions on > implementation details of the elements of a module. > > What I mean is, for

Re: [sage-combinat-devel] CombinatorialFreeModule

2014-05-16 Thread Nicolas M. Thiery
Hi Bruce, On Fri, May 16, 2014 at 06:50:35AM -0700, Bruce wrote: >While I am here: I am constructing an infinite dimensional representation >of an algebra. >This means the next step for me is to construct operators on this vector >space (one for each integer) >and these

Re: [sage-combinat-devel] CombinatorialFreeModule

2014-05-16 Thread Nicolas M. Thiery
On Fri, May 16, 2014 at 08:04:11AM -0700, Bruce wrote: >On Friday, 16 May 2014 14:54:32 UTC+1, Viviane Pons wrote: > > I think the Foo class must also inherit from the Element class. > >If I change the first line to > >class Foo(Element, UniqueRepresentation): > >then when

Re: [sage-combinat-devel] CombinatorialFreeModule

2014-05-16 Thread Bruce
Thanks Anne. This implements an algebra. I want to have a vector space with basis and then construct some operators. Mathematically, this is a module for the affine Temperley-Lieb algebra. -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group.

Re: [sage-combinat-devel] CombinatorialFreeModule

2014-05-16 Thread Bruce
On Friday, 16 May 2014 14:54:32 UTC+1, Viviane Pons wrote: > > I think the Foo class must also inherit from the Element class. > If I change the first line to class Foo(Element, UniqueRepresentation): then when I create an instance and look at it I get Generic element of a structure -- You

Re: [sage-combinat-devel] CombinatorialFreeModule

2014-05-16 Thread Anne Schilling
Hi Bruce, You can check in sage/src/sage/algebras/affine_nil_temperley_lieb.py where the affine nilTemperley Lieb algebra was already implemented. Best, Anne On 5/16/14 6:50 AM, Bruce wrote: > I am trying to construct formal linear combinations of instances of a > particular class. > I have

Re: [sage-combinat-devel] CombinatorialFreeModule

2014-05-16 Thread Viviane Pons
I think the Foo class must also inherit from the Element class. Viviane 2014-05-16 15:50 GMT+02:00 Bruce : > I am trying to construct formal linear combinations of instances of a > particular class. > I have asked about this before and, I think, was given the following > template > > > class Fo

Re: [sage-combinat-devel] CombinatorialFreeModule and Facade

2010-09-30 Thread Viviane Pons
Hi, I have just pushed my last changes. I'm using both facades and representations as we discussed. Still two issues : - the is_parent_of method checks only one level and I would need it to check all levels - the problem we discussed already that the category dosen't overwrite the default parent

Re: [sage-combinat-devel] CombinatorialFreeModule and Facade

2010-09-27 Thread Nicolas M. Thiery
Hi Viviane! On Mon, Sep 27, 2010 at 03:42:55PM +0200, Viviane Pons wrote: > I was seeing it the other way arround : the concrete parents giving > their facade parents. I see. > This is the way it has to work for me, so actually, I can't use the > "facade" parameter in parents as I don't

Re: [sage-combinat-devel] CombinatorialFreeModule and Facade

2010-09-27 Thread Viviane Pons
I was seeing it the other way arround : the concrete parents giving their facade parents. This is the way it has to work for me, so actually, I can't use the "facade" parameter in parents as I don't know which are the concrete parents when I create the facade. thank's anyway 2010/9/27 Nicolas M.

Re: [sage-combinat-devel] CombinatorialFreeModule and Facade

2010-09-27 Thread Nicolas M. Thiery
Hi Viviane, On Mon, Sep 27, 2010 at 11:03:27AM +0200, Viviane Pons wrote: > I would like to send the "facade" init parameter to a > CombinatorialFreeModule, but it's not supported whereas it is for > Parent. Should I create a ticket and fix that ? A CombinatorialFreeModule provides a conc

Re: [sage-combinat-devel] CombinatorialFreeModule (again)

2010-09-02 Thread Florent Hivert
Hi Bruce, On Thu, Sep 02, 2010 at 03:33:21AM -0700, Bruce wrote: > I am trying to construct the fee module on the set of instances of a > class G. > I start with > > M = CombinatorialFreeModule(QQ,G) > > If f,g are instances of G I then continue with > > a = M.monomial(f) > b = M.monomial