Solve with integrating an implicit function

[Alberto Candel]

(06-23-2014 09:23 AM)parisse Wrote:  The best reference is to look at the source code of giac in solve.cc, the in_fsolve function does the job :-)
For polynomial-like equations, if you don't provide a guess or call bisection, proot is used. If the equation is not recognized to be polynomial then bisection is called.

Thanks. It looks like the documentation for solve in Help is incomplete. It does not mention that you can place conditions on the unknowns:

solve(x^3+x+1=0) returns Warning! Algebraic extension not yet implemented for poly[1,0,1,1] after which it returns
the solutions in curly brackets {-0.68232....complex soln's if complex is checked in CAS Settings}

solve(x^3+x+1=0, x=-1..1) returns directly the real solution but within square brackets like so [-0.68232...]. This usage of solve is not documented in Help (it seems to be just fsolve).