On Fri, Jan 30, 2015 at 5:01 PM, vamsi kaushik <[email protected]> wrote:
> Hi Aaron, > > Thanks for the interest. I had actually created a rough draft of my > proposal. But I am very doubtful it has the minute implementation details. > However I had outlined my idea very briefly in the wiki here > <https://github.com/kaushik94/Proposal/wiki>. As you have mentioned in an > other thread, the implementation is more in the lines of sympy.polys which > works on modules. I would like to know your feedback regarding this. > > >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). > Yes, we can definitely aim to support their representations but i am > highly doubtful about being able to implement any algorithms by the end of > this summer( But could do that later ). If I were to take up this project, > I might want to completely focus on the Finite Groups implementation > thoroughly. What do you think ? > That's fine. Some problems on infinite groups are unsolvable anyway. We can always raise NotImplementedError, or return unevaluated objects. Aaron Meurer > > Thanks, > kaushik > > On Saturday, January 31, 2015 at 4:13:01 AM UTC+5:30, Aaron Meurer wrote: >> >> 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/ms gid / sympy / eed40389-22d9-43bb- >>>> 82d1-4de270607732%40googlegroups.com >>>> <https://groups.google.com/d/msgid/sympy/eed40389-22d9-43bb-82d1-4de270607732%40googlegroups.com>. >>>> >>>> > For more options, visit https://groups.google.com/d/op all >>>> <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/28c868af-3c74-4d99-9f80-232599e05dc2%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/28c868af-3c74-4d99-9f80-232599e05dc2%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%2B_ceuYeq1SepMXSQQ9KP6SjD4PFdmtWSGWT4hKZG03qw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
