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

2011-03-27 Thread Simon King
Hi Anne, On 27 Mrz., 00:39, Anne Schilling a...@math.ucdavis.edu wrote: 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') That's the other restriction

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

2011-03-27 Thread Simon King
On 27 Mrz., 08:11, Simon King simon.k...@uni-jena.de wrote: I guess, what I should do is to test at the beginning of the groebner_basis method whether we have a field, and give a clear error message. Also I should mention that restriction in the doc string of the groebner_basis method. Udate

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

2011-03-27 Thread Nicolas M. Thiery
On Sat, Mar 26, 2011 at 11:35:18PM -0700, Simon King wrote: On 27 Mrz., 08:11, Simon King simon.k...@uni-jena.de wrote: I guess, what I should do is to test at the beginning of the groebner_basis method whether we have a field, and give a clear error message. Also I should mention that

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

2011-03-27 Thread Anne Schilling
Hi Simon, Thanks for the explanation! Everything seems to work fine now. I gave a positive review on trac for the added features, perhaps someone else could do a technical review of the patch. Best, Anne On 3/26/11 11:11 PM, Simon King wrote: Hi Anne, On 27 Mrz., 00:39, Anne

[sage-combinat-devel] Schuetzenberger involution and promotion operator

2011-03-27 Thread Anne Schilling
Hi! I just added a new patch on trac which implements the Schuetzenberger involution on both words and tableaux and also the promotion operator on tableaux of arbitrary shape: http://trac.sagemath.org/sage_trac/ticket/10446 This was started during Sage Days 26 in Seattle last December with

[sage-combinat-devel] Re: [sage-algebra] Re: Is a free algebra with one generator a univariate polynomial ring?

2011-03-27 Thread Nicolas M. Thiery
On Sun, Mar 27, 2011 at 12:00:37PM -0700, Simon King wrote: Anyway, I agree with you that my question should be answered in a practical way and can not really have a categorical answer. That's why I formulated are free algebras and polynomial rings too different? in my original question.

[sage-combinat-devel] Re: Schuetzenberger involution and promotion operator

2011-03-27 Thread bump
I just added a new patch on trac which implements the Schuetzenberger involution on both words and tableaux and also the promotion operator on tableaux of arbitrary shape: http://trac.sagemath.org/sage_trac/ticket/10446 I have the impression this is for Type A only. But the Schutzenberger