Great. Those should be useful for getting solve to return *all* solutions in those cases, even if just in a symbolic form. Do the algorithms work at all if there are symbolic coefficients?
Aaron Meurer On Wed, Jan 29, 2014 at 2:23 PM, someone <[email protected]> wrote: > Hi, > >> @Harsh, could you brief your work in this area (finding the points > H> of >> discontinuity and check whether a function is singular) so it will be >> clear for me where to start? > > In this context the following papers by Adam Strzeboński may be very relevant: > > "Real root isolation for exp–log–arctan functions" JSC V47 I3 pp282-314 > "Real root isolation for exp-log functions" ISSAC 08 > "Real root isolation for tame elementary functions" ISSAC 09 > > These papers describe (parts of) the algorithms that Mathematica uses > for some of the features the have analogue to the RoofOf for polynomials. > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > For more options, visit https://groups.google.com/groups/opt_out. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
