Hi,
it's slightly out of topic, but SymPy is really missing the ability to
define assumptions on sets (that is, that a variable belongs to a set, e.g.
x in [1, 3]).
There are some PR that could be continued:
- https://github.com/sympy/sympy/pull/11615
-
Yash,
You should search the mailing list for past conversations, look at our
Github wiki for previous proposals on this system, search pull requests
related to assumptions, and reach out to the people that have worked on
this system to learn what is needed. Also start here for getting setup:
Hi everyone!
My name is Yash Patel, currently a junior at Princeton University (studying
Math with minors in Computer Science and Statistics Machine Learning). I
was *really *interested in the Assumptions project that was described on
the GSoC ideas page, especially because I used something in
