[sage-combinat-devel] Problem with queue...

2011-03-29 Thread Martin Rubey
Good morning gurus! Two questions: 1) applying crystals_localCharacterization_td.patch patching file sage/categories/highest_weight_crystals.py Hunk #3 FAILED at 125 1 out of 3 hunks FAILED -- saving rejects to file sage/categories/highest_weight_crystals.py.rej patch failed, unable to continue

Re: [sage-combinat-devel] Problem with queue...

2011-03-29 Thread Anne Schilling
On 3/28/11 11:21 PM, Martin Rubey wrote: Good morning gurus! Two questions: 1) applying crystals_localCharacterization_td.patch patching file sage/categories/highest_weight_crystals.py Hunk #3 FAILED at 125 1 out of 3 hunks FAILED -- saving rejects to file

Re: [sage-combinat-devel] Problem with queue...

2011-03-29 Thread Nicolas M. Thiery
On Tue, Mar 29, 2011 at 08:21:03AM +0200, Martin Rubey wrote: 2) what can I do just to check whether something changed, without applying the patches? I tried hg pull and hg incoming but that didn't report any changes... `hg log` in .hg/patches or browsing http://combinat.sagemath.org/patches/

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

2011-03-29 Thread Nicolas M. Thiery
Hi Anne, On Mon, Mar 28, 2011 at 03:55:19PM -0700, Anne Schilling wrote: On 3/28/11 3:21 PM, Daniel Bump wrote: The patch contains this: ind = lambda i: (-w0.action(alpha[i])).support()[0] This would be called for each element of hw, which depends on the distance to the highest

[sage-combinat-devel] Categorification of sage/rings/ring.pyx

2011-03-29 Thread Simon King
Hi all! working on #11068, I tried to move the methods responsible for creating ideals and quotient rings from sage/rings/ring.pyx to sage/ categories/rings.py. However, it did not work, because rings are not using categories properly. I think I could manage to make them use categories. Or at

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-29 Thread Simon King
Hi Nicolas, On 29 Mrz., 11:00, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote: I am happy with the recycling of this ticket. Especially since we also have #9944: categories for polynomial rings. I guess that could be fixed as well. Currently I have sage: QQ['x'].category() Category of

[sage-combinat-devel] Re: Categorification of sage/rings/ring.pyx

2011-03-29 Thread Simon King
Hi Nicolas, On 29 Mrz., 11:19, Nicolas M. Thiery nicolas.thi...@u-psud.fr wrote: All good, as long as it plays smoothly with the patches posted on #9944! Hm. I guess that it is better to post on #9944 rather than on #9138, then. Cheers, Simon -- You received this message because you are

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

2011-03-29 Thread Daniel Bump
sage: T.dynkin_diagram_automorphism_w0() When the Dynkin diagram has a nontrivial automorphism (of order two except D4), the map alpha - -w0(alpha) may or not coincide with this automorphism. The issue is with type D_n. If n is odd, then alpha - -w0(alpha) is a nontrivial permutation of

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

2011-03-29 Thread Jean MICHEL
On Tue, Mar 29, 2011 at 08:16:53AM -0700, Daniel Bump wrote: When the Dynkin diagram has a nontrivial automorphism (of order two except D4), the map alpha - -w0(alpha) may or not coincide with this automorphism. ... Here there is a non-trivial graph automorphism but this isn't it. Therefore

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

2011-03-29 Thread bump
Anne wrote: The standard name in the literature for the automorphism (which may be trivial) induced by -w0 is the opposition automorphism This seems better to me. I was going to suggest making it a method of ClassicalCrystals (so it would be available for other crystals besides crystals of