Hi Anne, I agree with Dima in that it would be great to have some of the basic ring theory available in improved. There are some basic deficiencies with (Laurent) polynomial rings, especially in more than one variable and it would great if all of the problems with quite basic rings could be ironed out. In addition, my life would be much easier if sage were able to efficiently compute in the location of a ring at a ideal -- what I would really like is to be able to calculate in modular systems "with parameters", which is my way of saying that I would like to be able to explicit calculations in modular systems for Iwahori-Hecke algebras. Implementing all of these gadgets is, perhaps, not so exciting from the point of view of a grant application, but not having these basic ring constructions available limits what you can currently do with sage. So far I have always found way to get around these problems, but it has been much harder than I expected.
Regarding you suggested wish-list, I have already implemented graded Specht modules for KLR algebras for quivers of type A and when I have time I can get the finite dimensional standards as well. My work on this has stalled, but I am hoping to be able to restart soon, so perhaps we should talk more about this aspect of what you are planning. Andrew On Wednesday, 29 October 2014 10:42:53 UTC+11, Anne Schilling wrote: > > Dear All! > > Dan Bump, Ben Salisbury, Mark Shimozono and I are planning to apply > for an NSF grant for Sage (to fund Sage Days and other Sage related > activities). We will mostly focus on topics in combinatorics/algebra/ > representation theory. It would be great to hear from you what your > wishlists are in this area. What are features you would like to implement/ > see implemented? > > Particular areas we would like to emphasis are representation theory of > semigroups, representations of affine Lie algebras and hyperbolic > Kac-Moody > Lie algebras, KLR algebras, the power of the category code and > functorial constructions to implement the DAHA and more. But we are > open to other suggestions. > > Best, > > Anne > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
