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.
