We need documentation on symbolic simplification... sage: sin(x/(x^2 + x)).normalize() sin(1/(x + 1))
sage: factor(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6) (cos(x)^2 - cos(x) - 3)*(cos(x) - 2) sage: factor(sqrt(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6)) sqrt(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6) sage: from sympy import factor as sfactor sage: sfactor(sqrt(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6)) sqrt((cos(x) - 2)*(cos(x)**2 - cos(x) - 3)) On Friday, January 13, 2017 at 11:12:26 AM UTC+1, Enrique Artal wrote: > > I would like to know how to handle with this issue. Consider a function > f=sqrt(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6). It is possible to deal with > this function for standard procedures like numerical_integral in (-1,1). If > one considers f.canonicalize_radical() it is presented as sqrt(cos(x)^2 - > cos(x) - 3)*sqrt(cos(x) - 2), which avoids numerical integration in > particular since each factor is complex in (-1,1). It is not solved if x is > declared as a real variable (with domain='real'). For this particular > function, it is not hard to avoid the issue, but if it appears in more > complex expressions, it is less obvious. > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
