Yes, I like this. We should be able to define groups by symbolic generators, rather than being forced to use permutations. We will need to be able to support infinite groups as well for this to work (already in your example FreeGroup(a, b) is an infinite group).
Following GAP seems like a good plan, as they have already thought about these things much harder than we have. Aaron Meurer On Mon, Dec 29, 2014 at 6:33 AM, vamsi kaushik <[email protected]> wrote: > Hi Aaron, > > I would like to start off by implementing Finitely presented groups in > sympy. They and any other work in group theory like the Galios group, Lie > group will be subclassed from the generic group class that I would > implement first. > So the properties of group would be > > - is_finite > - is_multiplicative > - is_abelian > - order > - .... > > A finite Group class which creates a finite group specified by the > elements and relations among them. A good way to construct a finite group( > as given in GAP) is by first constructing a Free Group of these elements > and then declaring the Finite Group as the quotient group of this free > group eg. > F = FreeGroup("a", "b") > G = f/[(a**2)/b] > Now G is The finite group with elements "a", "b" with the relation a**2 = > b. would this be a good idea ? > > 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/9a4d915d-34bb-4fc3-a905-7c2242db93c8%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/9a4d915d-34bb-4fc3-a905-7c2242db93c8%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > 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/CAKgW%3D6%2BCtC8y6tbXDqRwV0X-jxTmxYtnnXJ9fxf8PFAPB-L97Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
