GSoC 2017: Group Theory

[Valeriia Gladkova]

Hi, my name is Valeriia, I'm a second year mathematics undergrad at the University of Oxford, UK and I'd be really interested to work on a group theory project. I am trying to work out what features still need to be implemented and which would be the most useful at this stage.

From what reading I've done in the past several days, it looks like not much is implemented for subgroups and quotient groups. There is a #TODO note in fp_groups (line 162) that suggests that at present a subgroup can only be specified as a set of generators but can't be made into a group in its own right. This obviously needs fixing. Also, Gaurav Dhingra's proposal from last year (https://github.com/sympy/sympy/wiki/GSoC-2016-Application-Gaurav-Dhingra:-Group-Theory) included plans to implement a `factor_group()` function to compute quotient groups but that was never realised, if I'm not mistaken (at least I didn't find anything in the files related to groups in the combinatorics module) so that's another thing that needs work, as well as computing normal closures, centres, centralizers and normalizers. I'm also vaguely thinking of implementing something to do with group homomorphisms and things though I don't have a clear plan for that yet (I'm working on it).

Apparently, there's also been some talk of moving group things from combinatorics to a separate module which also hasn't happened.

What do you think? And what other things would be good to implement/fix/improve?

[Valeriia Gladkova]

I've given it more thought and have drafted a proposal. Could someone have a look? https://github.com/sympy/sympy/wiki/GSoC-2017-Application:-Group-Theory.

[Jason Moore]

Valerilia,

It looks like you have the basics covered in your proposal, but it would be good to find someone that is familiar with group theory to comment more. Maybe you can see what features are available in group theory in other mathematic software and then show how you can implement these here.

Jason
moorepants.info
+01 530-601-9791

On Mon, Mar 20, 2017 at 7:49 AM, Valeriia Gladkova <valeriia...@gmail.com> wrote:

I've given it more thought and have drafted a proposal. Could someone have a look? https://github.com/sympy/sympy/wiki/GSoC-2017-Application:-Group-Theory.

--
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+unsubscribe@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/a29c5dcc-58fd-4d80-b8d5-a33695ea0c53%40googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

[Denis Akhiyarov]

This definitely looks like the area of expertise for SAGEMATH folks.