On Sat, Apr 13, 2013 at 8:43 PM, Tarang Patel <tarangro...@gmail.com> wrote:
> > > > On Sat, Apr 13, 2013 at 6:46 PM, David Joyner <wdjoy...@gmail.com> wrote: > >> >> >> >> On Sat, Apr 13, 2013 at 5:36 AM, Tarang Patel <tarangro...@gmail.com>wrote: >> >>> Hello, >>> After discussing here about Group Theory project, I worked on my >>> Group Theory project and have made my tentative proposal for GSoC 2013 >>> Group Theory project and added to the wiki. It would be nice, if someone >>> review it and guide me about my proposal and the project. >>> >>> My proposal is >>> https://github.com/sympy/sympy/wiki/GSoC-2013-Application:--Tarang-Patel:--Group-Theory >>> >>> Thanks, >>> Tarang Patel >>> >> >> >> Have you read [1]? >> In general, which books on group theory have you read? >> > I have read I.N. Herstein "Topics in Algebra", and some the concepts from > [1] and [2]. > I am reading [1] and [2] at present. > > >> Do you know that quotients G/H only form a group when H is normal in G? >> > > Yes, N should be normal to form G/H factor group. H should be the normal > subgroup of G to form factor group. > > >> How do you plan on representing the elements of G/H? >> > > Actually, G/H is the set of cosets of Normal subgroup H in G. So, Instead, > I think, I will represent the permutation group which is isomorphic to the > corresponding factor group (G/H). > > Are you going to return conjugacy classes or simply representatives of >> them? >> > Yes, the representatives of each of the conjugacy classes. I should change > the name of method to conjugacy_classes_representatives(). It will return > the list of representatives of each conjugacy classes of G. > > >> If simply reps, how will they be selected? >> > Will your representations be deterministic or random? >> Hence, as conjugacy_classes_representatives() returns the list of >> representatives of each conjugacy class, it will be deterministic and each >> representations can be accessed and selected specifically. >> > > >> Generally speaking, your description lacks details. >> > Thank you for the guidance. I will add the lacking details and modify my > proposal. > I have made some changes in the section of factor group and conjugacy class representatives in my proposal. I will add further details, if it is still lacking. > >>> >>> On Mon, Mar 25, 2013 at 9:11 AM, Tarang Patel <tarangro...@gmail.com>wrote: >>> >>>> >>>> >>>> On Sun, Mar 24, 2013 at 9:09 PM, Ramana Venkata <idlike2dr...@gmail.com >>>> > wrote: >>>> >>>>> Actually we don't have a generic group object as you may have know. Do >>>>> you have plans of implementing it? Can you specifically tell in what >>>>> context you said you can implement Orthogonal groups, Normal >>>>> subgroup, Homomorphisms of group etc., Is it just for the permutation >>>>> groups?? >>>> >>>> >>>> Yes, I told in context to permutation groups. We can have the concept >>>> of normal subgroup etc. for >>>> permutation groups. >>>> >>>> >>>>> Something which needs to be implemented in the present module are >>>>> Coset enumeration by the Todd-Coxeter algorithm, Finitely presented >>>>> groups >>>>> and algorithms relating to them. >>>> >>>> >>>> Ok, I will look at that too and will implement it. >>>> Thanks. >>>> >>>> >>>> >>>>> >>>>> On Sunday, March 24, 2013 3:13:25 PM UTC+5:30, Tarang Patel wrote: >>>>>> >>>>>> Hello, >>>>>> I want to work for the idea of Group theory as a part of my >>>>>> GSoC 2013 project. I also satisfy the patch requirement for GSoC >>>>>> https://github.com/sympy/**sympy/pull/1843<https://github.com/sympy/sympy/pull/1843> >>>>>> I have gone through the combinatorics module containing some of the >>>>>> implementations of group theory. The already implemented works of group >>>>>> theory are symmetric groups, >>>>>> alternating groups, dihedral groups, rubik cube, direct product of >>>>>> groups, abelian groups, permutation groups, polyhedron group. >>>>>> >>>>>> But still there are things that need to be implemented in >>>>>> discrete group and lie groups.I think it would be nice to have a module >>>>>> on >>>>>> Young tableaux, >>>>>> representations of the symmetric group,and their relation to >>>>>> irreducible tensors in sympy. I want to implement it as a part of my GSoC >>>>>> project. I have done a course on Group theory in my last semester. >>>>>> I think this would be helpful for me to implement a module on Young >>>>>> Tableaux and orthogonal groups. >>>>>> ( >>>>>> http://www.cns.gatech.edu/**GroupTheory/chapters/draft.pdf<http://www.cns.gatech.edu/GroupTheory/chapters/draft.pdf>). >>>>>> >>>>>> Also I think, I can implement things like Orthogonal groups, >>>>>> Normal subgroup, homomorphisms of groups, isomorphisms of groups in >>>>>> group theory. >>>>>> I want to know that are there any other things that needs to be >>>>>> implemented in group theory so that I start working on it ? >>>>>> >>>>>> Thanks, >>>>>> Tarang Patel >>>>>> >>>>> -- >>>>> You received this message because you are subscribed to the Google >>>>> Groups "sympy" group. >>>>> To unsubscribe from this group and stop receiving emails from it, send >>>>> an email to sympy+unsubscr...@googlegroups.com. >>>>> To post to this group, send email to sympy@googlegroups.com. >>>>> Visit this group at http://groups.google.com/group/sympy?hl=en-US. >>>>> For more options, visit https://groups.google.com/groups/opt_out. >>>>> >>>>> >>>>> >>>> >>>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "sympy" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to sympy+unsubscr...@googlegroups.com. >>> To post to this group, send email to sympy@googlegroups.com. >>> Visit this group at http://groups.google.com/group/sympy?hl=en-US. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >>> >>> >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sympy+unsubscr...@googlegroups.com. >> To post to this group, send email to sympy@googlegroups.com. >> Visit this group at http://groups.google.com/group/sympy?hl=en-US. >> For more options, visit https://groups.google.com/groups/opt_out. >> >> >> > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.
