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/
-~----------~----~----~----~------~----~------~--~---

Reply via email to