On Monday, February 29, 2016 at 12:35:27 PM UTC+5:30, AMiT Kumar wrote:
>
>
> 1. Search Based Solvers:
>
> This idea is currently vague, we need to figure out how exactly
> we can develop this. It would be ambitious to develop this idea and It
> should be
> accompanied with lot of research. Currently an abstract is written in the
> docs:
>
> https://github.com/sympy/sympy/blob/master/doc/src/modules/solvers/solveset.rst
>
> I hope we must have some helpful resource for this idea.
If not, do we need to build this from scratch ?
> 2. Simplifying solutions returned from equations involving trigonometric
> expressions:
>
> With the Introduction of solveset an important problem of representing
> infinite solution
> has been solved to some extent, but still there are some issues with
> ImageSet Union,
> due to which a lot of simpler results are not displayed properly. This
> needs to be figured
> out to get better ImageSet Union.
>
> In [10]: solveset(sin(x), x)
> Out[10]: {2⋅n⋅π | n ∊ ℤ} ∪ {2⋅n⋅π + π | n ∊ ℤ}
>
> In [11]: solveset(sin(3*x), x)
> Out[11]:
> ⎧ 2⋅π ⎫ ⎧
> 2⋅π
> {2⋅n⋅π | n ∊ ℤ} ∪ {2⋅n⋅π + π | n ∊ ℤ} ∪ ⎨2⋅n⋅π - ─── | n ∊ ℤ⎬ ∪ ⎨2⋅n⋅π +
> ─── |
> ⎩ 3 ⎭ ⎩
> 3
>
> ⎫ ⎧ π ⎫ ⎧ π ⎫
> n ∊ ℤ⎬ ∪ ⎨2⋅n⋅π - ─ | n ∊ ℤ⎬ ∪ ⎨2⋅n⋅π + ─ | n ∊ ℤ⎬
> ⎭ ⎩ 3 ⎭ ⎩ 3 ⎭
>
>
> Here is a previous approach on fixing this:
> https://github.com/sympy/sympy/pull/7673
>
> I will look into the union of ImageSet.
Moreover, I think there need to be some improvements to the Diophantine
solver as it breaks for the intersection of ImageSets.
3. Implementing more Equation solvers
>
> A lot of thing which needs to be done is already done in old solve, like
> the
> solving of multivariate equation solver, you need to figure out how that
> works
> and how you can port those in solveset following the principles of
> solveset.
> https://github.com/sympy/sympy/issues/10008
>
> Okay.
I will work on this.
> 4. Solving f(x + a) - f(x) = 0 equations: [7]
> <https://github.com/sympy/sympy/issues/10426>
>
> This needs to figured out.
>
Any ideas how to do so ?
>
>> 5. Building the set infrastructure:
>> Implementing functions to handle multidimensional ImageSet
>> Can we be more elaborate on what other features are we expecting ?
>
>
>
> See this for motivation: https://github.com/sympy/sympy/issues/10008
> <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fsympy%2Fsympy%2Fissues%2F10008&sa=D&sntz=1&usg=AFQjCNGwOjbZPPNcm8v_LJMJj2mxJ5pUBg>
>
Thanks for all your help and support.
-------------------
Kshitij Saraogi
--
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 sympy+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
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/f1498f4b-66cc-4ae0-ac4a-0b31124ea604%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
