One possible method for solving inequalities like q<0 ( where q is a continuous function ) would be: - find the roots of q=0 - compute q(x) where x is a value between two consecutive roots (a,b) - on (a,b) interval, q will have the signature of q(x)
Example: x^2-x<0 q(x) = x^2 - x = 0 roots: x = 0, x = 1 on (-inf,0) we have: q(-1)=2 so q > 0 on (-inf,0) on (0,1) we have: q(1/2)=-1/4 so q < 0 on (0,1) on (1,inf) we have: q(2)=2 so q > 0 on (1,inf) What do you think about this? -- Stefan On Tue, Apr 6, 2010 at 1:34 AM, Ondrej Certik <[email protected]> wrote: > Hi Neculai! > > I apologize for my late reply. See my notes below: > > On Sat, Apr 3, 2010 at 7:16 AM, Neculai Stefan <[email protected]> > wrote: > > Hi, > > > > I'm a first-year engineering student currently studing at Faculty of > > Automatics and Computers at University POLITEHNICA of Bucharest. I'm > > interested in "Add support for solving inequalities, and support for > > assumptions like Assume(x>y)" project. Could you give me more details > > about this project and if possible a starting point? > > That would be an awesome project. The best starting point is to look > into the source code and see how you could implement it. The best guy > that understands this code is currently Fabian, who wrote it as part > of the last year GSoC. Maybe (hopefully:) he would be available to > mentor it, in case your project is accepted. I think also Ronan > understands it quite well. > > Do you have some particular ideas what you would implement and how? > Let's toss up the ideas a bit and then write a proposal. > > Ondrej > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected] <sympy%[email protected]>. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
