GSoC 2016: Group Theory

[Gaurav Dhingra]

Hi, I'm Gaurav Dhingra, i will hopefully be a GSoC applicant this year. I want to discuss the possibilities for what "should"
i do in regards to extend the Group Theory in SymPy. I saw there is some questions on ideas page I want to discuss the
Group Theory idea given on the Idea's page.https://github.com/sympy/sympy/wiki/GSoC-2015-Ideas#group-theory

I also made a wiki: https://github.com/sympy/sympy/wiki/GSoC-2016-Application-Gaurav-Dhingra:-Group-Theory .
I think it will be really good if we could first discuss the things that can be done in order. Since implementation of certain
groups may require the implementation of others or certain `class`. Example we don't yet have a `Group` class from which
all the `groups` could be derived, though this class in itself will be of very little use,

since Prof. Kalevi said:

> I think that may be too general for practical purposes. Besides, many groups are infinite and the corresponding sets are not easily described.

In particular i am sure that i will start working with the implementation of `FreeGroup` and `Finitely Presented Groups` (only sure that this can be done,
but how to do this is still to be worked upon in detail), this itself will take quite sometime, but can something more be done?

I feel quite positive that we should be following the `GAP` (gap-system.org) for what algorithms be used.

--
Gaurav

[Gaurav Dhingra]

Just wanted to inform that. Though this thread has not received any input but we do have a gitter channel for "group_theory_implementation" https://gitter.im/gxyd/group_theory_implementation that i made in last year October, currently @asmeurer, @jksuom, @hargup and me are there in the channel . It is a private channel and currently has many messages shared regarding their implementation.

Why is it private?
Unfortunately initially i did not knew that i could not make that channel public and now it has a large number of chat logs so no easy to leave all that there.

So please feel free to ping me on sympy gitter main channel https://gitter.im/sympy/sympy or you can "PM me" or "mail me"  or "comment here" i will add you in the channel.
You suggestions can be very helpful.

Gaurav

[Gaurav Dhingra]

I went through the manual way of finding the order of an FpGroup using the Todd Coxeter Algorithm. I could not see as what to refer to for the "computational" aspect of it.
That is how this problem is solved in GAP or Magma. What should i refer for the computational aspect of the algorithm?

[Ashutosh Saboo]

Hi Gaurav,

Please add me to the Group Theory Implementation - Gitter Channel. Thanks! :)

[Gaurav Dhingra]

Hey Ashutosh, i have added you to the gitter channel. This is the link https://gitter.im/gxyd/group_theory_implementation .x`

--
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+un...@googlegroups.com.
To post to this group, send email to sy...@googlegroups.com.
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/1ee047a5-8391-4767-a16b-95481f61bea5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.