There has been some work in simplifying unions of imagesets: https://github.com/sympy/sympy/pull/18489
I think that work could be continued by someone else (better to ask first on that pull request before working on it though). On Mon, 2 Mar 2020 at 19:05, Aaron Meurer <[email protected]> wrote: > > Can you clarify what you mean by set builder form to roaster form? > > Cardinality is already implemented as the size attribute, although > don't support infinite cardinals beyond just "infinity". > > Fuzzy sets could be implemented, but I don't think they belong in the > set module, which deals only with classical set theory. > > If the goal here is to support the solvers, I don't think these things > will be of much use. What is needed for the solvers is to improve the > existing methods of sets, so they are able to simplify in more cases. > For example, we currently have > > >>> solveset(sin(x), x) > Union(ImageSet(Lambda(_n, 2*_n*pi + pi), Integers), > ImageSet(Lambda(_n, 2*_n*pi), Integers)) > > the union code should be able to simplify this to just > ImageSet(Lambda(n, n*pi), Integers), which is the more classical > solution to sin(x) = 0. ImageSet in particular is something that > should be improved a lot so that the solveset answers can be > simplified better. > > Aaron Meurer > > On Sun, Mar 1, 2020 at 8:55 PM Mugdha Joshi <[email protected]> > wrote: > > > > Hey Jogi Miglani, > > Thank you so much for your reply. > > I also want to know if Set buider form to roaster form, cardinality of a > > set, fuzzy set etc are to be implemented? > > > > On Mon, 2 Mar, 2020, 9:21 AM Jogi Miglani, <[email protected]> wrote: > >> > >> Hi Mugdha Joshi, > >> Its very good to know that you are interested in solvers and you know what > >> is pending. I am not able to understand how you will be going to apply > >> Newton Raphson method for Trigonometric equations and what will be its > >> pros and cons. And for rest I will suggest to keep contributing and try to > >> start contribute on one of the above topic you mentioned. > >> > >> Cheers!! > >> > >> On Sat, Feb 29, 2020 at 8:50 AM Mugdha Joshi <[email protected]> > >> wrote: > >>> > >>> Hey Aaron Meurer, I want to know if I am going in the right direction. I > >>> want your review in this(Regarding Solver) so that I can confidently > >>> proceed further with my proposal. > >>> Thanks in advanced. > >>> > >>> -- > >>> 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 view this discussion on the web visit > >>> https://groups.google.com/d/msgid/sympy/2411dd9c-2b05-46e9-aca6-97200ed71b0b%40googlegroups.com. > >> > >> -- > >> 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 view this discussion on the web visit > >> https://groups.google.com/d/msgid/sympy/CAGPLj20K6omRMx5gNQN-h3Ev68pOExD-bEWo4Onv11v6OoLxjQ%40mail.gmail.com. > > > > -- > > 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 view this discussion on the web visit > > https://groups.google.com/d/msgid/sympy/CAJJTp5HNXEG3eFd6vRgJSkPTskXd4hfFsiZgV2QWaL6-xWQmfA%40mail.gmail.com. > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/CAKgW%3D6L0t3rZr6Cv1bSOAwSJ-yTOGiV1Uxc%3DhnUkr6UWTMbP%2BQ%40mail.gmail.com. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAHVvXxSprdHrvoxwzO74S-LQ0oKMKxrgY6HGdzs69iAYQX%2BeXA%40mail.gmail.com.
