ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 16 Aug 2018 11:54:20 -0500Sage could be even more clever - How to force the use of 'sympy' backend for simplifying symbolic integrals?http://ask.sagemath.org/question/43392/sage-could-be-even-more-clever-how-to-force-the-use-of-sympy-backend-for-simplifying-symbolic-integrals/Hi there,
I have noticed the following problem:
sage: f = function('f')(x)
sage: var('h')
sage: integrate(exp(h)*exp(x)*f(x),x)
integrate(e^(h + x)*f(x), x)
The workaround seems to be using the `sympy` backend for symbolic integration
sage: integrate(exp(h)*exp(x)*f(x),x,algorithm='sympy')
e^h*integrate(e^x*f(x), x)
which always seems to be a good idea as I learned from @Emmanuel Charpentier over
[here](https://ask.sagemath.org/question/43287/solved-why-does-integratepsiyfyy-return-an-error-but-integratepsityftyy-works/?answer=43297#post-id-43297).
Now I would like to force the use of `algorith='sympy'` for simplifying these `integrate(...)` expressions globally.
Unfortunately, the `simplify()` command does not allow to set this option.
sage: integrate(exp(h)*exp(x)*f(x),x)
integrate(e^(h + x)*f(x), x)
sage: _.simplify()
integrate(e^(h + x)*f(x), x)
**TL;DR** How can I force sage to pull out these type of exponential constants from the integral with the `simplify()` command?
hausdorffThu, 16 Aug 2018 11:54:20 -0500http://ask.sagemath.org/question/43392/Observation regarding integration with different algorithmshttp://ask.sagemath.org/question/32778/observation-regarding-integration-with-different-algorithms/I was going through some basic tutorials and noticed this interesting behavior.
integrate(exp(x)*sin(x) + exp(x)*cos(x), x)
with algorithm='maxima' gives
1/2*(cos(x) + sin(x))*e^x - 1/2*(cos(x) - sin(x))*e^x
rather than the simplified
e^x*sin(x)
given by algorithm='sympy'. It is the same when I use maxima or sympy by itself. Why is that? Why is maxima not simplifying the expression?saadFri, 11 Mar 2016 05:13:50 -0600http://ask.sagemath.org/question/32778/Symbolic algebra: Sage, Maxima, Ginac, Sympy?http://ask.sagemath.org/question/11356/symbolic-algebra-sage-maxima-ginac-sympy/Hi all.
In this period I am working on symbolic matrices, and I am a bit confused about the various possibilities and the mutual relationships.
If I understand correctly, for symbolic computation Sage uses Ginac and Maxima, but I have no a clear idea of the different roles of the two packages in Sage own engine.
Furthermore, I am reading some tutorials about Sympy. I know that Sympy is included in the huge library of Sage packages, but it is not directly used in any way by Sage for symbolic computation?
Could you please clarify a bit these points?
Thanks.AntlabMon, 14 Apr 2014 08:11:10 -0500http://ask.sagemath.org/question/11356/