GSoC 2017 Idea: function domain/codomain/image/preimage & enhancement of singularities/sets modules

[Георгий Корепанов]

Hello Developers, 

I am George Korepanov, a second year student studying Computer Sciences and Electrical Engineering at Moscow Institute of Physics and Technology.

I have been using the SymPy for a good while and I'm very interested in implementation of some functionality it lacks.

I do have quite many ideas (and there are many at ideas pages as well), though I'm focused on 

Computing function domain/codomain/image/preimage & enhancement of singularities/sets modules

 

I had written the first part of the proposal:

Link to SymPy wiki

I'm going to finish it soon. However, I believe there are lots of things to be discussed, so I would really appreciate any suggestions, reviews and revises.

The particular questions of mine:

1. Is the community interested in such a functionality?
2. How much of the proposed ideas is it possible to accomplish within the GSoC coding-time?
3. At the beginning of the proposal there are particular questions regarding the API and maths (ranged by importance). Please, refer to them.

[Francesco Bonazzi]

Hi,

Have a look at:
https://github.com/sympy/sympy/pull/11615

(it's somewhat related, also have a look at the linked PRs).

Especially the idea presented in the comment:
https://github.com/sympy/sympy/pull/11615#issuecomment-249701635

Creating objects like SetAdd, SetMul, SetPow and functions on sets would allow to track how the set is distorted by a function.

Concerning the assumptions: I would not be bothered at first and concentrate rather on a clear implementation of the algorithms. How to integrate this with the assumptions system can be decided any time after the algorithms have been implemented.

On Friday, 3 March 2017 08:42:18 UTC+1, Георгий Корепанов wrote:

Seems the link is broken (I have renamed the page). So I'm posting a new one:

New link to proposal

 

[Георгий Корепанов]

Thank you very much for your references. I'm now looking at them and other PR's linked.

Hi,

Have a look at:
https://github.com/sympy/sympy/pull/11615

That is a reasonable observation. It is much more important to accomplish the core functionality.