Re: [sympy] Re: Solveset in Symengine

2016-03-19 Thread Harsh Gupta
As a note to both Akash and Nishant, the most robust solver in SymPy is the polynomial solver and your main focus should be on it. Some of the polynomial algorithms are known from centuries and the output is also uncontroversially a finite set of numbers. Everything else in solveset works by

Re: [sympy] Re: Solveset in Symengine

2016-03-19 Thread Harsh Gupta
I was also discussing this Nishant in real life, SymEngine **is not** a C++ clone of SymPy, rather SymEngine aims to be very fast core for SymPy and hopefully other Computer Algebra Systems. A major reason for the success of SymPy is that it is written in Python and which makes it is easy for

[sympy] Re: Solveset in Symengine

2016-03-19 Thread Akash Trehan
On Friday, 26 February 2016 22:58:07 UTC+5:30, Harsh Gupta wrote: > > >Hi Akash, > > >1.) Sets module is clearly is a dependence for the solveset module, the > output of solveset of set and the module also make heavy use of a lot of > >functionalities of Sets including intersection, union and

[sympy] Re: Solveset in Symengine

2016-02-27 Thread Akash Trehan
Thanks Aaron and Harsh. I'll discuss these things with Ondrej as well. On Friday, 26 February 2016 22:58:07 UTC+5:30, Harsh Gupta wrote: > > Hi Akash, > > 1.) Sets module is clearly is a dependence for the solveset module, the > output of solveset of set and the module also make heavy use of a

[sympy] Re: Solveset in Symengine

2016-02-26 Thread Harsh Gupta
Solveset is only present in the development and it will be available in 1.0 release, I expect the new users to uncover more bugs in solveset. By not being "mature" enough I mean that you can expect to see significant changes in the internal structure of solveset. In the mean time you can focus on

Re: [sympy] Re: Solveset in Symengine

2016-02-26 Thread Aaron Meurer
On Fri, Feb 26, 2016 at 12:56 PM, Akash Trehan wrote: > 1) What exactly do you mean by "mature" here? > 2) Sets Module would definitely be have to be implemented before solveset is > started, atleast a basic version of it. > 3) Also what polynomial algorithms would be

[sympy] Re: Solveset in Symengine

2016-02-26 Thread Akash Trehan
1) What exactly do you mean by "mature" here? 2) Sets Module would definitely be have to be implemented before solveset is started, atleast a basic version of it. 3) Also what polynomial algorithms would be necessary for solveset? On Fri, 26 Feb 2016 at 22:58 Harsh Gupta

[sympy] Re: Solveset in Symengine

2016-02-26 Thread Harsh Gupta
Hi Akash, 1.) Sets module is clearly is a dependence for the solveset module, the output of solveset of set and the module also make heavy use of a lot of functionalities of Sets including intersection, union and especially imageset. SymPy's set are **very** flexible and we aim to have the