help links subscribe changes refresh edit

	SandBox Trace with )math
	↑

SandBoxTraceAffectsResults

Edit detail for SandBoxTraceAffectsResults revision 1 of 3

	1 2 3
Editor: Bill Page Time: 2015/03/16 02:23:23 GMT+0
Note: Bug with trace

changed:
-
\begin{axiom}
integrate(sin(sqrt(x*x)),x)
)trace INTEF )math
integrate(sin(sqrt(x*x)),x)
)trace INTEF )off
integrate(sin(sqrt(x*x)),x)
D(%,x)
%-sin(sqrt(x*x))
normalize %
\end{axiom}

fricas

integrate(sin(sqrt(x*x)),x)

$\label{eq1}-{2 \over{{{\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}^{2}}+ 1}}$

(1)

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

fricas

)trace INTEF )math

   Packages traced: 
      ElementaryIntegration(Integer,Expression(Integer))
   Parameterized constructors traced:
      INTEF
integrate(sin(sqrt(x*x)),x)

 1<enter ElementaryIntegration.lfintegrate,43 : 
              x
         2tan(-)
              2
 arg1= -----------
           x 2
       tan(-)  + 1
           2
 arg2= x
  2<enter ElementaryIntegration.lfintegrate,43 : 
  arg1= 0
  arg2= x
  2>exit  ElementaryIntegration.lfintegrate,43 : 
  0
 1>exit  ElementaryIntegration.lfintegrate,43 : 
        2
 - -----------
       x 2
   tan(-)  + 1
       2

$\label{eq2}-{2 \over{{{\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}^{2}}+ 1}}$

(2)

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

fricas

)trace INTEF )off

   Nothing is traced now.

integrate(sin(sqrt(x*x)),x)

$\label{eq3}-{2 \over{{{\tan \left({x \over 2}\right)}^{2}}+ 1}}$

(3)

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

fricas

D(%,x)

$\label{eq4}{2 \ {\tan \left({x \over 2}\right)}}\over{{{\tan \left({x \over 2}\right)}^{2}}+ 1}$

(4)

Type: Expression(Integer)

fricas

%-sin(sqrt(x*x))

$\label{eq5}{{{\left(-{{\tan \left({x \over 2}\right)}^{2}}- 1 \right)}\ {\sin \left({\sqrt{{x}^{2}}}\right)}}+{2 \ {\tan \left({x \over 2}\right)}}}\over{{{\tan \left({x \over 2}\right)}^{2}}+ 1}$

(5)

Type: Expression(Integer)

fricas

normalize %

   x - x
   -----
     2

   >> Error detected within library code:
   Hidden constant detected