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

2011-03-26 Thread Nicolas M. Thiery
Hi Simon, This is beautiful! Thanks for your (and Singular)'s hard work on this! What's the category for F? It would be great if it was in AlgebrasWithBasis, and in particular if CombinatorialFreeModule and FreeAlgebra would be consistent with each other (in particular for the accessors

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

2011-03-26 Thread Anne Schilling
Hi Simon, Great! This works now. I'll play around with your patch and will report later. Cheers, Anne On 3/25/11 11:05 AM, Simon King wrote: Hi! I got it! On 25 Mrz., 18:59, Simon Kingsimon.k...@uni-jena.de wrote: $ ls sage/algebras/letterplace/ free_algebra_element_letterplace.pxd

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

2011-03-26 Thread Simon King
Hi Nicolas, On 26 Mrz., 08:03, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote: What's the category for F? It would be great if it was in AlgebrasWithBasis, and in particular if CombinatorialFreeModule and FreeAlgebra would be consistent with each other (in particular for the accessors on

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

2011-03-26 Thread Anne Schilling
Hi Nicolas and Simon, On Fri, Mar 25, 2011 at 05:37:41AM -0700, Anne Schilling wrote: Nicolas, I wanted to add the patch trac7797-full_letterplace_wrapper.patch to the sage-combinat queue to test it, but it does not commute with your patch trac_10961-lie_bracket_in_rings-nt.patch. Would it be

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

2011-03-26 Thread Nicolas M. Thiery
On Sat, Mar 26, 2011 at 06:11:44AM -0700, Anne Schilling wrote: I just review #10961, but unfortunately could not give it a positive review due to a typo in the doc test (the tests do not pass). Once that is fixed I am happy to give a positive review. Done. Thanks Could you then rebase

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

2011-03-26 Thread Anne Schilling
Hi Simon, One advantage of having a similar set up to AlgebrasWithBasis would be the following commands which are often quite useful: sage: G = AlgebrasWithBasis(ZZ).example() sage: G An example of an algebra with basis: the free algebra on the generators ('a', 'b', 'c') over Integer

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

2011-03-26 Thread Anne Schilling
On 3/26/11 7:06 AM, Nicolas M. Thiery wrote: On Sat, Mar 26, 2011 at 06:11:44AM -0700, Anne Schilling wrote: I just review #10961, but unfortunately could not give it a positive review due to a typo in the doc test (the tests do not pass). Once that is fixed I am happy to give a positive

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

2011-03-26 Thread Simon King
Hi Anne, hi Nicolas, On 26 Mrz., 15:30, Anne Schilling a...@math.ucdavis.edu wrote: Could you then rebase trac7797 so that it is easier to use it in the sage-combinat queue? I added it there, but it is currently disabled. Ok, as soon as I get Simon's green light. Sounds good! Simon, can

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

2011-03-26 Thread Nicolas M. Thiery
On Sat, Mar 26, 2011 at 09:23:04AM -0700, Simon King wrote: I'll probably be not able to rebase it until Monday, but if you like, you can rebase it. Ok. I'll try to do that tonight. Otherwise tomorrow evening. Concerning the methods discussed here: For the current version of the patch, I did

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

2011-03-26 Thread Anne Schilling
Hi Simon, I am not sure this is the smallest example, but I get some error messages when playing with the quotients: sage: n=3 sage: F = FreeAlgebra(ZZ,n,'x',implementation='letterplace') sage: x = F.gens() sage: rel = [x[(i+1)%n]*x[i]*x[i]-x[i]*x[(i+1)%n]*x[i] for i in range(n)] sage: rel +=