Not that it matters, but I would be interested to see something similar to what is being proposed by Vamsi. It would be nice to have a Group class from which FiniteGroup could be subclassed, and which I could use as well, if I get around to writing a LieGroup.
Joy On Sun, Dec 28, 2014 at 2:38 AM, vamsi kaushik <[email protected]> wrote: > Hi Aaron, > > I have gone through the source code for group theory currently( Okay, just > a part of it !). I see that most of the implementation is centered around > permutation groups. I would like to introduce a generic Finite group object > from which someone can take off to implement complex groups and structures > as well as changing the permutation groups in sympy to inherit from this > object. I had an idea of implementing Finitely presented groups for this > summer(at least most of the focus would be around this) - their > representation, properties, coset enumeration, Quotient groups and Tietze > transformations are a few things that came to mind first. I feel that these > would be the basic building blocks of group theory to start with. I would > like to discuss details in depth about the idea but I want to know whats > your take on this idea itself ? > > On Sunday, December 28, 2014 1:35:53 AM UTC+5:30, Aaron Meurer wrote: >> >> It's never too early. The earlier you start the better. >> >> There has been some work already, but with group theory, there is >> always more to do. I believe there is some stuff on the ideas page >> about it. Most of what is already there is in the combinatorics >> submodule. >> >> Aaron Meurer >> >> >> On Fri, Dec 26, 2014 at 11:52 AM, vamsi kaushik >> <[email protected]> wrote: >> > Hi, >> > >> > I am an undergrad CS student. I have done one semesters of >> Algebra(linear >> > and abstract). I would like to implement group theory module as a part >> of >> > gsoc 2015. Is it too early, if not is there any development going on in >> this >> > lines so that I can help ?. >> > >> > thanks, >> > kaushik varanasi >> > >> > -- >> > 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 [email protected]. >> > To post to this group, send email to [email protected]. >> > Visit this group at http://groups.google.com/group/sympy. >> > To view this discussion on the web visit >> > https://groups.google.com/d/msgid/sympy/eed40389-22d9- >> 43bb-82d1-4de270607732%40googlegroups.com. >> > For more options, visit https://groups.google.com/d/optout. >> > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/fe9141ea-2a0d-4e6f-9a77-7681ece42f08%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/fe9141ea-2a0d-4e6f-9a77-7681ece42f08%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- The best ruler, when he finishes his tasks and completes his affairs, the people say “It all happened naturally” - Te Tao Ch'ing -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CA%2BphhEkNHQE8i-1BKkCadYo3zi3GeM6PhSkEPCQn7Yjc2TaZcA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
