Re: [sage-combinat-devel] Re: #7922 reviewer's patch

2011-03-24 Thread Daniel Bump
Unfortunately, trac_7922 may have a problem. I have been unable make good pickles for: _class__sage_combinat_root_system_weyl_characters_WeylCharacterRing_class_with_category__.sobj _class__sage_combinat_root_system_weyl_characters_WeylCharacter__.sobj I tried reverting to a version before the

Re: [sage-combinat-devel] Re: #7922 reviewer's patch

2011-03-24 Thread Daniel Bump
I just pushed a patch to the combinat queue that addresses a few issues. It is called trac_7922-revisions3.patch. > Ah, another point: running pyflakes on weyl_characters.py points out > the following: > > weyl_characters.py:2104: undefined name 'is_even' > weyl_characters.py:2107: u

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

2011-03-24 Thread Simon King
Hi Anne, On 24 Mrz., 10:53, Anne Schilling wrote: > ... > Ok, this should not be a problem since in the application I have in mind > the relations are homogeneous and hence only terms in homogeneous terms > will cancel. > > > Therefore, in my to-be-submitted-as-soon-as-the-damned-documentation- >

[sage-combinat-devel] Subword complexes and Demazure products

2011-03-24 Thread Christian Stump
Hi, I am currently implementing the subword complex as defined by Knutson and Miller. For that, I need an implementation of the Demazure product of a word in a Coxeter group. Is this already done? Are people interested in it? Thanks for your reply, Christian -- You received this message becaus

Re: [sage-combinat-devel] Re: Refactoring of posets

2011-03-24 Thread Nicolas M. Thiery
On Thu, Mar 24, 2011 at 07:33:47AM -0700, Andrey Novoseltsev wrote: > Awesome! :-) > Out of curiosity - why does Poset.mro have to stay in the list of > constructors? Because Posets is a (new style) class. So unless one hacks `dir` (which we could do) the method mro of classes will appear in the

[sage-combinat-devel] Re: Refactoring of posets

2011-03-24 Thread Andrey Novoseltsev
On Mar 24, 3:47 am, "Nicolas M. Thiery" wrote: >         Hi Poset fans, > > I just recalled that there already exists two categories > PartialyOrderedSets and PartialyOrderedMonoids, with aliases > OrderedSets and OrderedMonoids. At this point, those categories are > stubs, and are not used anywer

Re: [sage-combinat-devel] Trac 10995 : getitem on ambient sapce of a root system

2011-03-24 Thread Nicolas M. Thiery
On Thu, Mar 24, 2011 at 02:49:45PM +0100, Viviane Pons wrote: > Ok, I did the simple >0 and <= dimension, it seems to be the quickest. > > I uploaded it on trac, so here you go ! Thanks! Sorry to be picky, but consistency in the spacing around < and <= would be good (usually one space on both).

Re: [sage-combinat-devel] Trac 10995 : getitem on ambient sapce of a root system

2011-03-24 Thread Viviane Pons
Ok, I did the simple >0 and <= dimension, it seems to be the quickest. I uploaded it on trac, so here you go ! Cheers, Viviane -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-devel@goo

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

2011-03-24 Thread Anne Schilling
Hi Simon, I just joined sage-combinat-devel, so, this time, I can answer directly. Great! The trick is to interpret elements of a free algebra as elements of a very large commutative ring (namely with infinitely many generators). This is where the name "letterplace" comes from. Namely, each

Re: [sage-combinat-devel] Re: [sage-devel] Re: Refactoring of posets

2011-03-24 Thread Nicolas M. Thiery
On Thu, Mar 24, 2011 at 09:24:19AM +0100, Martin Rubey wrote: > Are libraries somewhat similar in spirit to the method .an_element? Nothing has been formalized about them. But yeah, graphs, digraphs, posets, species all have a role between "collection of examples" (similar in spirit to an_element(

Re: [sage-combinat-devel] Trac 10995 : getitem on ambient sapce of a root system

2011-03-24 Thread Nicolas M. Thiery
On Thu, Mar 24, 2011 at 11:06:30AM +0100, Viviane Pons wrote: > I created a patch : > > trac_10995-fixing_getitem_on_ambient_space-vp.patch > > under the "Root System and crystals" > > and added the fix, I changed my trac to "need review". Thanks, this sounds good! Please remove the space at t

Re: [sage-combinat-devel] Re: [sage-devel] Re: Refactoring of posets

2011-03-24 Thread Martin Rubey
"Nicolas M. Thiery" writes: > How does this all sound? Very nice! Martin -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send e

Re: [sage-combinat-devel] Trac 10995 : getitem on ambient sapce of a root system

2011-03-24 Thread Viviane Pons
I created a patch : trac_10995-fixing_getitem_on_ambient_space-vp.patch under the "Root System and crystals" and added the fix, I changed my trac to "need review". Cheers Viviane 2011/3/23 Nicolas M. Thiery : >        Hi Viviane, > > On Wed, Mar 23, 2011 at 11:38:27AM +0100, Viviane Pons wrot

[sage-combinat-devel] Re: [sage-devel] Re: Refactoring of posets

2011-03-24 Thread Nicolas M. Thiery
Hi Poset fans, I just recalled that there already exists two categories PartialyOrderedSets and PartialyOrderedMonoids, with aliases OrderedSets and OrderedMonoids. At this point, those categories are stubs, and are not used anywere in the Sage code. Since the terminology "Poset" (rather

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

2011-03-24 Thread Simon King
Hi Anne, I just joined sage-combinat-devel, so, this time, I can answer directly. On 24 Mrz., 09:39, Anne Schilling wrote: > Looking at the link, it seems this is working with monomials in > commutative variables. But this would still apply for monoids/ > algebras where the generators do not nec

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

2011-03-24 Thread Nicolas M. Thiery
On Thu, Mar 24, 2011 at 01:39:52AM -0700, Anne Schilling wrote: > >Zitat von Burcin Erocal: > >>Letterplace should be able to handle quotients of free algebras: > >> > >>http://www.singular.uni-kl.de/Manual/latest/sing_441.htm#SEC493 > > > >Letterplace, on the one hand, is fairly general: It provid

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

2011-03-24 Thread Anne Schilling
Hi Simon and Burcin, Thank you for your answers. On 3/23/11 12:08 PM, Burcin Erocal wrote: Simon is not subscribed to sage-combinat-devel. Here is his reply: Begin forwarded message: Date: Wed, 23 Mar 2011 19:16:18 +0100 From: Simon King To: sage-combinat-devel@googlegroups.com Cc: Burcin Ero

Re: [sage-combinat-devel] Re: [sage-devel] Re: Refactoring of posets

2011-03-24 Thread Martin Rubey
Are libraries somewhat similar in spirit to the method .an_element? Martin -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send em

[sage-combinat-devel] Re: [sage-devel] Re: Refactoring of posets

2011-03-24 Thread Nicolas M. Thiery
Hi Rob! On Wed, Mar 23, 2011 at 09:47:34AM -0700, Rob Beezer wrote: > The only advantage I could see to uppercase would be if every category > *automatically* came with the infrastructure for collections. This triggers my curiosity. Do you have some specific features you would dream of ab