Hi, David, On Sun, Apr 1, 2012 at 4:14 PM, David Joyner <wdjoy...@gmail.com> wrote:
> On Sun, Apr 1, 2012 at 5:28 AM, Gaurav Sathe <gaurav.sath...@gmail.com> > wrote: > > Hi, > > > > PFA my proposal for GSOC 2012 for the topic Group Theory . I would really > > appreciate any suggestions and changes from the community which would > > improve the proposal. > > > > Please let me know . > > What concrete classes of groups do you have experience with in your > studies? > > I have mainly studied abelian groups and permutation groups, I do have a general idea about Matrix groups also. However I would like to implement mainly the abstract group as I have a better command over it. How I plan to implement it is as follows: There will be a main Group class. Each group object will have a number of methods like finding identity,inverse, order of element, order of group, determining abelian nature, etc Typo: For "null space" I think you want to say "kernel". > Also, you could add "Image". Implementing a homomorphism class > would be nice. Are you doing this for abelian groups? > If so, additive or multiplicative? For permutation groups? > If so, how are you representing the homomorphism? > > Yes you are right, by 'null space' I meant the "kernel" > I also think that implementing homomorphism class is a good idea. Yes the homomophisms will be restricted to abelian groups since that will make the implementation a bit simpler. I plan to implement homomorphisms in a way similar to how its done in SAGE, i.e. for multiplicative abelian groups . There will be a class for the set of homorphisms between G and H , i.e Hom(G,H) and the associated methods under this class for each homomorphism object. Do you think it will be possible to implement homomorphisms for non-abelian groups as well? Also are there any other algorithms you think I can implement? Please let me know. Right now I am trying to make a prototype of how the interface should look like. I think that will give a better idea. Thnx > > > > > Thank you. > > > > -- > > You received this message because you are subscribed to the Google Groups > > "sympy" group. > > To view this discussion on the web visit > > https://groups.google.com/d/msg/sympy/-/INJ9ucpALu4J. > > To post to this group, send email to sympy@googlegroups.com. > > To unsubscribe from this group, send email to > > sympy+unsubscr...@googlegroups.com. > > For more options, visit this group at > > http://groups.google.com/group/sympy?hl=en. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to sympy@googlegroups.com. > To unsubscribe from this group, send email to > sympy+unsubscr...@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > > -- Gaurav Sathe -Student at BITS Pilani - Goa Campus -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
