help links subscribe changes refresh edit

	SandBox
SandBox Reflection in Aldor ←	↑	→ SandBox SPAD dependent types

SandBox Risch

Edit detail for SandBox Risch revision 1 of 4

	1 2 3 4
Editor: Shoenemann Time: 2021/06/06 09:45:19 GMT+0
Note:

changed:
-
Let us integrate functions as explained in:  
IV_ (https://math.stackexchange.com/users/292527/iv), Does someone know an online-applet for the Risch-algorithm?, URL (version: 2020-08-20): https://math.stackexchange.com/q/3237569

Let's start with simple functions

\begin {axiom}
integrate(x^2,x)
\end {axiom}

\begin {axiom}
integrate(exp(x-x^2),x)
\end {axiom}

Our test function is the one that appear in this math-stackexchange question: 
https://math.stackexchange.com/questions/4159030/the-integral-int-0x-frac-sint-sqrt1t2-textdt

\begin{axiom}
integrate(sin(x)/(sqrt(1+x^2)),x)
\end{axiom}

Cool, that was easy. I guess, this means that this function cannot be solved analytically

Let us integrate functions as explained in: IV_ (https://math.stackexchange.com/users/292527/iv), Does someone know an online-applet for the Risch-algorithm?, URL (version: 2020-08-20): https://math.stackexchange.com/q/3237569

Let's start with simple functions

fricas

integrate(x^2,x)

$\label{eq1}{1 \over 3}\ {{x}^{3}}$

(1)

Type: Polynomial(Fraction(Integer))

fricas

integrate(exp(x-x^2),x)

$\label{eq2}{{{e}^{1 \over 4}}\ {\erf \left({{{2 \ x}- 1}\over 2}\right)}\ {\sqrt{\pi}}}\over 2$

(2)

Type: Union(Expression(Integer),...)

Our test function is the one that appear in this math-stackexchange question: https://math.stackexchange.com/questions/4159030/the-integral-int-0x-frac-sint-sqrt1t2-textdt

fricas

integrate(sin(x)/(sqrt(1+x^2)),x)

$\label{eq3}\int^{ \displaystyle x}{{{\sin \left({\%A}\right)}\over{\sqrt{{{\%A}^{2}}+ 1}}}\ {d \%A}}$

(3)

Type: Union(Expression(Integer),...)

Cool, that was easy. I guess, this means that this function cannot be solved analytically