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 >> <https://github.com/sympy/sympy/wiki/GSoC-2017-Application-%5BDRAFT%5D-George-Korepanov:-computing-function-domain,-image,-preimage-&-enhancement-of-singularities,-sets-modules> > > > > -- 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 https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/9683fb46-b238-49ec-9186-1f4390788bf1%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
