On 7/23/07, William Stein <[EMAIL PROTECTED]> wrote: > > On 7/23/07, David Joyner <[EMAIL PROTECTED]> wrote: > > I'm not sure Keith is a sage-devel subscriber but also I only cc'd > > the list one of the last posts in the thread. The original post > > describes what he wants. Here is a piece of it: > > Unfortunately, it doesn't describe what he wants clearly enough > for me to understand. In particular: > > > I have some computations I'd like to make in a quotient ring > > (i.e. R/I) for R the integral group ring of a finite group. Sometimes > > R/I is finite, sometimes not. I can of course determine the abelian > > group structure of R/I, but I'd like to find ring generators of the > > summands & determine their multiplication, particularly in the finite > > case. > > What does "determine their multiplication" mean? Multiplicity?
I think he (essentially) just means relations. In other words, how do you express the product of two generators of R/I in terms of the others? GAP can define R = GroupRing(base_ring,finite_group) and compute an ideal in R (the augmentation ideal is all I could fine), but not R/I. > > william > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---