[sage-combinat-devel] coxeter groups category

2012-03-26 Thread Christian Stump
Hi Mark, I was just looking at your coxeter_ms patch. Here are some remarks: - apply_demazure_product takes either an element or a reduced word. -- Is it clear that different words for an element produce the same Demazure product? -- why do you want the word to be reduced; I constantly use the De

Re: [sage-combinat-devel] coxeter groups category

2012-03-26 Thread mshimo
Christian, Thanks very much for having a look! > - apply_demazure_product takes either an element or a reduced word. > -- Is it clear that different words for an element produce the same > Demazure product? There is some flag variety geometry which implies this directly. For a more hands-on pro

Re: [sage-combinat-devel] coxeter groups category

2012-03-26 Thread Christian Stump
Hi Mark -- > But the braid relation describes the long element of the > dihedral group generated by s1 and s2, so by the above length-additivity, > s1 (s2 s1 s2) will act the same way as s2 s1 s2. Thanks for providing a detailed proof, it might be worth having a reference in the source code, so p

Re: [sage-combinat-devel] coxeter groups category

2012-03-26 Thread Nicolas M. Thiery
Hi guys, It's good to see ongoing discussions on Coxeter groups and friends. Keep it up! On Mon, Mar 26, 2012 at 04:50:56PM +0200, Christian Stump wrote: > > if hasattr(element,"parent") and element.parent() is self.parent(): Just a variant: if self.is_parent_of(element):

Re: [sage-combinat-devel] coxeter groups category

2012-03-26 Thread mshimo
Christian, I just pushed a version of my patch that takes into account what you and Nicolas said. Please proceed with the rebasing etc. Thanks for doing this! --Mark P.S. I can't promise that my code is entirely speedy, only that it is not extravagantly wasteful. > my patch on the Demazure pro

Re: [sage-combinat-devel] coxeter groups category

2012-03-28 Thread Christian Stump
Hi, > I just pushed a version of my patch that takes into account > what you and Nicolas said. > > Please proceed with the rebasing etc. Thanks for doing this! I moved your patch coxeter_ms up above my patch on subword complexes, where I need the Demazure product. I had to do some rebasing, so p

Re: [sage-combinat-devel] coxeter groups category

2012-03-28 Thread mshimo
Christian, Thanks for moving my patch up and rebasing. > Have you created a ticket for this patch already? Could you then add a > comment at #11122 that says that this ticket got merged into yours -- > thanks! I created a ticket: #12774. My patch on the sage-combinat queue is now trac_12774-coxe

Re: [sage-combinat-devel] coxeter groups category

2012-03-29 Thread Nicolas M. Thiery
On Thu, Mar 29, 2012 at 12:01:26AM -0400, msh...@math.vt.edu wrote: > I added the comment on #11122 but don't know how to change its > status to "already done" or whatever it should be. From: http://www.sagemath.org/doc/developer/trac.html#reasons-to-invalidate-tickets «change the status of the

Re: [sage-combinat-devel] coxeter groups category

2012-03-29 Thread mshimo
Christian and Nicolas, I put my one rejected text hunk in a slightly different place (not quite at the very bottom) and the rest of the queue applies! Zero doctest failures at my patch. Only a few when the entire queue is applied, and I saw all of these same failures when my patch was the last to

Re: [sage-combinat-devel] coxeter groups category

2012-03-29 Thread Christian Stump
> I put my one rejected text hunk in a slightly different place > (not quite at the very bottom) I don't understand what you mean -- into another patch below in the queue or somewhere else in the py file? > May I push my changes to the sage-combinat server? > I will wait until I have an affirmati

Re: [sage-combinat-devel] coxeter groups category

2012-03-29 Thread Nicolas M. Thiery
On Thu, Mar 29, 2012 at 07:43:08PM +0200, Christian Stump wrote: > Just push it, if that doesn't create some conflict. Then I can see > what you mean above. +1 Nicolas -- Nicolas M. Thiéry "Isil" http://Nicolas.Thiery.name/ -- You received this message because yo