Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-24 Thread Amit Kumar
I had a look at your PR 13045 & made some comments. On Saturday, March 24, 2018 at 7:11:39 PM UTC, Yathartha Joshi wrote: > > Sorry for my late response (I was busy traveling). I see what you are > trying to suggest of implementing for imageset, but

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-24 Thread Yathartha Joshi
Sorry for my late response (I was busy traveling). I see what you are trying to suggest of implementing for imageset, but I am still not sure about it whether it will be a good idea or not. I will open an issue-cum-discussion for discussing the API. Thanks! Yathartha On Saturday, March 24, 2018

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-23 Thread Aaron Meurer
On Fri, Mar 23, 2018 at 6:56 AM, Yathartha Joshi wrote: > I am not sure of IndexSet usage but the reason I thought of it was that > whenever we need to represent arbitrary set we have a notion of indexing so > that is why I thought of having IndexSet. >

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-23 Thread Yathartha Joshi
I am not sure of IndexSet usage but the reason I thought of it was that whenever we need to represent arbitrary set we have a notion of indexing so that is why I thought of having IndexSet. https://math.stackexchange.com/questions/485244/indexed-families-and-arbitrary-sets-notation

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-23 Thread Aaron Meurer
I'm not seeing an instance where IndexSet is useful. For finite collections of sets, it is redundant, as Union and Intersection can already take a finite number of arguments. For infinite collections, whatever symbol you index over would already exist in the collection itself (for instance, n in

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-22 Thread Yathartha Joshi
What I understood about BigUnion and BigIntersection from here . BigUnion for set of finitesets will work similar to union but for set of imagesets (infinite sets) we will be returning a unified solution. say for eg: [2*n , 2*n - 1 for n in Integers]

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-22 Thread Aaron Meurer
Regarding BigUnion, what is the point of having it and IndexSet that can only represent a finite number of sets? Union can already do this without the indirection. I'm also unclear where this will be needed for solveset. Aaron Meurer On Thu, Mar 22, 2018 at 4:38 PM, Yathartha Joshi

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-22 Thread Yathartha Joshi
Sorry I just gave the access to amit kumar, I have changed it, please have a look. Thanks! On Friday, March 23, 2018 at 1:54:31 AM UTC+5:30, Aaron Meurer wrote: > > When I click on that link it says I don't have access. > > I recommend starting your proposal on >

Re: [sympy] Re: GSoC 2018: Completing Solvers

2018-03-22 Thread Aaron Meurer
When I click on that link it says I don't have access. I recommend starting your proposal on https://summerofcode.withgoogle.com and linking the draft proposal there. That will make it easier to find in the future. Aaron Meurer On Thu, Mar 22, 2018 at 4:01 PM, Yathartha Joshi