[sage-combinat-devel] Re: WeylCharacterRing reimplementation
On Aug 20, 11:27 am, "Nicolas M. Thiery" wrote: > The best fix would be to have, as has been planned some time ago, > WeylCharacterRing use categories (and by the way > CombinatorialFreeModule), and this would be automatically handled by > the coercion system. > > Dan: do you have any chance for handling this? I have a working partial implementation. Could you look at this and tell me if this is what you have in mind: http://sporadic.stanford.edu/bump/alt_weyl_character_rings.patch This implements quite a bit of the functionality of WeylCharacterRings. What is missing is branching rules and WeightRings. For ease of comparison with the old code, this does not eliminate the old class but creates a new one called AltWeylCharacterRing. If this gets working right we can eliminate the old file (before merging into sage-main) but for testing purposes it seems good to have them working side-by-side at this. Nicolas, does this patch satisfy your desire to use categories and CombinatorialFreeModule? If so I will finish the patch and make a trac ticket. Dan stage. -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
Re: [sage-combinat-devel] Re: WeylCharacterRing
On Wed, Sep 01, 2010 at 05:50:26AM -0700, bump wrote: > Now you will need mercurial installed. For example if you have > Ubuntu you can run > > sudo apt-get install mercurial > > if you do not have it already. Or just use `sage -hg` instead of `hg`. Best, Nicolas -- Nicolas M. Thiéry "Isil" http://Nicolas.Thiery.name/ -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
[sage-combinat-devel] Re: WeylCharacterRing
On Sep 1, 1:37 am, Bruce wrote: > > Can you compile sage from scratch? > > Yes. I have a Linux machine and John Cremona installed sage 4.5.2 > 2010-08-05 for me from scratch. Great. To install the patch, download it by going to http://trac.sagemath.org/sage_trac/ticket/9838 Click on the patch trac_9838.patch which will bring it up. Go to the bottom of the page and click original_format to download it. Now you have a copy of the patch locally. Go to your sage root directory, which I will call $SAGE_ROOT and issue the following commands: cd devel sage -b main sage -clone 9838 This will create a clone of sage called sage-9838. Now you will need mercurial installed. For example if you have Ubuntu you can run sudo apt-get install mercurial if you do not have it already. You are in the directory $SAGE_ROOT/devel. cd sage-9838 hg import [path to trac_9838.patch] sage -b When this is done, you have a patched version of sage. You can switch back and forth between the old version sage-main and sage-9838 using sage -b main sage -b 9838 When you load sage you should see this: Loading Sage library. Current Mercurial branch is: 9838 sage: R. = ZZ[] sage: KG2 = WeylCharacterRing("G2", base_ring = R, style="coroots") sage: KG2(q) q*G2(0,0) sage: chi=(q+1)*KG2(1,0) sage: chi^2 (q^2+2*q+1)*G2(0,0) + (q^2+2*q+1)*G2(1,0) + (q^2+2*q+1)*G2(0,1) + (q^2+2*q+1)*G2(2,0) Dan -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
[sage-combinat-devel] Re: WeylCharacterRing
> > Can you compile sage from scratch? > Yes. I have a Linux machine and John Cremona installed sage 4.5.2 2010-08-05 for me from scratch. -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
[sage-combinat-devel] Re: WeylCharacterRing
Bruce wrote: > Thanks Dan. I would be happy to try if I knew what to do! In order to try the patch (short of waiting for the patch to get merged into sage) you need a patched version of sage. Can you compile sage from scratch? That is, download sage-4.5.2.tar from here: http://www.sagemath.org/download-source.html Then compile the program by the instructions on that page. It is assumed you have either a Mac or a Linux machine. If you can do this, you can patch the program and then recompile it. That may require further help from us but it is certain that can be done if you are able to build sage from scratch. If this is difficult you can meanwhile avoid style="coroots" and have coefficients in a polynomial ring. Dan -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
[sage-combinat-devel] Re: WeylCharacterRing
Thanks Dan. I would be happy to try if I knew what to do! > Bruce, could you try the patch and see if it solves > your problem? -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
[sage-combinat-devel] Re: WeylCharacterRing
I have uploaded a patch for this problem here: http://trac.sagemath.org/sage_trac/ticket/9838 Bruce, could you try the patch and see if it solves your problem? Dan -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
[sage-combinat-devel] Re: WeylCharacterRing
Bruce wrote: > I have tried to construct the WeylCharacterRing with base_ring > polynomials in q with integer coefficients. There were no complaints > but it seemed to take q to be one of the monomials. This is a bug. I note that this doesn't happen if we omit the coroot style. Nicolas wrote: > The best fix would be to have, as has been planned some time ago, > WeylCharacterRing use categories (and by the way > CombinatorialFreeModule), and this would be automatically handled by > the coercion system. I agree that this should be done and will try to do this. However that will be a lot of work (which is why I haven't done it already) and I will first try to fix this bug with the existing framework. Dan -- 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-de...@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.